ComputingBrands.kif

;; Niles, I., and Pease, A.  2001.  Towards a Standard Upper Ontology.  In
;; Proceedings of the 2nd International Conference on Formal Ontology in
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds,
;; Ogunquit, Maine, October 17-19, 2001.  See also http://www.ontologyportal.org

;; Access to and use of these products is governed by the GNU General Public
;; License <http://www.gnu.org/copyleft/gpl.html>.
;; By using these products, you agree to be bound by the terms
;; of the GPL.

;; copyright Infosys 2019-
;; author Adam Pease
;;        adam.pease@infosys.com

(instance AppleComputerCorporation Corporation)
(instance AlphabetCorporation Corporation)
(instance GoogleCorporation Corporation)
(subOrganization GoogleCorporation AlphabetCorporation)

(termFormat EnglishLanguage AppleComputerCorporation "Apple")
(termFormat ChineseTraditionalLanguage AppleComputerCorporation "蘋果")
(termFormat ChineseLanguage AppleComputerCorporation "苹果")
(termFormat JapaneseLanguage AppleComputerCorporation "Apple")
(termFormat EnglishLanguage AlphabetCorporation "Alphabet")
(termFormat ChineseLanguage AlphabetCorporation "Alphabet公司")
(termFormat ChineseTraditionalLanguage AlphabetCorporation "Alphabet公司")
(termFormat JapaneseLanguage AlphabetCorporation "Alphabet")

(subclass AndroidOS PhoneOS)
(=>
  (subclass ?OS AndroidOS)
  (creator ?OS AlphabetCorporation))

(termFormat EnglishLanguage AndroidOS "Android OS")
(termFormat ChineseTraditionalLanguage AndroidOS "Android 操作系統")
(termFormat ChineseLanguage AndroidOS "Android 作业系统")
(termFormat JapaneseLanguage AndroidOS "Android OS")

(termFormat EnglishLanguage AndroidOS "Android Operating System")
(termFormat ChineseTraditionalLanguage AndroidOS "Android 操作系統")
(termFormat ChineseLanguage AndroidOS "Android 作业系统")
(termFormat JapaneseLanguage AndroidOS "Android オペレーティングシステム")

(termFormat EnglishLanguage AndroidOS "Android")
(termFormat ChineseTraditionalLanguage AndroidOS "Android")
(termFormat ChineseLanguage AndroidOS "Android")
(termFormat JapaneseLanguage AndroidOS "Android")

(instance MicrosoftCorporation Corporation)
(termFormat EnglishLanguage MicrosoftCorporation "Microsoft Corporation")
(termFormat ChineseLanguage MicrosoftCorporation "微软公司")
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟公司")
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト コーポレーション")

(termFormat EnglishLanguage MicrosoftCorporation "Microsoft")
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟")
(termFormat ChineseLanguage MicrosoftCorporation "微软")
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト")

(subclass WindowsOS OperatingSystem)

(=>
  (subclass ?OS WindowsOS)
  (creator ?OS MicrosoftCorporation))

(instance FacebookCorporation Corporation)
(creator Facebook FacebookCorporation)
(termFormat EnglishLanguage FacebookCorporation "Facebook Corporation")
(termFormat ChineseTraditionalLanguage FacebookCorporation "臉書公司")
(termFormat ChineseLanguage FacebookCorporation "脸书公司")
(termFormat JapaneseLanguage FacebookCorporation "Facebook")

(termFormat EnglishLanguage FacebookCorporation "Facebook")
(termFormat ChineseTraditionalLanguage FacebookCorporation "臉書")
(termFormat ChineseLanguage FacebookCorporation "脸书")
(termFormat JapaneseLanguage FacebookCorporation "Facebook")

(termFormat EnglishLanguage Facebook "Facebook")
(termFormat ChineseTraditionalLanguage Facebook "臉書")
(termFormat ChineseLanguage Facebook "脸书")
(termFormat JapaneseLanguage Facebook "Facebook")

(subclass AppleIOS PhoneOS)
(termFormat EnglishLanguage AppleIOS "IOS")
(termFormat ChineseTraditionalLanguage AppleIOS "蘋果作業系統")
(termFormat ChineseLanguage AppleIOS "苹果作业系统")
(termFormat JapaneseLanguage AppleIOS "IOS")

(subclass PhoneOS OperatingSystem)
(canRunOn AppleIOS AppleIPhone)

(=>
  (subclass ?OS AppleIOS)
  (creator ?OS AppleComputerCorporation))

;; information from https://en.wikipedia.org/wiki/List_of_Apple_operating_systems

(subclass AppleComputer Computer)

(manufacturer AppleComputer AppleComputerCorporation)

(subclass AppleMacintoshComputer AppleComputer)
(termFormat EnglishLanguage AppleMacintoshComputer "Mac")
(termFormat ChineseTraditionalLanguage AppleMacintoshComputer "麥金塔計算機")
(termFormat ChineseLanguage AppleMacintoshComputer "麦金塔计算机")
(termFormat JapaneseLanguage AppleMacintoshComputer "Mac")

(subclass AppleIPhoneOS1 AppleIOS)
(documentation AppleIPhoneOS1 EnglishLanguage "The first
operating system for the Apple derived from
'OS X' (At the time, 'macOS' was still known as
'Mac OS X' and not 'OS X' as it was known from 2012 to 2016.)")

(documentation AppleIPhoneOS1 ChineseTraditionalLanguage "第一版從 'OS X' 引申而來的蘋果作業系統
(在當時， 'macOS' 仍被認知為 'Mac OS X' 而不是 'OS X' 如同它在2012到2016 被認知一般)。")

(documentation AppleIPhoneOS1 ChineseLanguage "第一版从 'OS X' 引申而来的苹果作业系统
（在当时，'macOS' 仍被认知为 'Mac OS X' 而不是 'OS X' 如同它在2012到2016被认知一般)。")

(documentation AppleIPhoneOS1 JapaneseLanguage "「OS X」に由来するAppleの最初のオペレーティン
グシステム(当時、「macOS」はまだ「Mac OS X」として知られていて、2012 to 2016まで知られていた
「OS X」としてではない。)")

(termFormat EnglishLanguage AppleIPhoneOS1 "IOS 1")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS1 "IOS 1")
(termFormat ChineseLanguage AppleIPhoneOS1 "IOS 1")
(termFormat JapaneseLanguage AppleIPhoneOS1 "IOS 1")

(subclass AppleIPhoneOS2 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS2 "IOS 2")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS2 "IOS 2")
(termFormat ChineseLanguage AppleIPhoneOS2 "IOS 2")
(termFormat JapaneseLanguage AppleIPhoneOS2 "IOS 2")

(subclass AppleIPhoneOS3 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS3 "IOS 3")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS3 "IOS 3")
(termFormat ChineseLanguage AppleIPhoneOS3 "IOS 3")
(termFormat JapaneseLanguage AppleIPhoneOS3 "IOS 3")

(subclass AppleIPhoneOS4 AppleIOS)
(documentation AppleIPhoneOS4 EnglishLanguage "continued from iPhone OS 3")
(documentation AppleIPhoneOS4 ChineseTraditionalLanguage "從 iPhone OS 3 延伸")
(documentation AppleIPhoneOS4 ChineseLanguage "从 iPhone OS 3 延伸")
(documentation AppleIPhoneOS4 JapaneseLanguage " iPhone OS 3から継続")

(termFormat EnglishLanguage AppleIPhoneOS4 "IOS 4")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS4 "IOS 4")
(termFormat ChineseLanguage AppleIPhoneOS4 "IOS 4")
(termFormat JapaneseLanguage AppleIPhoneOS4 "IOS 4")

(subclass AppleIPhoneOS5 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS5 "IOS 5")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS5 "IOS 5")
(termFormat ChineseLanguage AppleIPhoneOS5 "IOS 5")
(termFormat JapaneseLanguage AppleIPhoneOS5 "IOS 5")

(subclass AppleIPhoneOS6 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS6 "IOS 6")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS6 "IOS 6")
(termFormat ChineseLanguage AppleIPhoneOS6 "IOS 6")
(termFormat JapaneseLanguage AppleIPhoneOS6 "IOS 6")

(subclass AppleIPhoneOS7 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS7 "IOS 7")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS7 "IOS 7")
(termFormat ChineseLanguage AppleIPhoneOS7 "IOS 7")
(termFormat JapaneseLanguage AppleIPhoneOS7 "IOS 7")

(subclass AppleIPhoneOS8 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS8 "IOS 8")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS8 "IOS 8")
(termFormat ChineseLanguage AppleIPhoneOS8 "IOS 8")
(termFormat JapaneseLanguage AppleIPhoneOS8 "IOS 8")

(subclass AppleIPhoneOS9 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS9 "IOS 9")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS9 "IOS 9")
(termFormat ChineseLanguage AppleIPhoneOS9 "IOS 9")
(termFormat JapaneseLanguage AppleIPhoneOS9 "IOS 9")

(subclass AppleIPhoneOS10 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS10 "IOS 10")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS10 "IOS 10")
(termFormat ChineseLanguage AppleIPhoneOS10 "IOS 10")
(termFormat JapaneseLanguage AppleIPhoneOS10 "IOS 10")

(subclass AppleIPhoneOS11 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS11 "IOS 11")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS11 "IOS 11")
(termFormat ChineseLanguage AppleIPhoneOS11 "IOS 11")
(termFormat JapaneseLanguage AppleIPhoneOS11 "IOS 11")

(subclass AppleIPhoneOS12 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS12 "IOS 12")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS12 "IOS 12")
(termFormat ChineseLanguage AppleIPhoneOS12 "IOS 12")
(termFormat JapaneseLanguage AppleIPhoneOS12 "IOS 12")

(subclass AppleIPhoneOS13 AppleIOS)
(termFormat EnglishLanguage AppleIPhoneOS13 "IOS 13")
(termFormat ChineseTraditionalLanguage AppleIPhoneOS13 "IOS 13")
(termFormat ChineseLanguage AppleIPhoneOS13 "IOS 13")
(termFormat JapaneseLanguage AppleIPhoneOS13 "IOS 13")

(subclass AppleMacOS OperatingSystem)
(subclass AppleMacOSSystem1 AppleMacOS)
(subclass AppleMacOSSystem2 AppleMacOS)
(subclass AppleMacOSSystem3 AppleMacOS)
(subclass AppleMacOSSystem4 AppleMacOS)

(subclass AppleMacOSSystem5 AppleMacOS)
(documentation AppleMacOSSystem5 EnglishLanguage "Mac OS version also marketed as System 5")
(documentation AppleMacOSSystem5 ChineseTraditionalLanguage "Mac OS 版本亦推廣為System 5")
(documentation AppleMacOSSystem5 ChineseLanguage "Mac OS 版本亦推广为System 5")
(documentation AppleMacOSSystem5 JapaneseLanguage "Mac OSバージョン、別名システム5")


(subclass AppleMacOSSystem6 AppleMacOS)
(documentation AppleMacOSSystem6 EnglishLanguage "Mac OS version also marketed as System 6")
(documentation AppleMacOSSystem6 ChineseTraditionalLanguage "Mac OS 版本亦推廣為System 6")
(documentation AppleMacOSSystem6 ChineseLanguage "Mac OS 版本亦推广为System 6")
(documentation AppleMacOSSystem6 JapaneseLanguage "Mac OSバージョン、別名システム6")

(subclass AppleMacOSSystem7 AppleMacOS)
(documentation AppleMacOSSystem7 EnglishLanguage "Mac OS version. System 7.5.1 was the first
referred to as Mac OS, Mac OS 7.6 was the first officially to be branded as 'Mac OS'")
(documentation AppleMacOSSystem7 ChineseTraditionalLanguage "Mac OS 版本。
System 7.5.1 首次被稱為Mac OS, Mac OS 7.6 是第一個正式以'Mac OS'作為品牌的操作系统。")
(documentation AppleMacOSSystem7 ChineseLanguage "Mac OS 版本。
System 7.5.1 首次被称为Mac OS, Mac OS 7.6 是第一个正式以'Mac OS'作为品牌的操作系统。")
(documentation AppleMacOSSystem7 JapaneseLanguage "Mac OSバージョン。初めてMac OSと名称され
たのがシステム7.5.1、初めて正式に「Mac OS」としてブランド化されたのがMac OS 7.6である")

(subclass AppleMacOSSystem8 AppleMacOS)
(subclass AppleMacOSSystem9 AppleMacOS)
(documentation AppleMacOSSystem9 EnglishLanguage "Mac OS version. Mac OS 9.2.2 was the
last version of Classic Mac OS")
(documentation AppleMacOSSystem9 ChineseTraditionalLanguage "Mac OS 版本。
Mac OS 9.2.2 是最后一个原始 Mac OS 版本。")
(documentation AppleMacOSSystem9 ChineseLanguage "Mac OS 版本。 Mac OS 9.2.2 是最后一个 原始 Mac OS的版本。")
(documentation AppleMacOSSystem9 JapaneseLanguage "Mac OSバージョン。 Mac OS 9.2.2が伝統的
なMac OSの最後のバージョンである。")

(termFormat EnglishLanguage AppleMacOS "Mac OS")
(termFormat ChineseTraditionalLanguage AppleMacOS "Mac OS")
(termFormat ChineseLanguage AppleMacOS "Mac OS")
(termFormat JapaneseLanguage AppleMacOS "Mac OS")

(subclass AppleMacOSX AppleMacOS)


(documentation MacOSXPublicBeta EnglishLanguage "Mac OS X Public Beta – code name Kodiak")
(documentation MacOSXPublicBeta ChineseTraditionalLanguage "Mac OS X 公開測試版 – 代號為 Kodiak")
(documentation MacOSXPublicBeta ChineseLanguage "Mac OS X 公开测试版 – 代号为 Kodiak")
(documentation MacOSXPublicBeta JapaneseLanguage "Mac OS X パブリックベータ – コードネーム
Kodiak")

(termFormat EnglishLanguage MacOSXPublicBeta "Mac OS X Public Beta")
(termFormat ChineseTraditionalLanguage MacOSXPublicBeta "Mac OS X 公開測試版")
(termFormat ChineseLanguage MacOSXPublicBeta "Mac OS X 公开测试版")
(termFormat JapaneseLanguage MacOSXPublicBeta "Mac OS X パブリックベータ")
(termFormat EnglishLanguage MacOSXPublicBeta "Mac OS Kodiak")
(termFormat ChineseTraditionalLanguage MacOSXPublicBeta "Mac OS Kodiak")
(termFormat ChineseLanguage MacOSXPublicBeta "Mac OS Kodiak")
(termFormat JapaneseLanguage MacOSXPublicBeta "Mac OS Kodiak")
(termFormat EnglishLanguage MacOSXPublicBeta "Kodiak")
(termFormat ChineseTraditionalLanguage MacOSXPublicBeta "Kodiak")
(termFormat ChineseLanguage MacOSXPublicBeta "Kodiak")
(termFormat JapaneseLanguage MacOSXPublicBeta "Kodiak")
(subclass MacOSXPublicBeta AppleMacOSX)

(documentation MacOSX10-0 EnglishLanguage "Mac OS X 10.0 – code name Cheetah")
(documentation MacOSX10-0 ChineseTraditionalLanguage "Mac OS X 10.0 – 代號為 Cheetah")
(documentation MacOSX10-0 ChineseLanguage "Mac OS X 10.0 – 代号为 Cheetah")
(documentation MacOSX10-0 JapaneseLanguage "Mac OS X 10.0 – コードネーム Cheetah")
(termFormat EnglishLanguage MacOSX10-0 "Mac OS 10.0")
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS 10.0")
(termFormat ChineseLanguage MacOSX10-0 "Mac OS 10.0")
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS 10.0")

(termFormat EnglishLanguage MacOSX10-0 "Mac OS Cheetah")
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS Cheetah")
(termFormat ChineseLanguage MacOSX10-0 "Mac OS Cheetah")
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS Cheetah")

(termFormat EnglishLanguage MacOSX10-0 "Cheetah")
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Cheetah")
(termFormat ChineseLanguage MacOSX10-0 "Cheetah")
(termFormat JapaneseLanguage MacOSX10-0 "Cheetah")
(subclass MacOSX10-0 AppleMacOSX)

(documentation MacOSX10-1 EnglishLanguage "Mac OS X 10.1 – code name Puma")
(documentation MacOSX10-1 ChineseTraditionalLanguage "Mac OS X 10.1 – 代號為 Puma")
(documentation MacOSX10-1 ChineseLanguage "Mac OS X 10.1 – 代号为 Puma")
(documentation MacOSX10-1 JapaneseLanguage "Mac OS X 10.1 – コードネーム Puma")

(termFormat EnglishLanguage MacOSX10-1 "Mac OS 10.1")
(termFormat ChineseTraditionalLanguage MacOSX10-1 "Mac OS 10.1")
(termFormat ChineseLanguage MacOSX10-1 "Mac OS 10.1")
(termFormat JapaneseLanguage MacOSX10-1 "Mac OS 10.1")

(termFormat EnglishLanguage MacOSX10-1 "Mac OS Puma")
(termFormat ChineseTraditionalLanguage MacOSX10-1 "Mac OS Puma")
(termFormat ChineseLanguage MacOSX10-1 "Mac OS Puma")
(termFormat JapaneseLanguage MacOSX10-1 "Mac OS Puma")

(termFormat EnglishLanguage MacOSX10-1 "Puma")
(termFormat EnglishLanguage MacOSX10-1 "Puma")
(termFormat ChineseLanguage MacOSX10-1 "Puma")
(termFormat JapaneseLanguage MacOSX10-1 "Puma")

(subclass MacOSX10-1 AppleMacOSX)

(documentation MacOSX10-2 EnglishLanguage "Mac OS X 10.2 – also marketed as Jaguar")
(documentation MacOSX10-2 ChineseTraditionalLanguage "Mac OS X 10.2 – 亦推廣為 Jaguar")
(documentation MacOSX10-2 ChineseLanguage "Mac OS X 10.2 – 亦推广为 Jaguar")
(documentation MacOSX10-2 JapaneseLanguage "Mac OS X 10.2 – 別名Jaguar")

(termFormat EnglishLanguage MacOSX10-2 "Mac OS 10.2")
(termFormat ChineseTraditionalLanguage MacOSX10-2 "Mac OS 10.2")
(termFormat ChineseLanguage MacOSX10-2 "Mac OS 10.2")
(termFormat JapaneseLanguage MacOSX10-2 "Mac OS 10.2")

(termFormat EnglishLanguage MacOSX10-2 "Mac OS Jaguar")
(termFormat ChineseTraditionalLanguage MacOSX10-2 "Mac OS Jaguar")
(termFormat ChineseLanguage MacOSX10-2 "Mac OS Jaguar")
(termFormat JapaneseLanguage MacOSX10-2 "Mac OS Jaguar")

(termFormat EnglishLanguage MacOSX10-2 "Jaguar")
(termFormat ChineseTraditionalLanguage MacOSX10-2 "Jaguar")
(termFormat ChineseLanguage MacOSX10-2 "Jaguar")
(termFormat JapaneseLanguage MacOSX10-2 "Jaguar")
(subclass MacOSX10-2 AppleMacOSX)

(documentation MacOSXPanther EnglishLanguage "Mac OS X Panther – 10.3")
(documentation MacOSXPanther ChineseTraditionalLanguage "Mac OS X Panther – 10.3")
(documentation MacOSXPanther ChineseLanguage "Mac OS X Panther – 10.3")
(documentation MacOSXPanther JapaneseLanguage "Mac OS X Panther – 10.3")

(termFormat EnglishLanguage MacOSXPanther "Mac OS 10.3")
(termFormat ChineseTraditionalLanguage MacOSXPanther "Mac OS 10.3")
(termFormat ChineseLanguage MacOSXPanther "Mac OS 10.3")
(termFormat JapaneseLanguage MacOSXPanther "Mac OS 10.3")

(termFormat EnglishLanguage MacOSXPanther "Mac OS Panther")
(termFormat ChineseTraditionalLanguage MacOSXPanther "Mac OS Panther")
(termFormat ChineseLanguage MacOSXPanther "Mac OS Panther")
(termFormat JapaneseLanguage MacOSXPanther "Mac OS Panther")

(termFormat EnglishLanguage MacOSXPanther "Panther")
(termFormat ChineseTraditionalLanguage MacOSXPanther "Panther")
(termFormat ChineseLanguage MacOSXPanther "Panther")
(termFormat JapaneseLanguage MacOSXPanther "Panther")
(subclass MacOSXPanther AppleMacOSX)

(documentation MacOSXTiger EnglishLanguage "Mac OS X Tiger – 10.4")
(documentation MacOSXTiger ChineseTraditionalLanguage "Mac OS X Tiger – 10.4")
(documentation MacOSXTiger ChineseLanguage "Mac OS X Tiger – 10.4")
(documentation MacOSXTiger JapaneseLanguage "Mac OS X Tiger – 10.4")

(termFormat EnglishLanguage MacOSXTiger "Mac OS 10.4")
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS 10.4")
(termFormat ChineseLanguage MacOSXTiger "Mac OS 10.4")
(termFormat JapaneseLanguage MacOSXTiger "Mac OS 10.4")

(termFormat EnglishLanguage MacOSXTiger "Mac OS Tiger")
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS Tiger")
(termFormat ChineseLanguage MacOSXTiger "Mac OS Tiger")
(termFormat JapaneseLanguage MacOSXTiger "Mac OS Tiger")

(termFormat EnglishLanguage MacOSXTiger "Tiger")
(termFormat ChineseTraditionalLanguage MacOSXTiger "Tiger")
(termFormat ChineseLanguage MacOSXTiger "Tiger")
(termFormat JapaneseLanguage MacOSXTiger "Tiger")
(subclass MacOSXTiger AppleMacOSX)

(documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5")
(documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5")
(documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5")
(documentation MacOSXLeopard JapaneseLanguage "Mac OS X Leopard – 10.5")

(termFormat EnglishLanguage MacOSXLeopard "Mac OS 10.5")
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS 10.5")
(termFormat ChineseLanguage MacOSXLeopard "Mac OS 10.5")
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS 10.5")

(termFormat EnglishLanguage MacOSXLeopard "Mac OS Leopard")
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS Leopard")
(termFormat ChineseLanguage MacOSXLeopard "Mac OS Leopard")
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS Leopard")

(termFormat EnglishLanguage MacOSXLeopard "Leopard")
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Leopard")
(termFormat ChineseLanguage MacOSXLeopard "Leopard")
(termFormat JapaneseLanguage MacOSXLeopard "Leopard")
(subclass MacOSXLeopard AppleMacOSX)

(documentation MacOSXSnowLeopard EnglishLanguage "Leopard Mac OS X Snow Leopard – 10.6")
(documentation MacOSXSnowLeopard ChineseTraditionalLanguage "Leopard Mac OS X Snow Leopard – 10.6")
(documentation MacOSXSnowLeopard ChineseLanguage "Leopard Mac OS X Snow Leopard – 10.6")
(documentation MacOSXSnowLeopard JapaneseLanguage "Leopard Mac OS X Snow Leopard – 10.6")

(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS 10.6")
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS 10.6")
(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS 10.6")
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS 10.6")

(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS Snow Leopard")
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS Snow Leopard")
(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard")
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard")

(termFormat EnglishLanguage MacOSXSnowLeopard "Snow Leopard")
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Snow Leopard")
(termFormat ChineseLanguage MacOSXSnowLeopard "Snow Leopard")
(termFormat JapaneseLanguage MacOSXSnowLeopard "Snow Leopard")

(subclass MacOSXSnowLeopard AppleMacOSX)

(documentation MacOSXLion EnglishLanguage "Mac OS X Lion – 10.7 – also marketed as OS X Lion")
(documentation MacOSXLion ChineseTraditionalLanguage "Mac OS X Lion – 10.7 – 也稱為 OS X Lion")
(documentation MacOSXLion ChineseLanguage "Mac OS X Lion – 10.7 – 也称为
 OS X Lion")
(documentation MacOSXLion JapaneseLanguage "Mac OS X Lion – 10.7 – 別名OS X Lion")

(termFormat EnglishLanguage MacOSXLion "Mac OS 10.7")
(termFormat ChineseTraditionalLanguage MacOSXLion "Mac OS 10.7")
(termFormat ChineseLanguage MacOSXLion "Mac OS 10.7")
(termFormat JapaneseLanguage MacOSXLion "Mac OS 10.7")

(termFormat EnglishLanguage MacOSXLion "Mac OS Lion")
(termFormat ChineseTraditionalLanguage MacOSXLion "Mac OS Lion")
(termFormat ChineseLanguage MacOSXLion "Mac OS Lion")
(termFormat JapaneseLanguage MacOSXLion "Mac OS Lion")

(termFormat EnglishLanguage MacOSXLion "Lion")
(termFormat ChineseTraditionalLanguage MacOSXLion "Lion")
(termFormat ChineseLanguage MacOSXLion "Lion")
(termFormat JapaneseLanguage MacOSXLion "Lion")
(subclass MacOSXLion AppleMacOSX)

(documentation MacOSXMountainLion EnglishLanguage "OS X Mountain Lion – 10.8")
(documentation MacOSXMountainLion ChineseTraditionalLanguage "OS X Mountain Lion – 10.8")
(documentation MacOSXMountainLion ChineseLanguage "OS X Mountain Lion – 10.8")
(documentation MacOSXMountainLion JapaneseLanguage "OS X Mountain Lion – 10.8")

(termFormat EnglishLanguage MacOSXMountainLion "OS 10.8")
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "OS 10.8")
(termFormat ChineseLanguage MacOSXMountainLion "OS 10.8")
(termFormat JapaneseLanguage MacOSXMountainLion "OS 10.8")

(termFormat EnglishLanguage MacOSXMountainLion "Mac OS Mountain Lion")
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mac OS Mountain Lion")
(termFormat ChineseLanguage MacOSXMountainLion "Mac OS Mountain Lion")
(termFormat JapaneseLanguage MacOSXMountainLion "Mac OS Mountain Lion")

(termFormat EnglishLanguage MacOSXMountainLion "Mountain Lion")
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mountain Lion")
(termFormat ChineseLanguage MacOSXMountainLion "Mountain Lion")
(termFormat JapaneseLanguage MacOSXMountainLion "Mountain Lion")
(subclass MacOSXMountainLion AppleMacOSX)

(documentation MacOSXMavericks EnglishLanguage "OS X Mavericks – 10.9")
(documentation MacOSXMavericks ChineseTraditionalLanguage "OS X Mavericks – 10.9")
(documentation MacOSXMavericks ChineseLanguage "OS X Mavericks – 10.9")
(documentation MacOSXMavericks JapaneseLanguage "OS X Mavericks – 10.9")
(termFormat EnglishLanguage MacOSXMavericks "OS 10.9")
(termFormat ChineseTraditionalLanguage MacOSXMavericks "OS 10.9")
(termFormat ChineseLanguage MacOSXMavericks "OS 10.9")
(termFormat JapaneseLanguage MacOSXMavericks "OS 10.9")

(termFormat EnglishLanguage MacOSXMavericks "Mac OS Mavericks")
(termFormat ChineseTraditionalLanguage MacOSXMavericks "Mavericks")
(termFormat ChineseLanguage MacOSXMavericks "Mavericks")
(termFormat JapaneseLanguage MacOSXMavericks "Mac OS Mavericks")

(termFormat EnglishLanguage MacOSXMavericks "Mavericks")
(termFormat ChineseTraditionalLanguage MacOSXMavericks "Mavericks")
(termFormat ChineseLanguage MacOSXMavericks "Mavericks")
(termFormat JapaneseLanguage MacOSXMavericks "Mavericks")
(subclass MacOSXMavericks AppleMacOSX)

(documentation MacOSXYosemite EnglishLanguage "OS X Yosemite – 10.10")
(documentation MacOSXYosemite ChineseTraditionalLanguage "OS X Yosemite – 10.10")
(documentation MacOSXYosemite ChineseLanguage "OS X Yosemite – 10.10")
(documentation MacOSXYosemite JapaneseLanguage "OS X Yosemite – 10.10")

(termFormat EnglishLanguage MacOSXYosemite "OS 10.10")
(termFormat ChineseTraditionalLanguage MacOSXYosemite "OS 10.10")
(termFormat ChineseLanguage MacOSXYosemite "OS 10.10")
(termFormat JapaneseLanguage MacOSXYosemite "OS 10.10")

(termFormat EnglishLanguage MacOSXYosemite "Mac OS Yosemite")
(termFormat ChineseTraditionalLanguage MacOSXYosemite "Mac OS Yosemite")
(termFormat ChineseLanguage MacOSXYosemite "Mac OS Yosemite")
(termFormat JapaneseLanguage MacOSXYosemite "Mac OS Yosemite")

(termFormat EnglishLanguage MacOSXYosemite "Yosemite")
(termFormat ChineseTraditionalLanguage MacOSXYosemite "Yosemite")
(termFormat ChineseLanguage MacOSXYosemite "Yosemite")
(termFormat JapaneseLanguage MacOSXYosemite "Yosemite")

(subclass MacOSXYosemite AppleMacOSX)

(documentation MacOSXElCapitan EnglishLanguage "OS X El Capitan – 10.11")
(documentation MacOSXElCapitan ChineseTraditionalLanguage "OS X El Capitan – 10.11")
(documentation MacOSXElCapitan ChineseLanguage "OS X El Capitan – 10.11")
(documentation MacOSXElCapitan JapaneseLanguage "OS X El Capitan – 10.11")

(termFormat EnglishLanguage MacOSXElCapitan "OS 10.11")
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "OS 10.11")
(termFormat ChineseLanguage MacOSXElCapitan "OS 10.11")
(termFormat JapaneseLanguage MacOSXElCapitan "OS 10.11")

(termFormat EnglishLanguage MacOSXElCapitan "Mac OS El Capitan")
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "Mac OS El Capitan")
(termFormat ChineseLanguage MacOSXElCapitan "Mac OS El Capitan")
(termFormat JapaneseLanguage MacOSXElCapitan "Mac OS El Capitan")

(termFormat EnglishLanguage MacOSXElCapitan "El Capitan")
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "El Capitan")
(termFormat ChineseLanguage MacOSXElCapitan "El Capitan")
(termFormat JapaneseLanguage MacOSXElCapitan "El Capitan")
(subclass MacOSXElCapitan AppleMacOSX)

(documentation MacOSSierra EnglishLanguage "macOS Sierra – 10.12")
(documentation MacOSSierra ChineseTraditionalLanguage "macOS Sierra – 10.12")
(documentation MacOSSierra ChineseLanguage "macOS Sierra – 10.12")
(documentation MacOSSierra JapaneseLanguage "macOS Sierra – 10.12")

(termFormat EnglishLanguage MacOSSierra "macOS 10.12")
(termFormat ChineseTraditionalLanguage MacOSSierra "macOS 10.12")
(termFormat ChineseLanguage MacOSSierra "macOS 10.12")
(termFormat JapaneseLanguage MacOSSierra "macOS 10.12")

(termFormat EnglishLanguage MacOSSierra "Mac OS Sierra")
(termFormat ChineseTraditionalLanguage MacOSSierra "Mac OS Sierra")
(termFormat ChineseLanguage MacOSSierra "Mac OS Sierra")
(termFormat JapaneseLanguage MacOSSierra "Mac OS Sierra")

(termFormat EnglishLanguage MacOSSierra "Sierra")
(termFormat ChineseTraditionalLanguage MacOSSierra "Sierra")
(termFormat ChineseLanguage MacOSSierra "Sierra")
(termFormat JapaneseLanguage MacOSSierra "Sierra")
(subclass MacOSSierra AppleMacOSX)

(documentation MacOSHighSierra EnglishLanguage "macOS High Sierra – 10.13")
(documentation MacOSHighSierra ChineseTraditionalLanguage "macOS High Sierra – 10.13")
(documentation MacOSHighSierra ChineseLanguage "macOS High Sierra – 10.13")
(documentation MacOSHighSierra JapaneseLanguage "macOS High Sierra – 10.13")

(termFormat EnglishLanguage MacOSHighSierra "macOS 10.13")
(termFormat ChineseTraditionalLanguage MacOSHighSierra "macOS 10.13")
(termFormat ChineseLanguage MacOSHighSierra "macOS 10.13")
(termFormat JapaneseLanguage MacOSHighSierra "macOS 10.13")

(termFormat EnglishLanguage MacOSHighSierra "Mac OS High Sierra")
(termFormat ChineseTraditionalLanguage MacOSHighSierra "Mac OS High Sierra")
(termFormat ChineseLanguage MacOSHighSierra "Mac OS High Sierra")
(termFormat JapaneseLanguage MacOSHighSierra "Mac OS High Sierra")

(termFormat EnglishLanguage MacOSHighSierra "High Sierra")
(termFormat ChineseTraditionalLanguage MacOSHighSierra "High Sierra")
(termFormat ChineseLanguage MacOSHighSierra "High Sierra")
(termFormat JapaneseLanguage MacOSHighSierra "High Sierra")

(subclass MacOSHighSierra AppleMacOSX)

(documentation MacOSMojave EnglishLanguage "macOS Mojave – 10.14")
(documentation MacOSMojave ChineseTraditionalLanguage "macOS Mojave – 10.14")
(documentation MacOSMojave ChineseLanguage "macOS Mojave – 10.14")
(documentation MacOSMojave JapaneseLanguage "macOS Mojave – 10.14")

(termFormat EnglishLanguage MacOSMojave "macOS 10.14")
(termFormat ChineseTraditionalLanguage MacOSMojave "macOS 10.14")
(termFormat ChineseLanguage MacOSMojave "macOS 10.14")
(termFormat JapaneseLanguage MacOSMojave "macOS 10.14")

(termFormat EnglishLanguage MacOSMojave "Mac OS Mojave")
(termFormat ChineseTraditionalLanguage MacOSMojave "Mac OS Mojave")
(termFormat ChineseLanguage MacOSMojave "Mac OS Mojave")
(termFormat JapaneseLanguage MacOSMojave "Mac OS Mojave")

(termFormat EnglishLanguage MacOSMojave "Mojave")
(termFormat ChineseTraditionalLanguage MacOSMojave "Mojave")
(termFormat ChineseLanguage MacOSMojave "Mojave")
(termFormat JapaneseLanguage MacOSMojave "Mojave")
(subclass MacOSMojave AppleMacOSX)

(documentation MacOSCatalina EnglishLanguage "macOS Catalina - 10.15")
(documentation MacOSCatalina ChineseTraditionalLanguage "macOS Catalina - 10.15")
(documentation MacOSCatalina ChineseLanguage "macOS Catalina - 10.15")
(documentation MacOSCatalina JapaneseLanguage "macOS Catalina - 10.15")

(termFormat EnglishLanguage MacOSCatalina "macOS 10.15")
(termFormat ChineseTraditionalLanguage MacOSCatalina "macOS 10.15")
(termFormat ChineseLanguage MacOSCatalina "macOS 10.15")
(termFormat JapaneseLanguage MacOSCatalina "macOS 10.15")

(termFormat EnglishLanguage MacOSCatalina "Mac OS Catalina")
(termFormat ChineseTraditionalLanguage MacOSCatalina "Mac OS Catalina")
(termFormat ChineseLanguage MacOSCatalina "Mac OS Catalina")
(termFormat JapaneseLanguage MacOSCatalina "Mac OS Catalina")

(termFormat EnglishLanguage MacOSCatalina "Catalina")
(termFormat ChineseTraditionalLanguage MacOSCatalina "Catalina")
(termFormat ChineseLanguage MacOSCatalina "Catalina")
(termFormat JapaneseLanguage MacOSCatalina "Catalina")
(subclass MacOSCatalina AppleMacOSX)

(subclass AppleIPad TabletComputer)
(subclass AppleIPad AppleComputer)
(documentation AppleIPad EnglishLanguage "&%TabletComputer developed and
sold by &%AppleComputerCorporation")
(documentation AppleIPad ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%TabletComputer 。")
(documentation AppleIPad ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%TabletComputer 。")
(documentation AppleIPad JapaneseLanguage "&%TabletComputerは&%AppleComputerCorporationに
よって開発そして販売されている。")


(termFormat EnglishLanguage AppleIPad "iPad")
(termFormat ChineseLanguage AppleIPad "iPad")
(termFormat ChineseLanguage AppleIPad "iPad")
(termFormat JapaneseLanguage AppleIPad "iPad")

(subclass AppleIPhone MobileCellPhone)
(subclass AppleIPhone AppleComputer)
(documentation AppleIPhone EnglishLanguage "&%MobileCellPhone developed and
sold by &%AppleComputerCorporation")
(documentation AppleIPhone ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%MobileCellPhone 。")
(documentation AppleIPhone ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%MobileCellPhone 。")
(documentation AppleIPhone JapaneseLanguage "&%MobileCellPhoneは&%AppleComputerCorporation
によって開発そして販売されている。")


(termFormat EnglishLanguage AppleIPhone "iPhone")
(termFormat ChineseTraditionalLanguage AppleIPhone "iPhone")
(termFormat ChineseLanguage AppleIPhone "iPhone")
(termFormat JapaneseLanguage AppleIPhone "iPhone")

(subclass AppleIPhone1 AppleIPhone)
(subclass AppleIPhone3g AppleIPhone)
(subclass AppleIPhone3GS AppleIPhone)
(subclass AppleIPhone4 AppleIPhone)
(subclass AppleIPhone4s AppleIPhone)
(subclass AppleIPhone5 AppleIPhone)
(subclass AppleIPhone5c AppleIPhone)
(subclass AppleIPhone5s AppleIPhone)
(subclass AppleIPhone6 AppleIPhone)
(subclass AppleIPhone6plus AppleIPhone)
(subclass AppleIPhone6s AppleIPhone)
(subclass AppleIPhone6splus AppleIPhone)
(subclass AppleIPhonese AppleIPhone)
(subclass AppleIPhone7 AppleIPhone)
(subclass AppleIPhone7plus AppleIPhone)
(subclass AppleIPhone8 AppleIPhone)
(subclass AppleIPhone8plus AppleIPhone)
(subclass AppleIPhoneX AppleIPhone)
(subclass AppleIPhoneXS AppleIPhone)
(subclass AppleIPhoneXSmax AppleIPhone)
(subclass AppleIPhoneXR AppleIPhone)
(subclass AppleIPhone11 AppleIPhone)
(subclass AppleIPhone11pro AppleIPhone)
(subclass AppleIPhone11ProMax AppleIPhone)

(deviceOS AppleIPhone1 AppleIPhoneOS1)
(deviceOS AppleIPhone3g AppleIPhoneOS2)
(deviceOS AppleIPhone3GS AppleIPhoneOS3)
(deviceOS AppleIPhone4 AppleIPhoneOS4)
(deviceOS AppleIPhone4s AppleIPhoneOS5)
(deviceOS AppleIPhone5 AppleIPhoneOS6)
(deviceOS AppleIPhone5c AppleIPhoneOS7)
(deviceOS AppleIPhone5s AppleIPhoneOS7)
(deviceOS AppleIPhone6 AppleIPhoneOS8)
(deviceOS AppleIPhone6plus AppleIPhoneOS8)

(subclass AppleIPhoneOS901 AppleIPhoneOS9)

(deviceOS AppleIPhone6s AppleIPhoneOS901)
(deviceOS AppleIPhone6splus AppleIPhoneOS901)
(deviceOS AppleIPhonese AppleIPhoneOS93)

(subclass AppleIPhoneOS93 AppleIPhoneOS9)

(deviceOS AppleIPhone7 AppleIPhoneOS10)
(deviceOS AppleIPhone7plus AppleIPhoneOS10)
(deviceOS AppleIPhone8 AppleIPhoneOS11)
(deviceOS AppleIPhone8plus AppleIPhoneOS11)
(deviceOS AppleIPhoneX AppleIPhoneOS111)

(subclass AppleIPhoneOS111 AppleIPhoneOS11)

(deviceOS AppleIPhoneXS AppleIPhoneOS12)
(deviceOS AppleIPhoneXSmax AppleIPhoneOS12)
(deviceOS AppleIPhoneXR AppleIPhoneOS12)
(deviceOS AppleIPhone11 AppleIPhoneOS13)
(deviceOS AppleIPhone11pro AppleIPhoneOS13)
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13)

(instance deviceOS BinaryRelation)
(domainSubclass deviceOS 1 OperatingSystem)
(domainSubclass deviceOS 2 Computer)
(subrelation deviceOS canRunOn)
(documentation deviceOS EnglishLanguage "Instances of a &%Computer are intended to run versions of the given
&%OperatingSystem. Note that this does not cover cases of a device that is hacked or subject to &%Jailbreaking
in order to run a given OS that was not intended for the device.")

(=>
  (and
    (deviceOS ?C ?OS)
    (instance ?CI ?C)
    (instance ?OSI ?OS)
    (manufacturer ?C ?ORG))
  (desires ?ORG
    (and
      (programRunning ?PROC ?OSI)
      (computerRunning ?PROC ?CI))))

(subclass AppleIMac AppleComputer)
(documentation AppleIMac EnglishLanguage "&%Computer developed and sold by &%AppleComputerCorporation")
(documentation AppleIMac ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%Computer 。")
(documentation AppleIMac ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%Computer 。")


(termFormat EnglishLanguage AppleIMac "iMac")
(termFormat ChineseTraditionalLanguage AppleIMac "iMac")
(termFormat ChineseLanguage AppleIMac "iMac")
(termFormat JapaneseLanguage AppleIMac "iMac")
(canRunOn AppleMacOSX AppleIMac)

(subclass AppleMacPro AppleComputer)
(documentation AppleMacPro EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation")
(documentation AppleMacPro ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%Computer 。")
(documentation AppleMacPro ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%Computer 。")
(documentation AppleMacPro JapaneseLanguage "&%Computerは&%AppleComputerCorporationによって
開発そして販売されている。")

(termFormat EnglishLanguage AppleMacPro "Mac Pro")
(termFormat ChineseTraditionalLanguage AppleMacPro "Mac Pro")
(termFormat ChineseLanguage AppleMacPro "Mac Pro")
(termFormat JapaneseLanguage AppleMacPro "Mac Pro")
(canRunOn AppleMacOSX AppleMacPro)

(subclass AppleMacBookPro AppleComputer)
(subclass AppleMacBookPro Laptop)
(documentation AppleMacBookPro EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation")
(documentation AppleMacBookPro ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%Computer 。")
(documentation AppleMacBookPro ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%Computer 。")
(documentation AppleMacBookPro JapaneseLanguage "&%Computerは&%AppleComputerCorporationに
よって開発そして販売されている。")

(termFormat EnglishLanguage AppleMacBookPro "Macbook Pro")
(termFormat ChineseTraditionalLanguage AppleMacBookPro "Macbook Pro")
(termFormat ChineseLanguage AppleMacBookPro "Macbook Pro")
(termFormat JapaneseLanguage AppleMacBookPro "Macbook Pro")
(canRunOn AppleMacOSX AppleMacBookPro)

(subclass AppleMacBookAir AppleComputer)
(subclass AppleMacBookAir Laptop)
(documentation AppleMacBookAir EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation")
(documentation AppleMacBookAir ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%Computer 。")
(documentation AppleMacBookAir ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%Computer 。")
(documentation AppleMacBookAir JapaneseLanguage "&%Computerは&%AppleComputerCorporationに
よって開発そして販売されている。")

(termFormat EnglishLanguage AppleMacBookAir "Macbook Air")
(termFormat ChineseTraditionalLanguage AppleMacBookAir "Macbook Air")
(termFormat ChineseLanguage AppleMacBookAir "Macbook Air")
(termFormat JapaneseLanguage AppleMacBookAir "Macbook Air")
(canRunOn AppleMacOSX AppleMacBookAir)

(subclass AppleMacBook AppleComputer)
(subclass AppleMacBook Laptop)
(documentation AppleMacBook EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation")
(documentation AppleMacBook ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且販售的 &%Computer。")
(documentation AppleMacBook ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售的 &%Computer。")
(documentation AppleMacBook JapaneseLanguage "&%Computerは&%AppleComputerCorporationに
よって開発そして販売されている。")

(termFormat EnglishLanguage AppleMacBook "Macbook")
(termFormat ChineseTraditionalLanguage AppleMacBook "Macbook")
(termFormat ChineseLanguage AppleMacBook "Macbook")
(termFormat JapaneseLanguage AppleMacBook "Macbook")
(canRunOn AppleMacOSX AppleMacBook)

(subclass AppleIPod AppleComputer)
(subclass AppleIPod MediaSystem)
(documentation AppleIPod EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation for playing &%Recordings")
(documentation AppleIPod ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且發售，用來播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPod ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPod JapaneseLanguage "&%Computerは&%Recordingsの再生目的で&%AppleComputerCorporationによって開発そして販売されている。")

(termFormat EnglishLanguage AppleIPod "iPod")
(termFormat ChineseTraditionalLanguage AppleIPod "iPod")
(termFormat ChineseLanguage AppleIPod "iPod")
(termFormat JapaneseLanguage AppleIPod "iPod")

(subclass AppleIPodTouch AppleIPod)
(documentation AppleIPodTouch EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation for playing &%Recordings")
(documentation AppleIPodTouch ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且發售，用來播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodTouch ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodTouch JapaneseLanguage "&%Computerは&%Recordingsの再生目的で
&%AppleComputerCorporationによって開発そして販売されている。")

(termFormat EnglishLanguage AppleIPodTouch "iPod touch")
(termFormat ChineseTraditionalLanguage AppleIPodTouch "iPod touch")
(termFormat ChineseLanguage AppleIPodTouch "iPod touch")
(termFormat JapaneseLanguage AppleIPodTouch "iPod touch")

(subclass AppleIPodNano AppleIPod)
(documentation AppleIPodNano EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation for playing &%Recordings")
(documentation AppleIPodNano ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且發售，用來播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodNano ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodNano JapaneseLanguage "&%Computerは&%Recordingsの再生目的で
&%AppleComputerCorporationによって開発そして販売されている。")

(termFormat EnglishLanguage AppleIPodNano "iPod nano")
(termFormat ChineseTraditionalLanguage AppleIPodNano "iPod nano")
(termFormat ChineseLanguage AppleIPodNano "iPod nano")
(termFormat JapaneseLanguage AppleIPodNano "iPod nano")

(subclass AppleIPodShuffle AppleIPod)
(documentation AppleIPodShuffle EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation for playing &%Recordings")
(documentation AppleIPodShuffle ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且發售，用來播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodShuffle ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodShuffle JapaneseLanguage "&%Computerは&%Recordingsの再生目的で
&%AppleComputerCorporationによって開発そして販売されている。")

(termFormat EnglishLanguage AppleIPodShuffle "iPod shuffle")
(termFormat ChineseTraditionalLanguage AppleIPodShuffle "iPod shuffle")
(termFormat ChineseLanguage AppleIPodShuffle "iPod shuffle")
(termFormat JapaneseLanguage AppleIPodShuffle "iPod shuffle")

(subclass AppleIPodClassic AppleIPod)
(documentation AppleIPodClassic EnglishLanguage "&%Computer developed and
sold by &%AppleComputerCorporation for playing &%Recordings")
(documentation AppleIPodClassic ChineseTraditionalLanguage "由 &%AppleComputerCorporation 開發並且發售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodClassic ChineseLanguage "由 &%AppleComputerCorporation 开发并且发售，用来播放 &%Recordings 的 &%Computer 。")
(documentation AppleIPodClassic JapaneseLanguage "&%Computerは&%Recordingsの再生目的で
&%AppleComputerCorporationによって開発そして販売されている。")

(termFormat EnglishLanguage AppleIPodClassic "iPod classic")
(termFormat ChineseTraditionalLanguage AppleIPodClassic "iPod classic")
(termFormat ChineseLanguage AppleIPodClassic "iPod classic")
(termFormat JapaneseLanguage AppleIPodClassic "iPod classic")

(subclass AppleGarageBand ComputerProgram)
(termFormat EnglishLanguage AppleGarageBand "GarageBand")
(termFormat ChineseTraditionalLanguage AppleGarageBand "GarageBand")
(termFormat ChineseLanguage AppleGarageBand "GarageBand")
(termFormat JapaneseLanguage AppleGarageBand "GarageBand")

(subclass AppleIMovie ComputerProgram)
(termFormat EnglishLanguage AppleIMovie "iMovie")
(termFormat ChineseTraditionalLanguage AppleIMovie "iMovie")
(termFormat ChineseLanguage AppleIMovie "iMovie")
(termFormat JapaneseLanguage AppleIMovie "iMovie")

(subclass AppleIMessages ComputerProgram)
(termFormat EnglishLanguage AppleIMessages "iMessages")
(termFormat ChineseTraditionalLanguage AppleIMessages "iMessages")
(termFormat ChineseLanguage AppleIMessages "iMessages")
(termFormat JapaneseLanguage AppleIMessages "iMessages")

(subclass AppleICloud ComputerProgram)
(termFormat EnglishLanguage AppleICloud "iCloud")
(termFormat ChineseTraditionalLanguage AppleICloud "iCloud")
(termFormat ChineseLanguage AppleICloud "iCloud")
(termFormat JapaneseLanguage AppleICloud "iCloud")

(subclass AppleILife ComputerProgram)
(termFormat EnglishLanguage AppleILife "iLife")
(termFormat ChineseTraditionalLanguage AppleILife "iLife")
(termFormat ChineseLanguage AppleILife "iLife")
(termFormat EnglishLanguage AppleILife "iLife")

(subclass AppleIWork ComputerProgram)
(termFormat EnglishLanguage AppleIWork "iWork")
(termFormat ChineseTraditionalLanguage AppleIWork "iWork")
(termFormat ChineseLanguage AppleIWork "iWork")
(termFormat JapaneseLanguage AppleIWork "iWork")

(subclass AppleFaceTime ComputerProgram)
(termFormat EnglishLanguage AppleFaceTime "FaceTime")
(termFormat ChineseTraditionalLanguage AppleFaceTime "FaceTime")
(termFormat ChineseLanguage AppleFaceTime "FaceTime")
(termFormat JapaneseLanguage AppleFaceTime "FaceTime")

(documentation AppleFaceTime EnglishLanguage "FaceTime is a proprietary video telephony
product developed by Apple Inc. FaceTime is available on supported iOS mobile devices
and Macintosh computers that run Mac OS X 10.6.6 and later. FaceTime supports any iOS
device with a forward-facing camera and any Macintosh computer equipped with a FaceTime
Camera. (from Wikipedia)")
(documentation AppleFaceTime ChineseTraditionalLanguage "Facetime 是個蘋果公司發展且擁有的通訊產品。
FaceTime 是可用在有支援 iOS 的行動裝置跟執行在Mac OS X 10.6.6或更新版本的麥金塔電腦。
FaceTime 支援任何有前置攝影機的iOS裝置和任何有配備 FaceTime 攝影機的麥金塔電腦。(資料轉載由維基百科)")
(documentation AppleFaceTime ChineseLanguage "Facetime 是个苹果公司发展且拥有的通讯产品。
FaceTime 是可用在有支援iOS 的行动装置跟执行在Mac OS X 10.6.6或更新版本的麦金塔电脑。
FaceTime 支援任何有前置摄影机的iOS装置和任何有配备 FaceTime 摄影机的麦金塔电脑。(资料转载由维基百科)")
(documentation AppleFaceTime JapaneseLanguage "FaceTimeは、アップルが開発したVoIP、ビデオ
通話（ビデオ電話）ソフトウェアアプリケーション、およびそれに関連するプロトコルである。 iOSの
携帯情報端末やMac OS X v10.6.6以降のMacintoshコンピュータに対応する。使用にはiOSデバイスでは
前面搭載カメラ（iPhone 4以降の全iOSデバイスに搭載）、MacintoshコンピュータではWebカメラが必要と
なる。ビデオ通話は「FaceTime」、音声通話は「FaceTimeオーディオ」と呼ばれる。(ウィキペディア参照)")

(documentation AppleFairPlay EnglishLanguage "FairPlay is a digital rights management
(DRM) technology developed by Apple Inc. It is built into the MP4 multimedia file format
as an encrypted AAC audio layer, and is used by the company to protect copyrighted works
sold through iTunes Store, allowing only authorized devices to play the content.
(from Wikipedia)")
(documentation AppleFairPlay ChineseTraditionalLanguage " FairPlay 是個由蘋果公司發展數位版權管理的技術
(DRM). 它是被建立在多媒體檔案 格式成加密 AAC 音頻層, 且被公司用來保護透過 iTune Store 販買有版權的產品, 允許只有授權的裝置去讀取內容。 (資料轉載由維基百科)")
(documentation AppleFairPlay ChineseLanguage " FairPlay 是个由苹果公司发展数位版权管理的技术
(DRM). 它是被建立在多媒体档案格式成加密AAC 音频层, 且被公司用来保护透过iTune Store 贩买有版权的产品, 允许只有授权的装置去读取内容。 (资料转载由维基百科)")
(documentation AppleFairPlay JapaneseLanguage " FairPlay（フェアプレー）は、QuickTimeマルチ
メディア技術に内蔵されiPod、iTunes、及びiTunes Storeによって使用されているこのデジタル著作権管理
(DRM : Digital Rights Management) 向けにアップルが名付けた名称である。iTunesと共にiTunes
Storeから購入したそれぞれのファイルはFairPlayと同時にエンコードされている。また同社の携帯音楽
プレーヤーであるiPodシリーズはこの方式のファイルをスムーズにシンクする。(ウィキペディア参照)")

(subclass AppleFairPlay ComputerProgram)
(creator AppleFairPlay AppleComputerCorporation)
(termFormat EnglishLanguage AppleFairPlay "FairPlay")
(termFormat ChineseTraditionalLanguage AppleFairPlay "FairPlay")
(termFormat ChineseLanguage AppleFairPlay "FairPlay")
(termFormat JapaneseLanguage AppleFairPlay "FairPlay")

(subclass AppleSystemManagementController EngineeringComponent)
(termFormat EnglishLanguage AppleSystemManagementController "SMC")
(termFormat ChineseTraditionalLanguage AppleSystemManagementController "SMC")
(termFormat ChineseLanguage AppleSystemManagementController "SMC")
(termFormat JapaneseLanguage AppleSystemManagementController "SMC")

(termFormat EnglishLanguage AppleSystemManagementController "System Management Controller")
(termFormat ChineseTraditionalLanguage AppleSystemManagementController "系统管理控制器")
(termFormat ChineseLanguage AppleSystemManagementController "系统管理控制器")
(termFormat JapaneseLanguage AppleSystemManagementController "システム管理コントローラ")
(manufacturer AppleSystemManagementController AppleComputerCorporation)

(subclass AppleSafari WebBrowser)
(creator AppleSafari AppleComputerCorporation)
(termFormat EnglishLanguage AppleSafari "Safari")
(termFormat ChineseTraditionalLanguage AppleSafari "Safari")
(termFormat ChineseLanguage AppleSafari "Safari")
(termFormat JapaneseLanguage AppleSafari "Safari")

(subclass AppleSetupAssistant ComputerProgram)
(creator AppleSetupAssistant AppleComputerCorporation)
(termFormat EnglishLanguage AppleSetupAssistant "Setup Assistant")
(termFormat ChineseTraditionalLanguage AppleSetupAssistant "設置助理")
(termFormat ChineseLanguage AppleSetupAssistant "设置助理")
(termFormat JapaneseLanguage AppleSetupAssistant "設定アシスタント")

(subclass AppleMigrationAssistant ComputerProgram)
(creator AppleMigrationAssistant AppleComputerCorporation)
(termFormat EnglishLanguage AppleMigrationAssistant "Migration Assistant")
(termFormat ChineseTraditionalLanguage AppleMigrationAssistant "遷移助理")
(termFormat ChineseLanguage AppleMigrationAssistant "迁移助理")
(termFormat JapaneseLanguage AppleMigrationAssistant "Migration Assistant")

;; https://en.wikipedia.org/wiki/List_of_Microsoft_operating_systems


(documentation WindowsOS1 EnglishLanguage "Microsoft Windows 1.0 (1985)")
(documentation WindowsOS1 ChineseTraditionalLanguage "微軟 Windows 1.0 (1985)")
(documentation WindowsOS1 ChineseLanguage "微软 Windows 1.0 (1985)")
(documentation WindowsOS1 JapaneseLanguage "Microsoft Windows 1.0 (1985)")
(termFormat EnglishLanguage WindowsOS1 "Windows 1.0")
(termFormat ChineseTraditionalLanguage WindowsOS1 "Windows 1.0")
(termFormat ChineseLanguage WindowsOS1 "Windows 1.0")
(termFormat JapaneseLanguage WindowsOS1 "Windows 1.0")
(subclass WindowsOS1 WindowsOS)

(documentation WindowsOS2 EnglishLanguage "Microsoft Windows 2.0 (1987)")
(documentation WindowsOS2 ChineseTraditionalLanguage "微軟Windows 2.0 (1987)")
(documentation WindowsOS2 ChineseLanguage "微软Windows 2.0 (1987)")
(documentation WindowsOS2 JapaneseLanguage "Microsoft Windows 2.0 (1987)")

(termFormat EnglishLanguage WindowsOS2 "Windows 2.0")
(termFormat ChineseTraditionalLanguage WindowsOS2 "Windows 2.0")
(termFormat ChineseLanguage WindowsOS2 "Windows 2.0")
(termFormat JapaneseLanguage WindowsOS2 "Windows 2.0")
(subclass WindowsOS2 WindowsOS)

(documentation WindowsOS3 EnglishLanguage "Microsoft Windows 3.x (1990)")
(documentation WindowsOS3 ChineseTraditionalLanguage "微軟 Windows 3.x (1990)")
(documentation WindowsOS3 ChineseLanguage "微软 Windows 3.x (1990)")
(documentation WindowsOS3 JapaneseLanguage "Microsoft Windows 3.x (1990)")

(termFormat EnglishLanguage WindowsOS3 "Windows 3")
(termFormat ChineseTraditionalLanguage WindowsOS3 "Windows 3")
(termFormat ChineseLanguage WindowsOS3 "Windows 3")
(termFormat JapaneseLanguage WindowsOS3 "Windows 3")
(subclass WindowsOS3 WindowsOS)

(documentation WindowsOS95 EnglishLanguage "Microsoft Windows 95 (1995)")
(documentation WindowsOS95 ChineseTraditionalLanguage "微軟 Windows 95 (1995)")
(documentation WindowsOS95 ChineseLanguage "微软 Windows 95 (1995)")
(documentation WindowsOS95 JapaneseLanguage "Microsoft Windows 95 (1995)")

(termFormat EnglishLanguage WindowsOS95 "Windows 95")
(termFormat ChineseTraditionalLanguage WindowsOS95 "Windows 95")
(termFormat ChineseLanguage WindowsOS95 "Windows 95")
(termFormat JapaneseLanguage WindowsOS95 "Windows 95")

(subclass WindowsOS95 WindowsOS)

(documentation Windows98 EnglishLanguage "Microsoft Windows 98 (1998)")
(documentation Windows98 ChineseTraditionalLanguage "微軟 Windows 98 (1998)")
(documentation Windows98 ChineseLanguage "微软 Windows 98 (1998)")
(documentation Windows98 JapaneseLanguage "Microsoft Windows 98 (1998)")

(termFormat EnglishLanguage Windows98 "Windows 98")
(termFormat ChineseTraditionalLanguage Windows98 "Windows 98")
(termFormat ChineseLanguage Windows98 "Windows 98")
(termFormat JapaneseLanguage Windows98 "Windows 98")
(subclass Windows98 WindowsOS)

(documentation WindowsME EnglishLanguage "Microsoft Windows ME (2000)")
(documentation WindowsME ChineseTraditionalLanguage "微軟 Windows ME (2000)")
(documentation WindowsME ChineseLanguage "微软 Windows ME (2000)")
(documentation WindowsME JapaneseLanguage "Microsoft Windows ME (2000)")

(termFormat EnglishLanguage WindowsME "Windows ME")
(termFormat ChineseTraditionalLanguage WindowsME "Windows ME")
(termFormat ChineseLanguage WindowsME "Windows ME")
(termFormat JapaneseLanguage WindowsME "Windows ME")
(subclass WindowsME WindowsOS)

(documentation WindowsXP EnglishLanguage "Microsoft Windows XP (2001)")
(documentation WindowsXP ChineseTraditionalLanguage  "微軟 Windows XP (2001)")
(documentation WindowsXP ChineseLanguage  "微软 Windows XP (2001)")
(documentation WindowsXP JapaneseLanguage "Microsoft Windows XP (2001)")

(termFormat EnglishLanguage WindowsXP "Windows XP")
(termFormat ChineseTraditionalLanguage WindowsXP "Windows XP")
(termFormat ChineseLanguage WindowsXP "Windows XP")
(termFormat JapaneseLanguage WindowsXP "Windows XP")
(subclass WindowsXP WindowsOS)

(documentation WindowsVista EnglishLanguage "Microsoft Windows Vista (2006)")
(documentation WindowsVista ChineseTraditionalLanguage "微軟 Windows Vista (2006)")
(documentation WindowsVista ChineseLanguage "微软 Windows Vista (2006)")
(documentation WindowsVista JapaneseLanguage "Microsoft Windows Vista (2006)")

(termFormat EnglishLanguage WindowsVista "Windows Vista")
(termFormat ChineseTraditionalLanguage WindowsVista "Windows Vista")
(termFormat ChineseLanguage WindowsVista "Windows Vista")
(termFormat JapaneseLanguage WindowsVista "Windows Vista")
(subclass WindowsVista WindowsOS)

(documentation Windows7 EnglishLanguage "Microsoft Windows 7 (2009)")
(documentation Windows7 ChineseTraditionalLanguage "微軟 Windows 7 (2009)")
(documentation Windows7 ChineseLanguage "微软 Windows 7 (2009)")
(documentation Windows7 JapaneseLanguage "Microsoft Windows 7 (2009)")

(termFormat EnglishLanguage Windows7 "Windows 7")
(termFormat ChineseTraditionalLanguage Windows7 "Windows 7")
(termFormat ChineseLanguage Windows7 "Windows 7")
(termFormat JapaneseLanguage Windows7 "Windows 7")
(subclass Windows7 WindowsOS)

(documentation Windows8 EnglishLanguage "Microsoft Windows 8 (2012)")
(documentation Windows8 ChineseTraditionalLanguage "微軟 Windows 8 (2012)")
(documentation Windows8 ChineseLanguage "微软 Windows 8 (2012)")
(documentation Windows8 JapaneseLanguage "Microsoft Windows 8 (2012)")

(termFormat EnglishLanguage Windows8 "Windows 8")
(termFormat ChineseTraditionalLanguage Windows8 "Windows 8")
(termFormat ChineseLanguage Windows8 "Windows 8")
(termFormat JapaneseLanguage Windows8 "Windows 8")
(subclass Windows8 WindowsOS)

(documentation Windows8-1 EnglishLanguage "Microsoft Windows 8.1 (2013)")
(documentation Windows8-1 ChineseTraditionalLanguage "微軟 Windows 8.1 (2013)")
(documentation Windows8-1 ChineseLanguage "微软 Windows 8.1 (2013)")
(documentation Windows8-1 JapaneseLanguage "Microsoft Windows 8.1 (2013)")

(termFormat EnglishLanguage Windows8-1 "Windows 8.1")
(termFormat ChineseTraditionalLanguage Windows8-1 "Windows 8.1")
(termFormat ChineseLanguage Windows8-1 "Windows 8.1")
(termFormat JapaneseLanguage Windows8-1 "Windows 8.1")
(subclass Windows8-1 WindowsOS)

(documentation Windows10 EnglishLanguage "Microsoft Windows 10 (2015)")
(documentation Windows10 ChineseTraditionalLanguage "微軟Windows 10 (2015)")
(documentation Windows10 ChineseLanguage "微软Windows 10 (2015)")
(documentation Windows10 JapaneseLanguage "Microsoft Windows 10 (2015)")

(termFormat EnglishLanguage Windows10 "Windows 10")
(termFormat ChineseTraditionalLanguage Windows10 "Windows 10")
(termFormat ChineseLanguage Windows10 "Windows 10")
(termFormat JapaneseLanguage Windows10 "Windows 10")
(subclass Windows10 WindowsOS)

(documentation CDMANetwork EnglishLanguage "Code-division multiple access (CDMA)
is a channel access method used by various radio communication technologies.
CDMA is an example of multiple access, where several transmitters can send
information simultaneously over a single communication channel. This allows
several users to share a band of frequencies (see bandwidth). To permit this
without undue interference between the users, CDMA employs spread spectrum
technology and a special coding scheme (where each transmitter is assigned a
code). (from Wikipedia)")

(documentation CDMANetwork ChineseTraditionalLanguage "碼分多址 (CDMA)是多個無限通信技術科技所使用的信道接入方法。
CDMA 是多址接入的示例, 其中幾個發送器可以同時通過單的通信信道發送信息. 這樣可以允許多個用共享一個頻段
(見帶寬)。 能夠這樣做而又不給用戶之間造成不適當干擾情況。 CDMA 採用擴頻技術和特殊編碼方案 (每個發射機分配一個碼)。（資料來自英語维基百科）")

(documentation CDMANetwork ChineseLanguage "码分多址 (CDMA)是多个无线电通信技术所使用的信道接入方法。
CDMA是多址接入的示例，其中几个发送器可以同时通过单个通信信道发送信息。 这样可以允许多个用户共享一个频段
（见带宽）。 能够这样做而又不给用户之间造成不适当干扰情况，CDMA采用扩频技术和特殊编码方案（每个发射机分配一个码）。（资料来自英语维基百科）")

(documentation CDMANetwork JapaneseLanguage "符号分割多元接続（ふごうぶんかつたげんせつぞく、
英語: Code Division Multiple Access、CDMA）とは、通信技術の一方式であり、同一の周波数帯域内で
2つ以上の複数の通信（多元接続）を行うために用いる技術の総称である。主に直接拡散符号分割多重接続
(DS/CDMA,DS : Direct Sequence)、周波数ホッピング (FH : Frequency-Hopping) の方式に分けられる。
衛星電話などの衛星通信や携帯電話の他、軍事用の暗号通信に用いられている。(ウィキペディア参照)")

(subclass CDMANetwork CellNetwork)
(termFormat EnglishLanguage CDMANetwork "CDMA Network")
(termFormat ChineseTraditionalLanguage CDMANetwork "CDMA 網路")
(termFormat ChineseLanguage CDMANetwork "CDMA 网络")
(termFormat JapaneseLanguage CDMANetwork "CDMA ネットワーク")

(termFormat EnglishLanguage CDMANetwork "CDMA")
(termFormat ChineseTraditionalLanguage CDMANetwork "CDMA")
(termFormat ChineseLanguage CDMANetwork "CDMA")
(termFormat ChineseLanguage CDMANetwork "CDMA")
(termFormat JapaneseLanguage CDMANetwork "CDMA")

(termFormat EnglishLanguage CDMANetwork "Code-division multiple access")
(termFormat ChineseTraditionalLanguage CDMANetwork "碼分多址")
(termFormat ChineseLanguage CDMANetwork "码分多址")
(termFormat JapaneseLanguage CDMANetwork "符号分割多元接続")



(documentation HSPANetwork EnglishLanguage "High Speed Packet Access (HSPA) is an
amalgamation of two mobile protocols, High Speed Downlink Packet Access (HSDPA) and
High Speed Uplink Packet Access (HSUPA), that extends and improves the performance of
existing 3G mobile telecommunication networks using the WCDMA protocols. A further
improved 3GPP standard, Evolved High Speed Packet Access (also known as HSPA+), was
released late in 2008 with subsequent worldwide adoption beginning in 2010. The newer
standard allows bit-rates to reach as high as 337 Mbit/s in the downlink and 34 Mbit/s
in the uplink. However, these speeds are rarely achieved in practice. (from Wikipedia)")
(documentation HSPANetwork ChineseTraditionalLanguage "高速封包存取
(HSPA)是兩種行動傳輸協議的合併, 高速下行鏈封包存取 (HSDPA) 和 高速上行鏈存取封包
(HSUPA), 這些延伸並提升現存 3G 行動通訊網的效能藉由WCDMA協定. 更進一步改良的3GPP
標準, 演進的高速封包存取 (也被認知為 HSPA+), 在2008年底推出之後開始在2010被世界廣泛採用.
新標準允許比特率達到最高337 Mbit/s 下行鏈速率 和 34 Mbit/s 在上行鏈。 無論如何,
這些速率很少在實際中被達到。 (資料來自英語维基百科)")
(documentation HSPANetwork ChineseLanguage "高速封包存取(HSPA)是两种行动传输协议的合并,
高速下行链封包存取(HSDPA) 和高速上行链存取封包(HSUPA), 这些延伸并提升现存3G 行动通讯网的效能藉由WCDMA协定。
更进一步改良的3GPP 标准, 演进的高速封包存取(也被认知为HSPA+), 在2008年底推出之后开始在2010被世界广泛采用.
新标准允许比特率达到最高337 Mbit/s 下行链速率和 34 Mbit/s 在上行链。 无论如何, 这些速率很少在实际中被达到。(资料来自英语维基百科)")
(documentation HSPANetwork JapaneseLanguage "HSPA (High Speed Packet Access) は、W_CDMA
を拡張した高速パケット通信規格である。第3世代移動通信システム (3G) に対して、第3.5世代移動通信
システム(3.5G) と位置づけられている[1]。 下りの高速化をHSDPA (High-Speed Downlink Packet
Access)、上りの高速化は HSUPA (High-Speed Uplink Packet Access) または EUL と呼ぶ。また、3GPP
(Third Generation Partnership Project) Release 7にて、HSPA Evolution としてさらなる高度化が
行われた。 TD-CDMAにおける HSDPAについては「TD-CDMA」を参照。（ウィキペディア参照)")

(termFormat EnglishLanguage HSPANetwork "HSPA Network")
(termFormat ChineseTraditionalLanguage HSPANetwork "HSPA 網路")
(termFormat ChineseLanguage HSPANetwork "HSPA 网路")
(termFormat JapaneseLanguage HSPANetwork "HSPA ネットワーク")

(subclass HSPANetwork CellNetwork)

(documentation Network2G EnglishLanguage "2G (or 2-G) is short for second-generation
cellular technology. 2G cellular networks were commercially launched on the GSM
standard in Finland by Radiolinja (now part of Elisa Oyj) in 1991. With General Packet
Radio Service (GPRS), 2G offers a theoretical maximum transfer speed of 50 kbit/s
(40 kbit/s in practice). With EDGE (Enhanced Data Rates
for GSM Evolution), there is a theoretical maximum transfer speed of 1 Mbit/s
(500 kbit/s in practice).  The most common 2G technology was the time division
multiple access (TDMA)-based GSM, originally from Europe but used in most of the
world outside North America. Over 60 GSM operators were also using CDMA2000 in
the 450 MHz frequency band (CDMA450) by 2010. (from Wikipedia)")

(documentation Network2G ChineseTraditionalLanguage " 2G (or 2-G) 是電二代行動通信技術的簡稱。
2G 通信網是在1991年由 Radiolinja 在芬蘭 基於GSM 標準而商業般的創立 (目前是 Elisa Oyj 一部分)。
以通用封包無線服務 (GPRS), 2G 提供個理論上傳輸速率最高達 1 Mbit/s (實際上 500 kbit/s)。
最一般的2G技術是建立於時分多址(TDMA)的 GSM, 最初從歐洲發起但被大部分北美以外的世界地區採用.
 超過 60 GSM 營運商也將於2010年時使用在 450 MHz 頻道 (CDMA 450)。 (資料轉載由維基百科)")

(documentation Network2G ChineseLanguage "2G (or 2-G) 是电二代行动通信技术的简称。
2G 通信网是在1991年由Radiolinja 在芬兰基于GSM 标准而商业般的创立(目前是 Elisa Oyj 一部分).
 以通用封包无线服务(GPRS ), 2G 提供个理论上传输速率最高达 1 Mbit/s (实际上500 kbit/s)。
最一般的2G技术是建立于时分多址(TDMA)的 GSM, 最初从欧洲发起但被大部分北美以外的世界地区采用.
 超过 60 GSM 营运商也将于2010年时使用在 450 MHz 频道(CDMA 450)。 (资料来自英语维基百科)")

(documentation Network2G JapaneseLanguage "第2世代移動通信システム（だいにせだいいどうつうしん
システム）は、1993年に、第1世代移動通信システムの次に登場したデジタル方式の移動通信システムのこと。
一般的に英語の「2nd Generation」から、「2G（にジー、ツージー）」などとも略される。デジタル方式の
採用により、本システムを採用した携帯電話（PHS含む）は、電子メールやウェブ対応など高機能化した。
（cf. 携帯機器（ウィキペディア参照)")

(subclass Network2G CellNetwork)
(termFormat EnglishLanguage Network2G "2G")
(termFormat ChineseTraditionalLanguage Network2G "2G")
(termFormat ChineseLanguage Network2G "2G")
(termFormat JapaneseLanguage Network2G "2G")

(termFormat EnglishLanguage Network2G "2G network")
(termFormat ChineseTraditionalLanguage Network2G "2G 網路")
(termFormat ChineseLanguage Network2G "2G 网路")
(termFormat JapaneseLanguage Network2G "2G ネットワーク")

(=>
  (and
    (instance ?N Network2G)
    (bandwidth ?N 
      (MeasureFn ?M BitsPerSecond)))
  (lessThan ?M 40000))

(subclass Network3G CellNetwork)
(documentation Network3G EnglishLanguage "3G, short for third generation, is the
third generation of wireless mobile telecommunications technology. It is the
upgrade for 2G and 2.5G GPRS networks, for faster internet speed. This is based
on a set of standards used for mobile devices and mobile telecommunications use
services and networks that comply with the International Mobile
Telecommunications-2000 (IMT-2000) specifications by the International
Telecommunication Union. 3G finds application in wireless voice telephony, mobile
Internet access, fixed wireless Internet access, video calls and mobile TV.
3G telecommunication networks support services that provide an information
transfer rate of at least 0.2 Mbit/s. (from Wikipedia)")
(documentation Network3G ChineseTraditionalLanguage "3G, 第三代的簡稱, 是只第三代行動通訊技術。
它是2G和 2.5G GPRS 網路的升級版, 對於更高速的網路速度。
這是建立於一套標準使用在行動裝置和行動通訊使用尊崇由國際通訊聯盟所訂之國際行動通訊(IMT-2000)規格的服務跟網路。
3G 應用在無線語音通信, 行動網路存取, 定點無線網路存取, 視訊通話及行動電視。 3G 無線網路支援以0.2 Mbit/s速率傳遞訊息的服務。 (資料轉載由維基百科)")

(documentation Network3G ChineseLanguage "3G, 第三代的简称, 是只第三代行动通讯技术。
它是2G和2.5G GPRS 网路的升级版, 对于更高速的网路速度。
这是建立于一套标准使用在行动装置和行动通讯使用尊崇由国际通讯联盟所订之国际行动通讯(IMT-2000)规格的服务跟网路。
3G 应用在无线语音通信, 行动网路存取, 定点无线网路存取, 视讯通话及行动电视。 3G 无线网路支援以0.2 Mbit/s速率传递讯息的服务。(资料转载由维基百科)")

(documentation Network3G JapaneseLanguage "第3世代移動通信システム（だいさんせだいいどうつう
しんシステム）とは、国際電気通信連合(ITU) が定める「IMT-2000」 (International Mobile
Telecommunication 2000) 規格に準拠した通信システムのこと。ITUは5種類の地上系通信方式と6種類の
衛星系通信方式を1999年に勧告した。日本の例では、NTTドコモやソフトバンク、ワイモバイルが採用して
いるW-CDMA方式（欧州ではUMTS方式と呼ばれる）やKDDI・沖縄セルラー電話連合の「au」が採用している
CDMA2000 1x（CDMA2000 1xRTT、当初はCDMA2000）方式がある。 ITUでは、2007年11月現在、世界100か
国以上の700を超えるネットワークで8億以上の加入者が存在するとしている。一般的に英語の「3rd
Generation」から、「3G（スリージー）」と呼ばれる。(ウィキペディア参照)")

(termFormat EnglishLanguage Network3G "3G")
(termFormat ChineseTraditionalLanguage Network3G "3G")
(termFormat ChineseLanguage Network3G "3G")
(termFormat JapaneseLanguage Network3G "3G")

(termFormat EnglishLanguage Network3G "3G network")
(termFormat ChineseTraditionalLanguage Network3G "3G 網路")
(termFormat ChineseLanguage Network3G "3G 网路")
(termFormat JapaneseLanguage Network3G "3G")

(=>
  (and
    (instance ?N Network3G)
    (bandwidth ?N 
      (MeasureFn ?M BitsPerSecond)))
  (lessThan ?M 200000))

(subclass Network4G CellNetwork)
(documentation Network4G EnglishLanguage "4G is the fourth generation of broadband
cellular network technology, succeeding 3G. A 4G system must provide capabilities
defined by ITU in IMT Advanced. Potential and current applications include amended
mobile web access, IP telephony, gaming services, high-definition mobile TV, video
conferencing, and 3D television. In March 2009, the International Telecommunications
Union-Radio communications sector (ITU-R) specified a set of requirements for 4G
standards, named the International Mobile Telecommunications Advanced (IMT-Advanced)
specification, setting peak speed requirements for 4G service at 100 megabits per
second (Mbit/s)(=12.5 megabytes per second) for high mobility communication (such
as from trains and cars) and 1 gigabit per second (Gbit/s) for low mobility
communication (such as pedestrians and stationary users).(from Wikipedia)")

(documentation Network4G ChineseTraditionalLanguage "4G 是第四代寬頻行動通信技術,超越3G。
 一個4G系統必須提供由ITU定義在進階IMT的能力, IP 通信, 遊戲服務, 高解析行動電視, 視訊會議, 和3D電視.
在2009三月, 國際電信聯盟無線電通信部門 (ITU-R)訂出一套對於4G標準的要求, 命名為國際行動通訊進階規格
(IMT-Advanced), 設定對於4G服務尖峰速率要求在 每秒100兆位元 (Mbit/s) (=每秒12.5 兆bytes)
對於高行動通訊 (例如從火車和車子上) 和 每秒1 千兆位元速率對於低行動性通訊 (例如路上行人和非移動的使用者)。(資料轉載由維基百科)")

(documentation Network4G ChineseLanguage "4G是第四代宽频行动通信技术，超越3G。
一个4G系统必须提供由ITU定义在进阶IMT的能力，IP通信，游戏服务，高解析行动电视，视讯会议，和3D电视。在2009年三月，
国际电信联盟无线电通信部门（ITU-R）订出一套对于4G标准的要求，命名为国际行动通讯进阶规格（IMT-Advanced），
设定对于4G服务尖峰速率要求在每秒100兆位元（Mbit / s）（=每秒12.5兆字节）对于高行动通讯
（例如从火车和车子上）和每秒1千兆位元速率对于低行动性通讯（例如路上行人和非移动的使用者。(资料转载由维基百科)")

(documentation Network4G JapaneseLanguage "第4世代移動通信システム（だいよんせだいいどうつうしんシステム）
とは、国際電気通信連合 (ITU) が定めるIMT-Advanced規格に準拠する無線通信システムのこと[1]。英語:
4th Generation, 「4G」と略記される。LTE、WiMAXそれぞれの後継規格であるLTE-AdvancedとWirelessMAN-Advanced
（WiMAX2）が該当する。(ウィキペディア参照)")


(termFormat EnglishLanguage Network4G "4G")
(termFormat ChineseTraditionalLanguage Network4G "4G")
(termFormat ChineseLanguage Network4G "4G")
(termFormat JapaneseLanguage Network4G "4G")
(termFormat EnglishLanguage Network4G "4G network")
(termFormat ChineseTraditionalLanguage Network4G "4G 網路")
(termFormat ChineseLanguage Network4G "4G 网路")
(termFormat JapaneseLanguage Network4G "4G ネットワーク")

(=>
  (and
    (instance ?N Network4G)
    (bandwidth ?N 
      (MeasureFn ?M (GigaFn BitsPerSecond))))
  (lessThan ?M 1))

(subclass Network5G CellNetwork)
(documentation Network5G EnglishLanguage "5G is the fifth generation cellular network
technology. The industry association 3GPP defines any system using '5G NR' (5G New
Radio) software as '5G', a definition that came into general use by late 2018. Others
may reserve the term for systems that meet the requirements of the ITU IMT-2020. 3GPP
will submit their 5G NR to the ITU. It follows 2G, 3G and 4G and their respective
associated technologies (such as GSM, UMTS, LTE, LTE Advanced Pro and others).
(from Wikipedia)")

(documentation Network5G ChineseTraditionalLanguage "第五代移動通信技術（英語：5th generation
mobile networks或5th generation wireless systems，簡稱 5G）是最新一代蜂窩移動通信技術，是4G
（LTE-A，WiMAX-A）系統後的延伸.5G的性能目標是高數據速率，減少延遲，節省能源，降低成本，
提高系統容量和大規模設備連接.Release-15中的5G規範的第一階段是為了適應早期的商業部署.Release-16的第二階段將於2020年4月完成，
作為IMT-2020技術的候選提交給國際電信聯盟（ITU）。
ITU IMT-2020規範要求速度高達20 Gbit / s，可以實現寬通道帶寬和大容量MIMO。第三代合作夥伴計劃（3GPP）
將提交5G NR（新無線電）作為其5G通信標準提案.5G NR可包括低頻（FR1），低於6 GHz和更高頻率（FR2），
高於2.4 GHz和毫米波範圍。然而，在早期部署中，在4G硬件（非獨立）上使用5G NR軟件的速度和延遲只比新4G系統稍好一點，
估計要好15％到50％。獨立eMBB部署的仿真顯示，在FR1範圍內，吞吐量提高了2.5倍，在FR2範圍內提高了近20倍。
目前，提供5G無線硬件與系統的公司有：華為，三星，高通，思科，諾基亞，愛立信，聯發科技，瞻博網路，中興。（資料轉載由維基百科）")

(documentation Network5G ChineseLanguage "第五代移动通信技术（英语：5th generation mobile
networks或5th generation wireless systems，簡稱 5G）是最新一代蜂窝移动通信技术，是4G（LTE-A、
WiMAX-A）系统后的延伸。5G的性能目标是高数据速率、减少延迟、节省能源、降低成本、提高系统容量和大规模设备连接。
Release-15中的5G规范的第一阶段是为了适应早期的商业部署。Release-16的第二阶段将于2020年4月完成，
作为IMT-2020技术的候选提交给国际电信联盟（ITU）。
ITU IMT-2020规范要求速度高达20 Gbit/s，可以实现宽通道带宽和大容量MIMO。 第三代合作伙伴计划（3GPP）
将提交5G NR（新无线电）作为其5G通信标准提案。5G NR可包括低频（FR1），低于6 GHz和更高频率（FR2），
高于2.4 GHz和毫米波范围。然而，在早期部署中，在4G硬件（非独立）上使用5G NR软件的速度和延迟只比新4G系统稍好一点，
估计要好15％到50％。 独立eMBB部署的仿真显示，在FR1范围内，吞吐量提高了2.5倍，在FR2范围内提高了近20倍。
目前，提供5G无线硬件与系统的公司有：华为、三星、高通、思科、諾基亞、愛立信、聯發科技、瞻博網路、中興。(资料转载由维基百科)")

(documentation Network5G JapaneseLanguage "第5世代移動通信システム（だい5せだいいどうつうしん
システム）。英語:5th Generation, 「5G」（ごジー、ファイブジー）と略記される。1G、2G、3G、4Gに
続く無線通信システムである。(ウィキペディア参照)")

(subclass GPRSNetwork CellNetwork)
(termFormat EnglishLanguage GPRSNetwork "GPRS network")
(termFormat ChineseTraditionalLanguage GPRSNetwork "GPRS 網路")
(termFormat ChineseLanguage GPRSNetwork "GPRS 网路")
(termFormat JapaneseLanguage GPRSNetwork "GPRS ネットワーク")

(termFormat EnglishLanguage GPRSNetwork "GPRS")
(termFormat ChineseTraditionalLanguage GSMNetwork "GSM")
(termFormat ChineseLanguage GSMNetwork "GSM")
(termFormat JapaneseLanguage GPRSNetwork "GPRS")

(subclass GSMNetwork CellNetwork)
(termFormat EnglishLanguage GSMNetwork "GSM network")
(termFormat ChineseTraditionalLanguage 5GNetwork "5G 網路")
(termFormat ChineseLanguage 5GNetwork "5G 网路")
(termFormat JapaneseLanguage GSMNetwork "GSM ネットワーク")

(termFormat EnglishLanguage GSMNetwork "GSM")
(termFormat ChineseTraditionalLanguage GSMNetwork "GSM")
(termFormat ChineseLanguage GSMNetwork "GSM")
(termFormat JapaneseLanguage GSMNetwork "GSM")

(termFormat JapaneseLanguage 5GNetwork "5G")
(termFormat ChineseTraditionalLanguage 5GNetwork "5G")
(termFormat ChineseLanguage 5GNetwork "5G")
(termFormat JapaneseLanguage 5GNetwork "5G")

(termFormat EnglishLanguage 5GNetwork "5G network")
(termFormat ChineseTraditionalLanguage 5GNetwork "5G 網路")
(termFormat ChineseLanguage 5GNetwork "5G 网路")
(termFormat JapaneseLanguage 5GNetwork "5G ネットワーク")

(subclass WirelessNetwork ComputerNetwork)

(documentation WirelessNetwork EnglishLanguage "A &%ComputerNetwork that uses some sort
of communication not over a &%Cable at some point during every transmission.")

(documentation WirelessNetwork ChineseTraditionalLanguage "&%ComputerNetwork
使用在通訊時透過抹種方式不需透過 &%Cable 在每個傳輸的抹段期間。")

(documentation WirelessNetwork ChineseLanguage "＆％ComputerNetwork
使用在通讯时透过抹种方式不需透过 ＆％Cable 在每个传输的抹段期间。")

(documentation WirelessNetwork JapaneseLanguage "送信中ある時点で&%Cable
を介さない何らかの通信用途による&%ComputerNetwork。")

(=>
    (and
      (instance ?CONN WirelessNetwork)
      (instance ?COM NetworkCommunication)
      (instrument ?COM ?CONN)
      (path ?COM ?PATH))
    (exists (?PART)
      (and
        (part ?PART ?PATH)
        (not
          (instance ?PART Cable)))))

(subclass Wifi WirelessNetwork)
(documentation Wifi EnglishLanguage "Wi-Fi is a family of radio technologies commonly
used for wireless local area networking (WLAN) of devices, It is based on the IEEE
802.11 family of standards. Wi‑Fi is a trademark of the Wi-Fi Alliance, which
restricts the use of the term Wi-Fi Certified to products that successfully complete
interoperability certification testing. Wi-Fi uses multiple
parts of the IEEE 802 protocol family and is designed to seamlessly interwork with
its wired sister protocol Ethernet. (from Wikipedia)")
(documentation Wifi ChineseTraditionalLanguage "Wi-Fi 在中文裡又稱作「無線熱點」，
是Wi-Fi聯盟製造商的商標做為產品的品牌認證，是一個建立於IEEE 802.11標準的無線局域網技術。
基於兩套系統的密切相關，也常有人把Wi-Fi當做IEEE 802.11標準的同义術語。「Wi-Fi」常被寫成「WiFi」或「Wifi」，但是它們並沒有被Wi-Fi聯盟認可。
並不是每樣符合IEEE 802.11的產品都申請Wi-Fi聯盟的認證，相對地缺少Wi-Fi認證的產品並不一定意味著不兼容Wi-Fi設備。
IEEE 802.11的設備已安裝在市面上的許多產品，如：個人電腦、遊戲機、MP3播放器、智慧型手機、平板電腦、印表機、
筆記型電腦以及其他可以無線上網的週邊設備。 Wi-Fi聯盟成立于1999年，當時的名稱為無線乙太網路相容性聯盟
（Wireless Ethernet Compatibility Alliance, WECA）。2002年10月，正式改名為Wi-Fi Alliance。 （資料轉載由維基百科）")

(documentation Wifi ChineseLanguage "Wi-Fi在中文里又称作「无线热点」，
是Wi-Fi联盟制造商的商标做为产品的品牌认证，是一个建立于IEEE 802.11标准的无线局域网技术。基于两套系统的密切相关，
也常有人把Wi-Fi当做IEEE 802.11标准的同义术语。“Wi-Fi”常被写成「WiFi」或「Wifi」，但是它们并没有被Wi-Fi联盟认可。
并且是每样符合IEEE 802.11的产品都申请Wi-Fi联盟的认证，
相对地缺少Wi-Fi认证的产品并非一定意味着不兼容Wi-Fi设备.IEEE 802.11的设备已安装在市面上的许多产品，如：个人电脑，
游戏机，MP3播放器，智慧型手机，平板电脑，印表机，笔记型电脑以及其他可以无线上网的周边设备.Wi-Fi联盟成立于1999年，
当时的名称为无线乙太网路相容性联盟（Wireless Ethernet Compatibility Alliance, WECA）。
2002年10月，正式改名为Wi-Fi Alliance。 (资料转载由维基百科)")

(documentation Wifi JapaneseLanguage " Wi-Fi（ワイファイ）とは、無線LANに関する登録商標である。
Wi-Fi Alliance（アメリカ合衆国に本拠を置く業界団体）によって、国際標準規格である
IEEE 802.11規格を使用したデバイス間の相互接続が認められたことを示す名称。(ウィキペディア参照)")

(termFormat EnglishLanguage Wifi "Wifi")
(termFormat ChineseTraditionalLanguage Wifi "Wifi")
(termFormat ChineseLanguage Wifi "Wifi")
(termFormat JapaneseLanguage Wifi "Wifi")

(termFormat EnglishLanguage Wifi "Wi-fi")
(termFormat ChineseTraditionalLanguage Wifi "Wi-fi")
(termFormat ChineseLanguage Wifi "Wi-fi")
(termFormat JapaneseLanguage Wifi "Wi-fi")

(subclass CellNetwork WirelessNetwork)
(termFormat ChineseTraditionalLanguage CellNetwork "cellular network")
(termFormat ChineseLanguage CellNetwork "cellular 行動網路")
(termFormat EnglishLanguage CellNetwork "cellular 行动网路")
(termFormat JapaneseLanguage CellNetwork "セルラーネットワーク")

(termFormat EnglishLanguage CellNetwork "cell network")
(termFormat ChineseTraditionalLanguage CellNetwork "行動網路")
(termFormat ChineseLanguage CellNetwork "cellular 行动网路")
(termFormat JapaneseLanguage CellNetwork "セルネットワーク")

(subclass BluetoothNetwork WirelessNetwork)
(documentation BluetoothNetwork EnglishLanguage "Bluetooth is a wireless technology
standard for exchanging data between fixed and mobile devices over short distances
using short-wavelength UHF radio waves in the industrial, scientific and medical
radio bands, from 2.400 to 2.485 GHz, and building personal area networks (PANs).
It was originally conceived as a wireless alternative to RS-232 data cables. (from Wikipedia)")

(documentation BluetoothNetwork ChineseTraditionalLanguage "藍牙（英語：藍牙），一種無線通訊技術標準，
用來讓固定與行動裝置，在短距離間交換資料，以形成個人區域網絡（PAN）其使用短波特高頻（UHF）
無線電波，經由2.4至2.485 GHz的ISM頻段來進行通信。1994年由電信商愛立信（Ericsson）發展出這個技術。
它最初的設計，是希望建立一個RS-232數據線的無線通訊替代版本。它能夠連結多個裝置，克服同步的問題。
藍牙技術目前由藍牙技術聯盟（SIG）來負責維護其技術標準，其成員已超過三萬，分佈在電信，電腦，
網路與消費性電子產品等領域.IEEE曾經將藍牙技術標準化為IEEE 802.15. 1，但是這個標準已經不再繼續使用。（資料轉載由維基百科）")

(documentation BluetoothNetwork ChineseTraditionalLanguage "蓝牙（英语：蓝牙），一种无线通讯技术标准，
用来让固定与行动装置，在短距离间交换资料，以形成个人区域网络（PAN）其使用短波特高频（UHF）无线电波，
经由2.4至2.485 GHz的ISM频段来进行通信。1994年由电信商爱立信（Ericsson）发展出这个技术。它最初的设计，
是希望建立一个RS-232数据线的无线通讯替代版本。它能够连结多个装置，克服同步的问题。
蓝牙技术目前由蓝牙技术联盟（SIG）来负责维护其技术标准，其成员已超过三万，分布在电信，电脑，
网路与消费性电子产品等领域.IEEE曾经将蓝牙技术标准化为IEEE 802.15. 1，但是这个标准已经不再继续使用。（资料转载由维基百科）")

(documentation BluetoothNetwork JapaneseLanguage " Bluetooth（ブルートゥース、ブルーツース）
は、デジタル機器用の近距離無線通信規格の1つである。Bluetooth Basic Rate/Enhanced Data Rate
(BR/EDR) とBluetooth Low Energy(LE) から構成される。(ウィキペディア参照)")

(termFormat EnglishLanguage BluetoothNetwork "Bluetooth")
(termFormat ChineseTraditionalLanguage BluetoothNetwork "藍芽")
(termFormat ChineseLanguage BluetoothNetwork "蓝芽")
(termFormat JapaneseLanguage BluetoothNetwork "ブルートゥース")

(termFormat EnglishLanguage BluetoothNetwork "Bluetooth network")
(termFormat ChineseTraditionalLanguage BluetoothNetwork "藍芽網路")
(termFormat ChineseLanguage BluetoothNetwork "Bluetooth 蓝芽网路")
(termFormat JapaneseLanguage BluetoothNetwork "ブルートゥースネットワーク")

(instance NetworkCommunicationFn UnaryFunction)
(rangeSubclass NetworkCommunicationFn NetworkCommunication)
(domainSubclass NetworkCommunicationFn 1 ComputerNetwork)

(documentation NetworkCommunicationFn EnglishLanguage "A &%Function that returns an
class of &%NetworkCommunication over the given type of &%ComputerNetwork.")
(documentation NetworkCommunicationFn EnglishLanguage "&%Function 透過給予的 &%ComputerNetwork 回傳一個類別給 &%NetworkCommunication 。")
(documentation NetworkCommunicationFn EnglishLanguage "&%Function 透过给予 &%ComputerNetwork 回传一个类别给 &%NetworkCommunication 。")
(documentation NetworkCommunicationFn JapaneseLanguage "指定されたタイプの&%ComputerNetwork
上の&%NetworkCommunicationクラスで返される機能。")

(format EnglishLanguage NetworkCommunicationFn "communication over %1")
(format ChineseTraditionalLanguage NetworkCommunicationFn "通信透過 %1")
(format ChineseLanguage NetworkCommunicationFn "通信透过 %1")
(format JapaneseLanguage NetworkCommunicationFn "％1 を介した通信")

(termFormat EnglishLanguage NetworkCommunicationFn "network communication function")
(termFormat ChineseTraditionalLanguage NetworkCommunicationFn "網路通信功能")
(termFormat ChineseLanguage NetworkCommunicationFn "网路通信功能")
(termFormat JapaneseLanguage NetworkCommunicationFn "ネットワーク通信機能")

(=>
  (instance ?WN (NetworkCommunicationFn WirelessNetwork))
  (exists (?R)
    (and
      (instance ?R RadiatingElectromagnetic)
      (subProcess ?R ?WN))))

(instance carrierFrequency BinaryPredicate)
(domain carrierFrequency 1 Radiating)
(domain carrierFrequency 2 PhysicalQuantity)
(documentation carrierFrequency EnglishLanguage "The frequency of the carrier signal
encoded as frequency modulation (FM)")
(documentation carrierFrequency ChineseTraditionalLanguage "編碼成頻率調控 (FM) 的載波信號")
(documentation carrierFrequency ChineseLanguage "编码成频率调控 (FM) 的载波信号")
(documentation carrierFrequency JapaneseLanguage "周波数変調として符号化された搬送波信号の周波
数(FM)")

(format EnglishLanguage carrierFrequency "the frequency of the carrier of %1 is %2")
(format ChineseTraditionalLanguage carrierFrequency "%1 載波的頻率是 %2 ")
(format ChineseLanguage carrierFrequency "%1 载波的频率是 %2 ")
(format JapaneseLanguage carrierFrequency "%1 の搬送波周波数は %2")

(termFormat EnglishLanguage carrierFrequency "carrier frequency")
(termFormat ChineseTraditionalLanguage carrierFrequency "載波頻率")
(termFormat ChineseLanguage carrierFrequency "载波频率")
(termFormat JapaneseLanguage carrierFrequency "搬送波周波数")

;; lambda = c / f
;; c = 299,792,458 m/s

(=>
  (and
    (instance ?R RadiatingElectromagnetic)
    (carrierFrequency ?R (MeasureFn Hertz ?HZ))
    (wavelength ?R (MeasureFn Meter ?L)))
  (equal
    (MeasureFn Meter ?L)
    (MeasureFn Meter (DivisionFn 299792458 ?HZ))))

(=>
  (and
    (instance ?WN (NetworkCommunicationFn BluetoothNetwork))
    (instance ?R RadiatingElectromagnetic)
    (subProcess ?R ?WN)
    (carrierFrequency ?R
      (MeasureFn ?W (GigaFn Hertz))))
  (and
    (greaterThan ?W 2.4)
    (lessThan ?W 2.485)))

(subclass AdvancedAudioDistributionProfile BluetoothNetwork)
(termFormat EnglishLanguage AdvancedAudioDistributionProfile "A2DP")
(termFormat ChineseTraditionalLanguage AdvancedAudioDistributionProfile "A2DP")
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "A2DP")
(termFormat JapaneseLanguage AdvancedAudioDistributionProfile "A2DP")

(termFormat EnglishLanguage AdvancedAudioDistributionProfile "Advanced Audio Distribution Profile")
(termFormat ChineseTraditionalLanguage AdvancedAudioDistributionProfile "藍牙立體聲音訊傳輸規範")
(termFormat ChineseLanguage AdvancedAudioDistributionProfile "蓝牙立体声音讯传输规范")
(termFormat JapaneseLanguage AdvancedAudioDistributionProfile "Advanced Audio Distribution
Profile")

(documentation AdvancedAudioDistributionProfile EnglishLanguage "This profile defines how multimedia audio
can be streamed from one device to another over a Bluetooth connection (it is also called Bluetooth Audio
Streaming). For example, music can be streamed from a mobile phone, to a wireless headset, hearing
aid/cochlear implant streamer, car audio, or from a laptop/desktop to a wireless headset; also, voice can be
streamed from a microphone device to a recorder on a PC.[1] The Audio/Video Remote Control Profile (AVRCP)
is often used in conjunction with A2DP for remote control on devices such as headphones, car audio systems,
or stand-alone speaker units. These systems often also implement Headset (HSP) or Hands-Free (HFP) profiles
for telephone calls, which may be used separately. (from Wikipedia)")

(documentation AdvancedAudioDistributionProfile ChineseTraditionalLanguage "藍牙立體聲音訊傳輸規範
（Advance Audio Distribution Profile），規定了使用藍牙非同步傳輸信道方式，傳輸高質量音樂文件數據的協議堆棧軟件和使用方法，
基於該協議就能通過以藍牙方式傳輸高品質的立體聲音樂。分為1.1版和1.2版，只要連接雙方支持A2DP協議都能以16位，
44.1 kHz的質量傳輸聲音信號。假如有一方沒有支持A2DP的話，
只能以8位，8 kHz的質量的免手持裝置規範（Handsfree Profile）傳輸模式，聲音質量會大打折扣。 （資料轉載由維基百科）")
(documentation AdvancedAudioDistributionProfile ChineseLanguage "蓝牙立体声音讯传输规范（Advance
Audio Distribution Profile），规定了使用蓝牙非同步传输信道方式，传输高质量音乐文件数据的协议堆栈软件和使用方法，
基于该协议就能通过以蓝牙方式传输高品质的立体声音乐。分为1.1版和1.2版，只要连接双方支持A2DP协议都能以16位，
44.1 kHz的质量传输声音信号。假如有一方没有支持A2DP的话，只能以8位，8 kHz的质量的免手持装置规范（Handsfree
Profile）传输模式，声音质量会大打折扣。 （资料转载由维基百科）")

(documentation AdvancedAudioDistributionProfile JapaneseLanguage " Advanced Audio
Distribution Profileは、Bluetoothプロファイル（仕様/標準化）のひとつ。仕様書などではA2DPと略さ
れる。以下の記事中でもA2DPと表記する。A2DPでは、モノラルもしくはステレオの音声データを、ACLチャン
ネル上に高品質にストリーミング配信するための手順や、使用する他のBluetoothプロファイル・Bluetooth
プロトコルなどが定義されている。ただし、サラウンドサウンドの配信については定義の範囲外となる。A2DP
では伝送に必要なカプセリング化方式のみを規定しており、ペイロードとなる音声の圧縮に使用するコー
デックは自由に規定することが可能となっている。A2DPの規格で実装を必須としているのはSBC（SubBand
Codec）であり、これ以外に過去多くの製品に実装されたコーデックとして、MP3オーディオ、AAC
（MPEG-2/4 AAC）、ATRAC、aptX、LDACなどがある。また、特徴的な実装として、サムスン社製の一部の
スマートフォンおよびBTイヤホンにおいてはサムスン独自のコーデックを実装し、同社製同士である場合に
高音質な再生品質が得られることをアピールする事例もある。(ウィキペディア参照)")

(documentation achievement EnglishLanguage "In video gaming parlance, an achievement, also sometimes known
as a trophy, badge, award, stamp, medal, challenge or in game achievement, is a meta-goal defined outside
a game's parameters. Unlike the in-game systems of quests, tasks, and/or levels that usually define the
goals of a video game and have a direct effect on further gameplay, the management of achievements usually
takes place outside the confines of the game environment and architecture.[1] Meeting the fulfillment
conditions, and receiving recognition of fulfillment by the game, is referred to as unlocking the
achievement. (from Wikipedia)")
(documentation achievement ChineseTraditionalLanguage "成就是一個電子遊戲中的特殊遊戲目標，在不同的遊戲中可能又稱獎杯，
榮譽，徽章，挑戰，獎勵等。遊戲中的成就可以延長遊戲時間，讓玩家不僅僅是將遊戲通關，而是必須完成遊戲內所有挑戰及發現秘密，
這些成就可以與遊戲本身的目標一致，也可以獨立於遊戲的主要或次要目標之外，玩家必須以特別的方式完成遊戲才能取得。
例如在不殺死任何敵人的情況下通關，必須使用限定的技能來擊敗敵人，或是攜帶特定的道具進入特定的地圖。（資料轉載由維基百科）")

(documentation achievement ChineseLanguage "成就是一个电子游戏中的特殊游戏目标，在不同的游戏中可能又称奖杯，荣誉，
徽章，挑战，奖励等。游戏中的成就可以延长游戏时间，让玩家不仅仅是将游戏通关，而是必须完成游戏内所有挑战及发现秘密，
这些成就可以与游戏本身的目标一致，也可以独立于游戏的主要或次要目标之外，玩家必须以特别的方式完成游戏才能取得。
例如在不杀死任何敌人的情况下通关，必须使用限定的技能来击败敌人，或是携带特定的道具进入特定的地图。（资料转载由维基百科）")

(documentation achievement JapaneseLanguage "アチーブメントという用語はビデオゲームでトロフィー、
バッジ、賞、スタンプ、メダル、チャレンジとして、またはゲームアチーブメントとして知られていて、
ゲームのパラメータ外で定義されているメタゴールです。ゲーム内のシステムのゲスト、タスク、又は普段
ビデオゲームのゴールが定義されていて直接その後のゲームプレイに影響があるレベルのものと違って通常、
アチーブメントの管理はゲーム環境とアーキテクチャの範囲外で行われる。履行条件を満たし、ゲームによる
履行認識を受けることはアチーブメントのロック解除とされる。(ウィキペディア参照)")

(instance achievement TernaryPredicate)
(domain achievement 1 Game)
(domain achievement 2 Agent)
(domain achievement 3 Abstract)
(termFormat EnglishLanguage achievement "achievement")
(termFormat ChineseTraditionalLanguage achievement "成就")
(termFormat ChineseLanguage achievement "成就")
(termFormat JapaneseLanguage achievement "アチーブメント")
(format EnglishLanguage achievement "%2 has achieved %3 in %1")
(format ChineseTraditionalLanguage achievement "%2 已在 %1 完成 %3")
(format ChineseLanguage achievement "%2 已在 %1 完成 %3")
(format JapaneseLanguage achievement "％2 は ％1 で ％3 をアチーブした")

(=>
  (plays ?G ?A)
  (desires ?A
    (exists (?S)
      (achievement ?G ?A ?S))))

(instance referee CaseRole)
(subrelation referee patient)
(disjointRelation referee plays)

(domain referee 1 Game)
(domain referee 2 Agent)
(documentation referee EnglishLanguage "The &%CaseRole of being a judge or coordinator of a game,
as opposed to a player in the game.")
(documentation referee ChineseTraditionalLanguage "&%CaseRole 是遊戲裡的裁判或協調者, 是跟遊戲裡的玩家角色相反。")
(documentation referee ChineseLanguage "&%CaseRole 是游戏里的裁判或协调者, 是跟游戏里的玩家角色相反。")
(documentation referee JapaneseLanguage "ゲームのプレイヤーと対照的であるゲームの審判またはコー
ディネーターの&%CaseRole。")

(subrelation plays patient)
(instance plays CaseRole)
(domain plays 1 Game)
(domain plays 2 Agent)
(documentation plays EnglishLanguage "The &%CaseRole of being a player of a game, as opposed to a judge
or other supporting role.")
(documentation plays ChineseTraditionalLanguage "&%CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。")
(documentation plays ChineseLanguage "&%CaseRole 是在游戏里扮演玩家，和扮演审判或是其他支柱角色相反。")
(documentation plays JapaneseLanguage "ゲームの審判または他のサポート役と対照的であるゲームの
プレーヤーの&%CaseRole。")
(termFormat EnglishLanguage plays "plays")
(termFormat ChineseTraditionalLanguage plays "扮演")
(termFormat ChineseLanguage plays "扮演")
(termFormat JapaneseLanguage plays "プレー")

(format EnglishLanguage plays "%2 plays %1")
(format ChineseTraditionalLanguage plays "%2 扮演 %1")
(format ChineseLanguage plays "%2 扮演 %1")
(format JapaneseLanguage plays "％2 が ％1 をプレー")

(=>
  (plays ?G ?A)
  (desires ?A
    (and
      (instance ?S Score)
      (subProcess ?S ?G)
      (agent ?S ?A))))

(subclass ComputerProtocol Procedure)
(documentation ComputerProtocol EnglishLanguage "A set of specifications for the sequence and format
of data sent between two (or more) &%ComputerPrograms to accomplish some task.")

(documentation ComputerProtocol ChineseTraditionalLanguage "一套規格用來完成些對於在兩個(或更多)
&%ComputerPrograms 之間傳遞的序列跟檔案格式之任務")

(documentation ComputerProtocol ChineseLanguage "一套规格用来完成些对于在两个(或更多)
&%ComputerPrograms 之间传递的序列跟档案格式之任务")

(documentation ComputerProtocol JapaneseLanguage "2つ（またはそれ以上）の＆％ComputerPrograms
間で送信されたシーケンスとフォーマットのデータ一の連の仕様でいくつかのタスクを完了する。")

(termFormat EnglishLanguage ComputerProtocol "computer protocol")
(termFormat ChineseTraditionalLanguage ComputerProtocol "電腦協定")
(termFormat ChineseLanguage ComputerProtocol "电脑协定")
(termFormat JapaneseLanguage ComputerProtocol "コンピュータプロトコル")

(=>
  (instance ?CP ComputerProtocol)
  (hasPurpose ?CP
    (exists (?P1 ?P2 ?C)
      (and
        (instance ?P1 ComputerProgram)
        (instance ?P2 ComputerProgram)
        (instance ?C DataTransfer)
        (origin ?C ?P1)
        (destination ?C ?P2)
        (represents ?CP ?C)))))

(subclass ActiveSync ComputerProtocol)
(documentation ActiveSync EnglishLanguage "ActiveSync is a mobile data synchronization app developed by
Microsoft, originally released in 1996. It synchronizes data with handheld devices and desktop computers.
In the Windows Task Manager, the associated process is called wcescomm.exe. (from Wikipedia)")

(documentation ActiveSync ChineseTraditionalLanguage "活性同步是個行動資料同步 app 由微軟發展, 最初在1996推出。
它能和掌上型裝置跟桌上點腦的資料同步。 在 Windows 任務管理員,相關的流程是叫做 wcescomm.exe （資料轉載由維基百科）")

(documentation ActiveSync ChineseLanguage "活性同步是个行动资料同步app由微软发展，最初在1996推出。
它能和掌上型装置跟桌上点脑的资料同步。在Windows任务管理员，相关的流程是叫做wcescomm.exe （资料转载由维基百科）")

(documentation ActiveSync JapaneseLanguage "同梱されているMicrosoft ActiveSyncはVer4.5
である。これはアプリケーションのインストールのほかに、PC上のMicrosoft OutlookとHT-01AのPIM
（メール、予定表、連絡先、仕事）との同期ができる。企業利用であれば、Microsoft Exchange Server
とのリモートでの同期が図れる。その他に、音楽、動画、WordやExcelなどのファイルのPCとの共有などがで
きる。(ウィキペディアHT-01A参照)")

(termFormat EnglishLanguage ActiveSync "ActiveSync")
(termFormat ChineseTraditionalLanguage ActiveSync "活性同步")
(termFormat ChineseLanguage ActiveSync "活性同步")
(termFormat JapaneseLanguage ActiveSync "ActiveSync")

(creator ActiveSync MicrosoftCorporation)

(instance AirplaneMode DeviceStateAttribute)
(documentation AirplaneMode EnglishLanguage "Airplane mode, Aeroplane mode, Flight mode, Offline mode,
or Standalone mode is a setting available on smartphones and other portable computers that, when activated,
suspends radio-frequency signal transmission by the device, thereby disabling Bluetooth, telephony, and
Wi-Fi. GPS may or may not be disabled, because it does not involve transmitting radio waves. The name
comes from the prohibition by most of the airlines of using equipment transmitting radio-frequency signal
while in flight; using airplane mode prevents devices from transmitting. (from Wikipedia)")

(documentation AirplaneMode ChineseTraditionalLanguage "飛航模式, 航空模式, 關閉模式, 獨立模式
 是個在智慧手機和其他攜帶型電腦的設定, 當啟用, 無線信號傳輸將被裝置停用, 因此關閉藍芽, 通訊, 和Wi-Fi.
GPS 也許不被停用, 因為它需要牽扯到無線傳輸. 這模式的稱呼由來自於大部分航空公司禁止在機內使用無線訊號發送裝置;
啟用飛航模式將預防裝置發送信號。 (資料來自英語维基百科）")

(documentation AirplaneMode ChineseLanguage "飞航模式, 航空模式, 关闭模式,
独立模式是个在智慧手机和其他携带型电脑的设定, 当启用, 无线信号传输将被装置停用, 因此关闭蓝芽, 通讯,
和Wi-Fi. GPS 也许不被停用, 因为它需要牵扯到无线传输. 这模式的称呼由来自于大部分航空公司禁止在机内使用无线讯号发送装置;
启用飞航模式将预防装置发送信号。(资料来自英语维基百科）")

(documentation AirplaneMode JapaneseLanguage "航空機モード (こうくうきモード、米語:Airplane
mode 、英:aeroplane mode)または機内モード（きないモード）とは、携帯電話などの電子通信デバイスで
利用可能な設定の一つであり、航空機モードをオンにすることで電波の送信をしない設定になる。このため、
通話などの機能が、航空機モードでは使用不可になる。いっぽう、電波の送受信を必要としないカメラ機能、
MP3プレーヤーなどの機能は、航空機モードでも利用可能なのが一般的である。航空機モードが適用されると、
すべての通信サービス (GSM, UMTS, LTE) が無効化され、同様にWi-FiやBluetoothが無効化される。
航空機モードではWi-FiやBlootoothは使用不可能になる。 送信せず受信しかしないFMラジオやGPSは使用
可能なのが一般である。航空機モードの二次的な特徴として、送受信に関わる電力消費を減らせるため、電
力の消費を抑えられるという特徴がある。(ウィキペディア参照)")

(termFormat EnglishLanguage AirplaneMode "Airplane mode")
(termFormat ChineseTraditionalLanguage AirplaneMode "航空模式")
(termFormat ChineseLanguage AirplaneMode "航空模式")
(termFormat JapaneseLanguage AirplaneMode "〔携帯電話などの〕機内モード")

(termFormat EnglishLanguage AirplaneMode "Aeroplane mode")
(termFormat ChineseTraditionalLanguage AirplaneMode "航空模式")
(termFormat ChineseLanguage AirplaneMode "航空模式")
(termFormat JapaneseLanguage AirplaneMode "〔携帯電話などの〕機内モード")

(termFormat EnglishLanguage AirplaneMode "Flight mode")
(termFormat ChineseTraditionalLanguage AirplaneMode "飛航模式")
(termFormat ChineseLanguage AirplaneMode "飛航模式")
(termFormat JapaneseLanguage AirplaneMode "飛行モード")

(termFormat EnglishLanguage AirplaneMode "Offline mode")
(termFormat ChineseTraditionalLanguage AirplaneMode "關閉模式")
(termFormat ChineseLanguage AirplaneMode "關閉模式")
(termFormat JapaneseLanguage AirplaneMode "オフラインモード")

(termFormat EnglishLanguage AirplaneMode "Standalone mode")
(termFormat ChineseTraditionalLanguage AirplaneMode "獨立模式")
(termFormat ChineseLanguage AirplaneMode "独立模式")
(termFormat JapaneseLanguage AirplaneMode "スタンドアロンモード")

(=>
  (holdsDuring ?T
    (attribute ?C AirplaneMode))
  (not
    (holdsDuring ?T
      (capability ?C origin (NetworkCommunicationFn WirelessNetwork)))))

(subclass AirPlay WirelessNetwork)
(documentation AirPlay EnglishLanguage "AirPlay is a proprietary protocol stack/suite developed by Apple
Inc. that allows wireless streaming between devices of audio, video, device screens, and photos, together
with related metadata. Originally implemented only in Apple's software and devices, it was called AirTunes
and used for audio only. Apple has since licensed the AirPlay protocol stack as a third-party software
component technology to manufacturers that build products compatible with Apple's devices. (from Wikipedia)")

(documentation AirPlay ChineseTraditionalLanguage "隔空播放（英語：AirPlay）是蘋果公司的在iOS4.2及OS X
Mountain Lion中加入的一種播放技術，可以將iOS和OS X Mountain Lion或更新版上的檔案（包括視頻、相片和鏡像）
傳送到支持AirPlay的設備（如：HomePod和Apple TV）。使用Airplay需要iOS4.2版本的設備或Mac電腦上的iTunes 10.1以上版本。
視頻鏡像則需要iOS 5及OS X Mountain Lion。在2017年11月初的iOS 11更新，此功能在簡體中文環境下譯為「隔空播放」，
繁體中文環境下依然維持原始英文名稱。(資料來自维基百科）")

(documentation AirPlay ChineseLanguage "隔空播放（英语：AirPlay）是苹果公司的在iOS4.2及OS X Mountain
Lion中加入的一种播放技术，可以将iOS和OS X Mountain Lion或更新版上的档案（包括视频、相片和镜像）
传送到支持AirPlay的设备（如：HomePod和Apple TV）。 使用Airplay需要iOS4.2版本的设备或Mac电脑上的iTunes10.1以上版本。
视频镜像则需要iOS 5及OS X Mountain Lion。 在2017年11月初的iOS 11更新，此功能在简体中文环境下译为「隔空播放」，
繁体中文环境下依然维持原始英文名称。(资料来自维基百科）")

(documentation AirPlay JapaneseLanguage "AirPlayは、iTunesやiPhone、iPod touch、iPadで再生
している音楽や動画、画像を、家庭内のネットワークを経由して他の機器でストリーミング再生する機能であ
る。元々は、iTunesの音源をAirMac Express経由でオーディオ機器に接続してストリーミング再生する旧
AirTunesに由来する。アップルのiTunes10に初めて搭載された。(ウィキペディア参照)")

(termFormat EnglishLanguage AirPlay "AirPlay")
(termFormat ChineseTraditionalLanguage AirPlay "隔空播放")
(termFormat ChineseLanguage AirPlay "隔空播放")
(termFormat JapaneseLanguage AirPlay "AirPlay")

(creator AirPlay AppleComputerCorporation)

(=>
  (instance ?NC (NetworkCommunicationFn AirPlay))
  (or
    (exists (?TV)
      (and
        (instance ?TV TelevisionSet)
        (destination ?NC ?TV)))
    (exists (?SP)
      (and
        (instance ?SP SpeakerDevice)
        (destination ?NC ?SP)))))

(subclass AirPrint ComputerNetwork)
(documentation AirPrint EnglishLanguage "AirPrint is a feature in Apple Inc.'s macOS and iOS operating
systems for printing via a wireless LAN (Wi-Fi), either directly to AirPrint-compatible printers,
or to non-compatible shared printers by way of a computer running Microsoft Windows, Linux, or macOS.
Direct Wi-Fi connection between the device and the printer is not supported by default, but has
appeared as the 'HP ePrint Wireless Direct AirPrint' feature. (from Wikipedia)")

(documentation AirPrint ChineseTraditionalLanguage "隔空打印是個蘋果公司 macOS和 iOS
作業系統裡的功能用來透過無線列印 (Wi-Fi),可直接對於隔空打印相容印表機, 或非相容分享的印表機藉由執行在微軟,
Linux, macOS 的電腦上. 直接由 Wi-Fi 在裝置跟印表機間連接是預設不被支援, 但是
已出現像是 'HP ePrint Wireless Direct AirPrint'的功能。 (資料來自维基百科）")

(documentation AirPrint ChineseLanguage "隔空打印是个苹果公司macOS和iOS
作业系统里的功能用来透过无线列印(Wi-Fi),可直接对于隔空打印相容印表机, 或非相容分享的印表机藉由执行在微软,
Linux, macOS 的电脑上. 直接由Wi-Fi 在装置跟印表机间连接是预设不被支援, 但是
已出现像是 'HP ePrint Wireless Direct AirPrint' 的功能。 (资料来自维基百科）")

(documentation AirPrint JapaneseLanguage "AirPrintとはアップルのMac OS X Lion以降とiOS 4.2
以降の機能で無線LAN(Wi-Fi)を通してAirPrint対応プリンター（HPのePrintシリーズ、キヤノンの2011年9
月以降発売のワイヤレスモデル、ブラザー工業の一部機種、エプソンの2011年秋以降モデル）もしくは
Windows、macOS、GNU/Linux PCに接続している非対応プリンターに直接印刷できる機能である。特定のプリ
ンターに対応したドライバを必要としない。(ウィキペディア参照)")

(termFormat EnglishLanguage AirPrint "AirPrint")
(termFormat ChineseTraditionalLanguage AirPrint "隔空打印")
(termFormat ChineseLanguage AirPrint "隔空打印")
(termFormat JapaneseLanguage AirPrint "AirPrint")

(creator AirPrint AppleComputerCorporation)

(=>
  (instance ?NC (NetworkCommunicationFn AirPrint))
  (exists (?P)
    (and
      (instance ?P Printer)
      (destination ?NC ?P))))

;; Android (above)

(subclass ApplicationProgrammerInterface ComputerProgram)
(documentation ApplicationProgrammerInterface EnglishLanguage "A kind of &%ComputerProgram that is
itself a portion of a larger &%ComputerProgram and is designed to be an interface to other code.
It allows the functions of the program to be used without knowing every detail of its internal
methods and data structures.")

(documentation ApplicationProgrammerInterface ChineseTraditionalLanguage "抹種 &%ComputerProgram
它本身是另一個更大 &%ComputerProgram 的一部分 並 設計來做為對其它程式的介面。
它允程式的功能在不知道每個內部方法跟資料結構的細節情形下被使用。")

(documentation ApplicationProgrammerInterface ChineseLanguage "抹种 &%ComputerProgram
它本身是另一个更大 &%ComputerProgram 的一部分 并 设计来做为对其它程式的介面。
它允程式的功能在不知道每个内部方法跟资料结构的细节情形下被使用。")

(documentation ApplicationProgrammerInterface JapaneseLanguage "＆％ComputerProgram
の一種で、それ自体は、より大きな＆％ComputerProgramの一部で他のコードへのインターフェースとして
設計されている。内部のメソッドとデータ構造すべての詳細なしでも、プログラムの機能使用が可能。")

(=>
  (instance ?API ApplicationProgrammerInterface)
  (exists (?P)
    (and
      (instance ?P ComputerProgram)
      (subProposition ?API ?P))))

(termFormat EnglishLanguage ApplicationProgrammerInterface "API")
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "API")
(termFormat ChineseLanguage ApplicationProgrammerInterface "API")
(termFormat JapaneseLanguage ApplicationProgrammerInterface "API")

(termFormat EnglishLanguage ApplicationProgrammerInterface "Application Programmer Interface")
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "應用程式介面")
(termFormat ChineseLanguage ApplicationProgrammerInterface "应用程式介面")
(termFormat JapaneseLanguage ApplicationProgrammerInterface "アプリケーションプログラマインタ
フェース")

(subclass App ComputerProgram)
(documentation App EnglishLanguage "A &%ComputerProgram that is designed to run on a
&%MobileCellPhone.")
(documentation App ChineseTraditionalLanguage "一個 &%ComputerProgram 被設計用來執行在 &%MobileCellPhone.")
(documentation App ChineseLanguage "一个 &%ComputerProgram 被设计用来执行在
&%MobileCellPhone.")
(documentation App JapaneseLanguage "＆％MobileCellPhoneで実行するように設計された＆％。")

(termFormat EnglishLanguage App "app")
(termFormat ChineseTraditionalLanguage App "app")
(termFormat ChineseLanguage App "app")
(termFormat JapaneseLanguage App "アプリ")

(=>
  (instance ?A App)
  (hasPurpose ?A
    (exists (?A ?P)
      (and
        (instance ?C MobileCellPhone)
        (instance ?P ComputerProcess)
        (programRunning ?P ?A)
        (computerRunning ?P ?C)))))

(subclass AppleAppStore ComputerProgram)
(creator AppleAppStore AppleComputer)

(documentation AppleAppStore EnglishLanguage "The software and Internet site where Apple
customers can download useful computer programs for their devices.  Some are free and others
require payment.")
(documentation AppleAppStore ChineseTraditionalLanguage "Apple客戶可以為他們的裝置下載程式藉由在其中的軟體和網頁,有些免費有些需收費。")
(documentation AppleAppStore ChineseLanguage "客户可以为他们的装置下载程式藉由在其中的软体和网页,有些免费有些需收费。")
(documentation AppleAppStore JapaneseLanguage "お客様が、デバイスに役立つコンピュータープログ
ラムをダウンロードできるソフトウェアとインターネットのサイト。一部は無料、その他は有料。")

(termFormat EnglishLanguage AppleAppStore "App store")
(termFormat ChineseTraditionalLanguage AppleAppStore "App 商店")
(termFormat ChineseLanguage AppleAppStore "App 商店")
(termFormat JapaneseLanguage AppleAppStore " App store ")
(termFormat EnglishLanguage AppleAppStore "Apple app store")
(termFormat ChineseTraditionalLanguage AppleAppStore "蘋果app 商店")
(termFormat ChineseLanguage AppleAppStore "蘋果app 商店")
(termFormat JapaneseLanguage AppleAppStore " Apple app store ")

(=>
  (and
    (instance ?A AppleAppStore)
    (programRunning ?P ?A)
    (computerRunning ?P ?C))
  (hasPurpose ?A
    (exists (?D)
      (and
        (instance ?D Downloading)
        (origin ?D ?C)))))

(subclass AppleID UserAccount)

(documentation AppleID EnglishLanguage "An Apple ID is a &%UserAccount that has a valid email
address, protected by a password set by the user that is a
case-sensitive alphanumeric string of at least eight characters. In
March 2013, Apple ID launched an optional two-step verification
security feature for authentication. When enabled, a second
verification step is required when using the Apple ID under certain
conditions, such as a web login, or making a Store purchase from a new
device. The feature uses the Find My iPhone service to send a
four-digit pin code to a trusted device associated with the Apple ID
when the second verification step is required for authentication.
Users can have different Apple IDs. Users can change their passwords
or personal information. Apple also allows users to change the name of
an Apple ID but users must contact Apple customer service to make such
a change.[from Wikipedia].")

(=>
  (and
    (instance ?AID AppleID)
    (password ?AID ?N)
    (equal ?L (StringLengthFn ?N)))
  (greaterThan ?L 7))
  
(=>
  (instance ?AID AppleID)
  (exists (?E)
    (and
      (instance ?E EmailAddress)
      (refers ?AID ?E))))

(=>
    (instance ?AID AppleID)
    (exists (?E)
      (and
        (instance ?E EmailAddress)
        (userName ?AID ?E))))

; EmailAddress from Media.kif 

(documentation EmailAddress EnglishLanguage "An email address
identifies an email box to which email messages are delivered. The term
'email address' refers to the addr-spec defined in RFC 5322. An email address such
as John.Smith@example.com is made up of a local-part, an @ symbol,
then a case-insensitive domain. [from Wikipedia]")

(subclass InternetDomain InternetAddress)

(instance EmailLocalPartFn UnaryFunction)
(documentation EmailLocalPartFn EnglishLanguage "The local part of an email,
which is typically a user's name or ID.")
(domain EmailLocalPartFn 1 EmailAddress)
(range EmailLocalPartFn SymbolicString)

(instance EmailDomainPartFn UnaryFunction)
(documentation EmailDomainPartFn EnglishLanguage "The domain part of an email.")
(domain EmailDomainPartFn 1 EmailAddress)
(range EmailDomainPartFn InternetDomain)

(documentation InternetDomain EnglishLanguage "The domain name part of
an email address has to conform to strict guidelines: it must match
the requirements for a hostname, a list of dot-separated DNS labels,
each label being limited to a length of 63 characters and consisting
of uppercase and lowercase Latin letters A to Z and a to z;
digits 0 to 9, provided that top-level domain names are not
all-numeric; hyphen -, provided that it is not the first or last
character. [from Wikipedia]")
  
(instance ipOfDomain BinaryPredicate)
(documentation ipOfDomain EnglishLanguage "The &%IPAddress of a given
InternetDomain.  Note that an ip address may have several different domain
names.")
(domain ipOfDomain 1 IPAddress)
(domain ipOfDomain 2 InternetDomain)

(termFormat EnglishLanguage AppleID "Apple ID")
(termFormat ChineseTraditionalLanguage AppleID "蘋果ID")
(termFormat ChineseLanguage AppleID "苹果ID")
(termFormat JapaneseLanguage AppleID "Apple ID")

(subclass AppleStore CommercialUnit)
(termFormat EnglishLanguage AppleStore "Apple Store")
(termFormat ChineseTraditionalLanguage AppleStore "蘋果商店")
(termFormat ChineseLanguage AppleStore "苹果商店")
(termFormat JapaneseLanguage AppleStore "Apple Store")

(documentation AppleStore EnglishLanguage "A retail store where &%AppleComputer sells its products")
(documentation AppleStore ChineseTraditionalLanguage "一個零售商店，在那 &%AppleComputer 販賣該相關產品")
(documentation AppleStore ChineseLanguage "一个零售商店，在那
 &%AppleComputer 贩卖该相关产品")
(documentation AppleStore JapaneseLanguage "&%AppleComputerの小売店")

(=>
  (instance ?A AppleStore)
  (operator AppleComputer ?A))

(subclass AppleTV TelevisionReceiver)
(termFormat EnglishLanguage AppleTV "Apple TV")
(termFormat ChineseTraditionalLanguage AppleTV "蘋果 TV")
(termFormat ChineseLanguage AppleTV "苹果 TV")
(termFormat JapaneseLanguage AppleTV "Apple TV")

(documentation AppleTV EnglishLanguage "Apple TV is a digital media player and microconsole developed
and sold by Apple Inc. It is a small network appliance and entertainment device that can receive
digital data such as music, video, or the screen display from an Mac or iOS device from specific
sources and stream it to a television set or other video display. (from Wikipedia)")

(documentation AppleTV ChineseTraditionalLanguage " Apple TV是一款由蘋果公司所設計、
行銷和銷售的數位多媒體機上盒。它可用作播放來自iTunes Store、Netflix、YouTube、Flickr、MobileMe裡的線上內容或電腦上iTunes裡的多媒體檔案，並透過高解析度寬螢幕的電視機輸出影像。蘋果公司在2006年9月首次推出此產品，並於次年3月開始出貨。（資料來自維基百科）")

(documentation AppleTV ChineseLanguage " Apple TV是一款由苹果公司所设计、
行销和销售的数位多媒体机上盒。它可用作播放来自iTunes Store、Netflix、YouTube、Flickr、
MobileMe里的线上内容或电脑上iTunes里的多媒体档案，并透过高解析度宽萤幕的电视机输出影像。
苹果公司在2006年9月首次推出此产品，并于次年3月开始出货。（资料来自维基百科）")

(documentation AppleTV JapaneseLanguage "Apple TV（アップル ティーヴィー）は、アップルが開発・
販売するセットトップボックスである。2006年9月12日にコードネーム「iTV」（アイティーヴィー）として
発表された。家庭内でビデオ・コンテンツをiTunesからテレビへ無線LANあるいは有線LANを通して配信する
ことができる他、YouTubeの映像も見ることができる。また、2008年1月15日より、iTunes Storeから直接
コンテンツを購入したり、映画のレンタルもできるようになった。(ウィキペディア参照)")

(instance ATandTCorp Corporation)
(documentation ATandTCorp EnglishLanguage "AT&T Inc. is an American multinational conglomerate holding
company headquartered at Whitacre Tower in Downtown Dallas, Texas. It is the world's largest
telecommunications company, the largest provider of mobile telephone services, and the largest
provider of fixed telephone services in the United States through AT&T Communications. Since
June 14, 2018, it is also the parent company of mass media conglomerate WarnerMedia, making it
the world's largest media and entertainment company in terms of revenue. As of 2018, AT&T is
ranked #9 on the Fortune 500 rankings of the largest United States corporations by total
revenue. (from Wikipedia)")

(documentation ATandTCorp ChineseTraditionalLanguage " AT&T公司是美國最大的固網電話服務供應商及第一大的流動電話服務供應商，
此外還提供寬頻及收費電視服務。合共1.5億戶提供服務，當中8,510萬戶為無線用戶。西南貝爾公司創辦於1983年，
是根據美國政府與美國電話電報公司的反壟斷訴訟的判決，而成立的其中一間獨立公司。 1995年西南貝爾公司易名為SBC通訊公司，
再於2005年收購了美國電話電報公司並易名為AT&T公司，此外並繼承了原由美國電話電報公司所持有的商標及在紐約證券交易所的上市編碼T
（電話之意）。目前AT&T公司通過購買持有不少因1983年判決而剝離的資產。公司總部位於美國德州的達拉斯市中心。
AT&T公司榮獲2008年度的技術與研發艾美獎中的同軸電纜艾美獎（The Emmy Award for Coaxial cable technology）。
2011年3月20日AT&T宣布，已與德國電信達成協議收購其旗下T-Mobile美國分部，後被美國司法部否決。（資料來自維基百科）")

(documentation ATandTCorp ChineseLanguage " AT&T公司是美国最大的固网电话服务供应商及第一大的流动电话服务供应商，
此外还提供宽频及收费电视服务。合共1.5亿户提供服务，当中8,510万户为无线用户。西南贝尔公司创办于1983年，
是根据美国政府与美国电话电报公司的反垄断诉讼的判决，而成立的其中一间独立公司。 1995年西南贝尔公司易名为SBC通讯公司，
再于2005年收购了美国电话电报公司并易名为AT&T公司，此外并继承了原由美国电话电报公司所持有的商标及在纽约证券交易所的上市编码T
（电话之意）。目前AT&T公司通过购买持有不少因1983年判决而剥离的资产。公司总部位于美国德州的达拉斯市中心。
AT&T公司荣获2008年度的技术与研发艾美奖中的同轴电缆艾美奖（The Emmy Award for Coaxial cable technology）。
2011年3月20日AT&T宣布，已与德国电信达成协议收购其旗下T-Mobile美国分部，后被美国司法部否决。（资料来自维基百科）")

(documentation ATandTCorp EnglishLanguage " AT&T Inc.（エイ ティ アンド ティ）は、アメリカ
合衆国の情報通信・メディアコングロマリット。米国最大手の電話会社であるAT&T地域電話会社およびAT&T
コミュニケーションズとメディア企業のワーナーメディアを傘下に収める持株会社である。子会社を通じて、
固定電話、携帯電話、インターネット接続、データ通信、情報通信システムに係るビジネスソリューションの
提供、IP放送、衛星テレビ、ケーブルテレビ、テレビ番組の製作・配信、映画の製作・配給、出版、デジ
タル・ターゲッティッド広告等の事業を行う。本社はテキサス州ダラスにあり、AT&Tとは旧社名The American
Telephone & Companyの略。(ウィキペディア参照)")

(documentation AVCTP EnglishLanguage "The Audio/Video Control Transport Protocol (AVCTP) is used
by the remote control profile to transfer AV/C commands over an L2CAP channel. The music control
buttons on a stereo headset use this protocol to control the music player.")
(documentation AVCTP ChineseTraditionalLanguage "影/音 控制傳輸協議 (AVCTP)
是被是用在遠端控制透過L2CAP通道對AV/C傳送指令。 在 stereo 耳機上的音樂控制使用這機制去控制音樂撥放器。")

(documentation AVCTP ChineseLanguage "影/音 控制传输协议 (AVCTP) 是被是用在远端控制透过L2CAP通道对AV/C传送指令。
在 stereo 耳机上的音乐控制使用这机制去控制音乐拨放器。")

(documentation AVCTP JapaneseLanguage "オーディオ/ビデオ制御トランスポートプロトコル（AVCTP）
はリモートコントロールプロファイルを使用し、L2CAPチャネルを介してAV / Cコマンドを転送するための
ものである。")

(subclass AVCTP ComputerProgram)
(termFormat EnglishLanguage AVCTP "AVCTP")
(termFormat ChineseTraditionalLanguage AVCTP "AVCTP")
(termFormat ChineseLanguage AVCTP "AVCTP")
(termFormat JapaneseLanguage AVCTP "AVCTP")

(termFormat EnglishLanguage AVCTP "Audio/Video Control Transport Protocol")
(termFormat ChineseTraditionalLanguage AVCTP "影/音控制傳輸協議")
(termFormat ChineseLanguage AVCTP "影/音控制传输协议")
(termFormat JapaneseLanguage AVCTP "オーディオ/ビデオ制御トランスポートプロトコル")

(subclass BannerNotification GUIElement)
(documentation BannerNotification EnglishLanguage "Banners are displayed for a short period of
time in the upper right corner of the Mac's screen, and then slide off to the right. The icon
of the application is displayed on the left side of the banner, while the message from the
application will be displayed on the right side.")

(documentation BannerNotification ChineseTraditionalLanguage "狀態列是被顯示在Mac
螢幕右上方角落持續一小段時間, 然後從右邊滑走. 應用程式的圖式是顯示在左邊的狀態列, 從應用程式的訊息將會被顯示在右邊。")
(documentation BannerNotification ChineseLanguage "状态列是被显示在Mac 萤幕右上方角落持续一小段时间,
然后从右边滑走. 应用程式的图式是显示在左边的状态列, 从应用程式的讯息将会被显示在右边。")

(documentation BannerNotification JapaneseLanguage "Macスクーンの右側上記の角に短時間バナーが
表示され、その後右側にスライドされる。バナーの左側にアイコンのアプリケーションが表示され、そして
右側にアプリケーションのメッセージが表示される。")


(termFormat EnglishLanguage BannerNotification "banner notification")
(termFormat ChineseTraditionalLanguage BannerNotification "訊息狀態列")
(termFormat ChineseLanguage BannerNotification "訊息狀態列")
(termFormat JapaneseLanguage BannerNotification "バナー通知")
(termFormat EnglishLanguage BannerNotification "banner")
(termFormat ChineseTraditionalLanguage BannerNotification "狀態列")
(termFormat ChineseLanguage BannerNotification "狀態列")
(termFormat JapaneseLanguage BannerNotification "バナー")

(subclass Firmware ComputerProgram)
(documentation Firmware EnglishLanguage "In computing, firmware is a specific class of computer
software that provides the low-level control for the device's specific hardware. Firmware can
either provide a standardized operating environment for the device's more complex software
(allowing more hardware-independence), or, for less complex devices, act as the device's complete
operating system, performing all control, monitoring and data manipulation functions. Typical
examples of devices containing firmware are embedded systems, consumer appliances, computers,
computer peripherals, and others. Almost all electronic devices beyond the simplest contain
some firmware. Firmware is held in non-volatile memory devices such as ROM, EPROM, or flash
memory. (from Wikipedia)")

(documentation Firmware ChineseTraditionalLanguage "韌體（英語：firmware），是一種嵌入在硬體裝置中的軟體。
通常它是位於特殊應用積體電路（ASIC）或可程式邏輯裝置（PLD）之中的快閃記憶體或EEPROM或PROM裡，有的可以讓使用者更新。
可以應用在非常廣泛的電子產品中，從遙控器、計算器到電腦中的鍵盤、硬盤，甚至工業機器人中都可見到它的身影。顧名思義，
韌體的所在是位於軟體和硬體之間的。像軟體一樣，他是一個被電腦所執行的程式。然而它是對於硬體內部而言更加貼近以及更加重要的部份，
而對於外在的世界而言較無重要的意義。（資料來自維基百科）")

(documentation Firmware ChineseLanguage "韧体（英语：firmware），是一种嵌入在硬体装置中的软体。
通常它是位于特殊应用积体电路（ASIC）或可程式逻辑装置（PLD）之中的快闪记忆体或EEPROM或PROM里，有的可以让使用者更新。
可以应用在非常广泛的电子产品中，从遥控器、计算器到电脑中的键盘、硬盘，甚至工业机器人中都可见到它的身影。顾名思义，
韧体的所在是位于软体和硬体之间的。像软体一样，他是一个被电脑所执行的程式。然而它是对于硬体内部而言更加贴近以及更加重要的部份，
而对于外在的世界而言较无重要的意义。（资料来自维基百科）")

(documentation Firmware JapaneseLanguage "ファームウェア (英: firmware) とは、電子機器に組み
込まれたコンピュータシステム（ハードウェア）を制御するためのソフトウェアで、ソフトウェアをROM等の
集積回路にあらかじめ書き込まれた状態で、機器に組み込んだもの。また、ソフトウェアではなく、プログラ
マブルロジックデバイスで利用する回路情報も広義のファームウェアと呼ぶことがある。フラッシュメモリの
登場により、筐体のふたを開けなくてもユーザーの手元で電子的な操作のみで書き替えが行えるISP（イン・
システム・プログラミング）ができるようになり、出荷後のアップデートが以前よりも比較的容易に行える
ようになった。(ウィキペディア参照)")

(termFormat EnglishLanguage Firmware "firmware")
(termFormat ChineseTraditionalLanguage Firmware "韌體")
(termFormat ChineseLanguage Firmware "韧体")
(termFormat JapaneseLanguage Firmware "ファームウェア")

(subclass BasebandForIPhone Firmware)
(=>
  (and
    (instance ?B BasebandForIPhone)
    (instance ?I AppleIPhone))
  (runsOn ?B ?I))

(documentation BasebandForIPhone EnglishLanguage "The Firmware for the &%AppleIPhone.")
(documentation BasebandForIPhone ChineseTraditionalLanguage "對於
 &%AppleIPhone 的韌體.")
(documentation BasebandForIPhone ChineseLanguage "对于 &%AppleIPhone 的韧体.")
(documentation BasebandForIPhone JapaneseLanguage "&%AppleIPhoneのファームウェア")

(termFormat EnglishLanguage BasebandForIPhone "baseband")
(termFormat ChineseTraditionalLanguage BasebandForIPhone "基帶")
(termFormat ChineseLanguage BasebandForIPhone "基带")
(termFormat JapaneseLanguage BasebandForIPhone "ベースバンド")

; Blog - in ComputerInput.kif

(documentation Bookmarklet EnglishLanguage "A bookmarklet is a bookmark stored in a web
browser that contains JavaScript commands that add new features to the browser. Bookmarklets
are unobtrusive JavaScripts stored as the URL of a bookmark in a web browser or as a hyperlink
on a web page. (from Wikipedia)")

(documentation Bookmarklet ChineseTraditionalLanguage "小書籤（bookmarklet），又叫書籤小程序，
是一種小型的程序，以網址（URL）的形式被存為瀏覽器中的書籤，也可以是網頁上的一個鏈接。小書籤的英文名，
Bookmarklet是由Bookmark和Applet組合而來。無論小書籤如何以什麼形式儲存，它們都是用來對瀏覽器或是網頁添加一些特定功能的。
點擊時，小書籤會執行這些操作，包括執行搜索，導出數據等等。小書籤一般是JavaScript程式。（資料來自維基百科）")

(documentation Bookmarklet ChineseLanguage "小书签（bookmarklet），又叫书签小程序，是一种小型的程序，
以网址（URL）的形式被存为浏览器中的书签，也可以是网页上的一个链接。小书签的英文名，Bookmarklet是由Bookmark和Applet组合而来。
无论小书签如何以什么形式储存，它们都是用来对浏览器或是网页添加一些特定功能的。 点击时，小书签会执行这些操作，包括执行搜索，
导出数据等等。小书签一般是JavaScript程式。（资料来自维基百科）")

(documentation Bookmarklet JapaneseLanguage "ブックマークレット (Bookmarklet) とは、ユーザーが
ウェブブラウザのブックマークなどから起動し、なんらかの処理を行う簡易的なプログラムのことである。
携帯電話のウェブブラウザで足りない機能を補ったり、ウェブアプリケーションの処理を起動する為に使わ
れることが多い。(ウィキペディア参照)")

(subclass Bookmarklet ComputerProgram)
(termFormat EnglishLanguage Bookmarklet "bookmarklet")
(termFormat ChineseTraditionalLanguage Bookmarklet "小書籤")
(termFormat ChineseLanguage Bookmarklet "小书签")
(termFormat JapaneseLanguage Bookmarklet "ブックマークレット")

(subclass CalendarText Text)
(documentation CalendarText EnglishLanguage "A &%representation of one or more &%Days in a
tabular form.  It generally has groupings by week, month or year.")
(documentation CalendarText ChineseTraditionalLanguage "&%representation 是以一或多 &%Days 的表格方式呈現. 它通常是以周,月,年 來區分。")
(documentation CalendarText ChineseLanguage "&%representation 是以一或多 &%Days 的表格方式呈现. 它通常是以周,月,年 来区分。")
(documentation CalendarText JapaneseLanguage "表形式の1つ以上の＆％Daysの＆％representation。
通常、週、月、または年ごとにグループ分けされている。")

(=>
  (instance ?C CalendarText)
  (exists (?D)
    (and
      (instance ?D Day)
      (refers ?C ?D))))

(termFormat EnglishLanguage CalendarText "calendar")
(termFormat ChineseTraditionalLanguage CalendarText "日曆")
(termFormat ChineseLanguage CalendarText "日历")
(termFormat JapaneseLanguage CalendarText "カレンダー")

(subclass CalendaringProgram ComputerProgram)
(documentation CalendaringProgram EnglishLanguage "A &%ComputerProgram that allows users to
render calendars and usually manage events and appointments.")
(documentation CalendaringProgram ChineseTraditionalLanguage "&%ComputerProgram 允許使用者給予跟通常管理行程和會面。")
(documentation CalendaringProgram ChineseLanguage "&%ComputerProgram 允许使用者给予跟通常管理行程和会面。")
(documentation CalendaringProgram JapaneseLanguage "ユーザーがカレンダーをレンダリングし、
通常イベントと予定を管理できる&%ComputerProgram。")

(termFormat EnglishLanguage CalendaringProgram "calendar")
(termFormat ChineseTraditionalLanguage CalendaringProgram "日曆")
(termFormat ChineseLanguage CalendaringProgram "日历")
(termFormat EnglishLanguage CalendaringProgram "カレンダー")

(=>
  (instance ?C CalendaringProgram)
  (hasPurpose ?C
    (exists (?T ?P)
      (and
        (instance ?T CalendarText)
        (programRunning ?P ?C)
        (result ?P ?T)))))

(subclass CameraProgram ComputerProgram)
(documentation CameraProgram EnglishLanguage "A &%ComputerProgram that allows users to
manipulate images and/or videos.")
(documentation CameraProgram ChineseTraditionalLanguage "一个 &%ComputerProgram 它允許使用者編輯圖片 和/或是 影像。")
(documentation CameraProgram ChineseLanguage "A &%ComputerProgram 它允许使用者编辑图片 和/或是 影像。")
(documentation CameraProgram JapaneseLanguage "ユーザーが画像やビデオを操作できる
&%ComputerProgram。")

(termFormat EnglishLanguage CameraProgram "camera")
(termFormat ChineseTraditionalLanguage CameraProgram "照相機")
(termFormat ChineseLanguage CameraProgram "照相机")
(termFormat JapaneseLanguage CameraProgram "カメラ")
(=>
  (instance ?C CameraProgram)
  (hasPurpose ?C
    (exists (?I ?P)
      (and
        (instance ?I Image)
        (programRunning ?P ?C)
        (patient ?P ?I)))))

;; Telecommunications - naics.kif
(termFormat EnglishLanguage Telecommunications "carrier")
(termFormat ChineseTraditionalLanguage Telecommunications "傳遞者")
(termFormat ChineseLanguage Telecommunications "传递者")
(termFormat JapaneseLanguage Telecommunications "キャリヤ")

(documentation ConsumerElectronicsShow EnglishLanguage "CES (formerly an acronym for
Consumer Electronics Show) is an annual trade show organized by the Consumer Technology
Association (CTA). Held in January at the Las Vegas Convention Center in Las Vegas,
Nevada, United States, the event typically hosts presentations of new products and
technologies in the consumer electronics industry. (from Wikipedia)")

(documentation ConsumerElectronicsShow ChineseTraditionalLanguage "消費電子展（英語：Consumer
Electronics Show，簡稱：CES）是一個知名國際性電子產品和科技的貿易展覽會，每年吸引來自世界各地的主要公司和業界專門人士參加。
消費型電子展每年1月於美國內華達州的拉斯維加斯會議中心舉行。展覽由消費電子協會贊助，並不開放一般民眾入場，
展覽期間通常會舉行多場產品預覽會和新產品發表會。在2015年5月，亞洲消費性電子展（CES Asia）首度於中國上海市舉行。
2016年時，主辦單位將展覽名稱中原有的「國際」（International）去除，簡化名稱為「CES」。（資料來自維基百科）")

(documentation ConsumerElectronicsShow ChineseLanguage "CES (消费电子展（英语：Consumer Electronics Show，
简称：CES）是一个知名国际性电子产品和科技的贸易展览会，每年吸引来自世界各地的主要公司和业界专门人士参加。
消费型电子展每年1月于美国内华达州的拉斯维加斯会议中心举行。展览由消费电子协会赞助，并不开放一般民众入场，
展览期间通常会举行多场产品预览会和新产品发表会。在2015年5月，亚洲消费性电子展（CES Asia）首度于中国上海市举行。
2016年时，主办单位将展览名称中原有的「国际」（International）去除，简化名称为「CES」。（资料来自维基百科）")

(documentation ConsumerElectronicsShow JapaneseLanguage " CES（シーイーエス）は、毎年1月、
全米民生技術協会 (CTA) が主催し、ネバダ州ラスベガスで開催される電子機器の見本市である。業界向けの
見本市で、一般への公開はされていない。展示会には多くの新製品が出品され、プロトタイプ（試作品）も
多い。当初から長らく名称はConsumer Electronics Showだった。現在、CESではConsumer Electronics
Showとして紹介しないように公式に記している。 ラスベガス・コンベンションセンターを中心として開催
され、一部の特定分野は別会場となっている。(ウィキペディア参照)")

(subclass TradeShow FormalMeeting)
(subclass ConsumerElectronicsShow TradeShow)

(=>
  (instance ?CES ConsumerElectronicsShow)
  (located ?CES Countries-USA-provinces-Nevada-cities-LasVegas))  ;; term from mondial.kif

(=>
  (instance ?CES ConsumerElectronicsShow)
  (exists (?J)
    (and
      (instance ?J January)
      (during ?CES ?J))))

(subclass CocoaTouch ApplicationProgrammerInterface)
(documentation CocoaTouch EnglishLanguage "Cocoa Touch is a UI framework for building
software programs to run on iOS for the iPhone, iPod Touch, and iPad, watchOS for the
Apple Watch, and tvOS for the fourth-generation Apple TV, from Apple Inc. Cocoa Touch
provides an abstraction layer of iOS, the operating system for the iPhone, iPod Touch,
and iPad. Cocoa Touch is based on the macOS Cocoa API toolset and, like it, is
primarily written in the Objective-C language. Cocoa Touch allows the use of hardware
and features that are not found in macOS computers and are thus unique to the iOS range
of devices. Just like Cocoa, Cocoa Touch follows a Model-View-Controller (MVC) software
architecture. Cocoa Touch contains a different set of graphical control elements from
Cocoa. Tools for developing applications based on Cocoa Touch are included in the iOS
SDK. (from Wikipedia)")

(documentation CocoaTouch ChineseTraditionalLanguage "Cocoa Touch是蘋果電腦公司的用戶界面軟件框架，
用於在iOS操作系統上開發應用軟件來運行在iPhone, iPad和iPod Touch上。Cocoa Touch提供了iOS操作系統的抽象層。
Cocoa Touch基於 Mac OS X Cocoa API， 主要用 Objective-C程序語言寫成。相比Mac OS X上的Cocoa，Cocoa
Touch增加了支持iOS設備的硬件和功能。和Cocoa一樣, Cocoa Touch使用MVC軟件架構模式。Cocoa Touch具有不同於Cocoa的圖形控制組件。
iOS SDK包含了開發基於Cocoa Touch的應用軟件的工具。（資料來自維基百科）")

(documentation CocoaTouch ChineseLanguage "Cocoa Touch是苹果电脑公司的用户界面软件框架，
用于在iOS操作系统上开发应用软件来运行在iPhone, iPad和iPod Touch上。Cocoa Touch提供了iOS操作系统的抽象层。
Cocoa Touch基于 Mac OS X Cocoa API， 主要用 Objective-C程序语言写成。相比Mac OS X上的Cocoa，Cocoa
Touch增加了支持iOS设备的硬件和功能。和Cocoa一样, Cocoa Touch使用MVC软件架构模式。Cocoa
Touch具有不同于Cocoa的图形控制组件。 iOS SDK包含了开发基于Cocoa Touch的应用软件的工具。（资料来自维基百科）")

(documentation CocoaTouch JapaneseLanguage " Cocoa Touchは、iOSを使用しているスマートフォン
で動くフレームワークである。 Cocoa Touchは、Objective-CのFoundationフレームワークの上に、
iOSの固有機能をまとめたUIKitというフレームワークを搭載している。アップルから無償で使えるiPhone
SDKという開発キットの一部となっており、同ソフトで開発ができる。(ウィキペディア参照)")

(termFormat EnglishLanguage CocoaTouch "Cocoa Touch")
(termFormat ChineseTraditionalLanguage CocoaTouch "可可觸控")
(termFormat ChineseLanguage CocoaTouch "可可触控")
(termFormat JapaneseLanguage CocoaTouch "Cocoa Touch")

(creator CocoaTouch AppleComputerCorporation)

(instance TimCookOfApple Human)
(termFormat EnglishLanguage TimCookOfApple "Tim Cook")
(termFormat ChineseTraditionalLanguage TimCookOfApple "提姆·庫克")
(termFormat ChineseLanguage TimCookOfApple "提姆·库克")
(termFormat JapaneseLanguage TimCookOfApple "ティム・クック氏")

(holdsDuring (YearFn 2002) (coworker SteveJobsOfApple TimCookOfApple))

(instance SteveJobsOfApple Human)
(termFormat EnglishLanguage SteveJobsOfApple "Steve Jobs")
(termFormat ChineseTraditionalLanguage SteveJobsOfApple "史蒂芬·賈伯斯")
(termFormat ChineseLanguage SteveJobsOfApple "史蒂芬·贾伯斯")
(termFormat JapaneseLanguage SteveJobsOfApple "スティーブ・ジョブズ氏")

(holdsDuring (YearFn 1976) (coworker SteveJobsOfApple SteveWozniakOfApple))

(instance SteveWozniakOfApple Human)
(termFormat EnglishLanguage SteveWozniakOfApple "Steve Wozniak")
(termFormat ChineseTraditionalLanguage SteveWozniakOfApple "斯蒂夫·沃茲尼亞克")
(termFormat ChineseLanguage SteveWozniakOfApple "斯蒂夫·沃兹尼亚克")
(termFormat JapaneseLanguage SteveWozniakOfApple "スティーブ・ウｵズニアック氏")

(subclass CascadingStylesheets MarkupLanguage)
(termFormat EnglishLanguage CascadingStylesheets "CSS")
(termFormat ChineseTraditionalLanguage CascadingStylesheets "CSS")
(termFormat ChineseLanguage CascadingStylesheets "CSS")
(termFormat JapaneseLanguage CascadingStylesheets "CSS")

(termFormat EnglishLanguage CascadingStylesheets "Cascading Stylesheets")
(termFormat ChineseTraditionalLanguage CascadingStylesheets "層疊樣式表")
(termFormat ChineseLanguage CascadingStylesheets "层叠样式表")
(termFormat JapaneseLanguage CascadingStylesheets "カスケードスタイルシート")

(documentation CydiaPackageManager EnglishLanguage "Cydia is a package manager mobile app
for iOS that enables a user to find and install software not authorized by &%AppleComputer on
jailbroken iPhones, iPads and iPod touch devices. It also refers to digital distribution
platform for software on iOS accessed through Cydia software. Many of the software
packages available through Cydia are free of charge, although some require purchasing.
(from Wikipedia)")
(documentation CydiaPackageManager ChineseTraditionalLanguage " Cydia是一個讓用戶在越獄的iOS設備上查找和安裝各類軟件包，
包括軟件、系統修改、主題和鈴聲等的軟件管理器。 Cydia是高級包裝工具（APT）和dpkg的圖形界面前端，也是一個去中心化的軟件倉庫。
大多數Cydia中的軟件包都是免費的，但也有很多收費程序通過類似App Store的Cydia Store銷售。（資料來自維基百科）")

(documentation CydiaPackageManager ChineseLanguage " Cydia是一个让用户在越狱的iOS设备上查找和安装各类软件包，
包括软件、系统修改、主题和铃声等的软件管理器。 Cydia是高级包装工具（APT）和dpkg的图形界面前端，也是一个去中心化的软件仓库。
大多数Cydia中的软件包都是免费的，但也有很多收费程序通过类似App Store的Cydia Store销售。（资料来自维基百科）")

(documentation CydiaPackageManager JapaneseLanguage " Cydia ([sɪˈdi.ə])とは脱獄(Jailbreak)
したiPhone、iPod Touch、iPadで動作するサードパーティー製のiOS対応ダウンロード販売プラットフォー
ムを提供するアプリケーションソフトウェアで、ユーザーはパッケージソフトウェア（アプリケーションや
インターフェイスカスタマイズソフト、システムエクステンション含む）を検索しインストールできる。
Cydiaで配信されるソフトウェアの大多数は無料だが、App Storeと同様Cydia Storeにて購入できる有料の
ソフトウェアも多数ある。脱獄したデバイスをカスタマイズ（通常「tweaks」と称される）することを目的と
するソフトウェアが多数を占めている（App Storeでは自己完結型アプリケーションの配信は制限されて
いる）。(ウィキペディア参照)")

(subclass CydiaPackageManager App)
(termFormat EnglishLanguage CydiaPackageManager "Cydia")
(termFormat ChineseTraditionalLanguage CydiaPackageManager "Cydia")
(termFormat ChineseLanguage CydiaPackageManager "Cydia")
(termFormat JapaneseLanguage CydiaPackageManager "Cydia")

(instance DeviceFirmwareUpdateMode ComputerStatus)

(documentation DeviceFirmwareUpdateMode EnglishLanguage "A complex series of keypresses
allows an &%AppleComputer to enter a mode where its &%Firmware can be updated.")
(documentation DeviceFirmwareUpdateMode ChineseTraditionalLanguage "一連串按鍵的組合允許
&%AppleComputer 進入一個 &%Firmware 能被跟新的模式。")

(documentation DeviceFirmwareUpdateMode ChineseLanguage "一连串按键的组合允许 &%AppleComputer
进入一个 &%Firmware 能被跟新的模式。")

(documentation DeviceFirmwareUpdateMode JapaneseLanguage "＆％AppleComputerは一連の複雑な
キー入力をすると、&%Firmwareが 更新されるモードを入力する。")

(termFormat EnglishLanguage DeviceFirmwareUpdateMode "Device Firmware Update Mode")
(termFormat ChineseTraditionalLanguage DeviceFirmwareUpdateMode "裝置韌體更新模式")
(termFormat ChineseLanguage DeviceFirmwareUpdateMode "装置韧体更新模式")
(termFormat JapaneseLanguage DeviceFirmwareUpdateMode "デバイスファームウェア更新モード")

(termFormat EnglishLanguage DeviceFirmwareUpdateMode "DFU Mode")
(termFormat ChineseTraditionalLanguage DeviceFirmwareUpdateMode "DFU 模式")
(termFormat ChineseLanguage DeviceFirmwareUpdateMode "DFU 模式")
(termFormat JapaneseLanguage DeviceFirmwareUpdateMode "DFUモード")

(=>
  (attribute ?C DeviceFirmwareUpdateMode)
  (instance ?C AppleComputer))

(subclass GUIDock GUIElement)
(documentation GUIDock EnglishLanguage "A &%GUIElement of persistent &%Icons along one
side of the screen.")
(documentation GUIDock ChineseTraditionalLanguage "一個一連貫在螢幕一邊的 &%Icons 的 &%GUIElement。")
(documentation GUIDock ChineseLanguage "一个一连贯在萤幕一边的 &%Icons 的 &%GUIElement。")
(documentation GUIDock JapaneseLanguage "一側面の画面に沿った継続的な&%IconsのA &%GUIElement。")

(termFormat EnglishLanguage GUIDock "dock")
(termFormat ChineseTraditionalLanguage GUIDock "插槽")
(termFormat ChineseLanguage GUIDock "插槽")
(termFormat JapaneseLanguage GUIDock "ドック")

(=>
  (instance ?G GUIDock)
  (exists (?I ?P ?CP)
    (and
      (instance ?CP ComputerProgram)
      (programRunning ?P ?CP)
      (instance ?I Icon)
      (represents ?I ?P)
      (orientation ?I ?G Inside))))

(subclass ComputerPort EngineeringComponent)
(documentation ComputerPort EnglishLanguage "A 'female' electrical connection
consisting of several &%Wires in a specific shape and configuration that is
designed to carry a specific protocol of signals for transferring &%DigitalData.")
(documentation ComputerPort ChineseTraditionalLanguage "一個 ‘母’的電力端口其中包函幾個特殊形狀跟配置的
&%Wires 被設計用來攜帶傳送 &%DigitalData 的具體信號協定。")

(documentation ComputerPort ChineseLanguage "一个 ‘母’ 的电力端口其中包函几个特殊形状跟配置的
&%Wires 被设计用来携带传送 &%DigitalData 的具体信号协定。")

(documentation ComputerPort JapaneseLanguage "「雌型」電気接続は複数の特殊な形と設定の&%Wires
で構成され、&%DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。")

(termFormat EnglishLanguage ComputerPort "Computer Port")
(termFormat ChineseTraditionalLanguage ComputerPort "電腦端口")
(termFormat ChineseLanguage ComputerPort "电脑端口")
(termFormat JapaneseLanguage ComputerPort "コンピュータポート")

(termFormat EnglishLanguage ComputerPort "port")
(termFormat ChineseTraditionalLanguage ComputerPort "端口")
(termFormat ChineseLanguage ComputerPort "端口")
(termFormat JapaneseLanguage ComputerPort "ポート")

(=>
  (instance ?CP ComputerPort)
  (attribute ?CP FemaleConnector))

(subclass ComputerPlug EngineeringComponent)
(documentation ComputerPlug EnglishLanguage "A 'male' electrical connection
consisting of several &%Wires in a specific shape and configuration that is
designed to carry a specific protocol of signals for transferring &%DigitalData.")

(documentation ComputerPlug ChineseTraditionalLanguage "一個 ‘公’ 的電力端口其中包函幾個特殊形狀跟配置的
&%Wires 被設計用來攜帶傳送 &%DigitalData 的具體信號協定.")

(documentation ComputerPlug ChineseLanguage "一个 ‘公’ 的电力端口其中包函几个特殊形状跟配置的 &%Wires
被设计用来携带传送 &%DigitalData 的具体信号协定.")

(documentation ComputerPlug JapaneseLanguage "「雄型」電気接続は複数の特殊な形と設定の&%Wires
で構成され、&%DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。")

(termFormat EnglishLanguage ComputerPlug "computer plug")
(termFormat ChineseTraditionalLanguage ComputerPlug "電腦插頭")
(termFormat ChineseLanguage ComputerPlug "电脑插头")
(termFormat JapaneseLanguage ComputerPlug "コンピュータプラグ")
(termFormat EnglishLanguage ComputerPlug "plug")
(termFormat ChineseTraditionalLanguage ComputerPlug "插頭")
(termFormat ChineseLanguage ComputerPlug "插头")
(termFormat JapaneseLanguage ComputerPlug "プラグ")

(=>
  (instance ?CP ComputerPlug)
  (attribute ?CP MaleConnector))

(=>
  (instance ?CP ComputerPlug)
  (hasPurpose ?CP
    (exists (?P)
      (and
        (instance ?P ComputerPort)
        (connectedEngineeringComponents ?CP ?P)))))

(instance LineFn BinaryFunction)
(documentation LineFn EnglishLanguage "A &%Function that returns a line drawn
between two point-like objects.")
(documentation LineFn ChineseTraditionalLanguage "&%Function 傳回兩個類似點物件之間的線。")
(documentation LineFn ChineseLanguage "&%Function 传回两个类似点物件之间的线。")
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す
＆％Function。")

(domain LineFn 1 Object)
(domain LineFn 2 Object)
(range LineFn Object)
(termFormat EnglishLanguage LineFn "line")
(termFormat ChineseTraditionalLanguage LineFn "線路")
(termFormat ChineseLanguage LineFn "线路")
(termFormat JapaneseLanguage LineFn "ライン")
(format EnglishLanguage LineFn "the line between %1 and %2")
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路")
(format ChineseLanguage LineFn "%1 和 %2 之间线路")
(format JapaneseLanguage LineFn "%1 と %2 間のライン")

(=>
  (and
    (equal ?L (LineFn ?P1 ?P2))
    (part ?OP1 ?L)
    (part ?OP2 ?L)
    (not
      (equal ?OP1 ?OP2))
    (equal ?L2 (LineFn ?OP1 ?OP2)))
  (part ?L2 ?L))

(instance Convex ShapeAttribute)
(documentation Convex EnglishLanguage "A &%ShapeAttribute that approximates the
mathematical ideal that a line drawn from any two points on the surface of the
object will be interior to the object.")

(documentation Convex ChineseTraditionalLanguage "&%ShapeAttribute 近似個數學概念,
一條畫在物件表面上的任何兩點之間的線苗素該物件之外廓。")

(documentation Convex ChineseLanguage "&%ShapeAttribute 近似个数学概念,
一条画在物件表面上的任何两点之间的线苗素该物件之外廓。")

(documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ
ジェクトの外部にある、と数学的理想値と概算する&%ShapeAttribute。")

(termFormat EnglishLanguage Convex "convex")
(termFormat ChineseTraditionalLanguage Convex "凸")
(termFormat ChineseLanguage Convex "凸")
(termFormat JapaneseLanguage Convex "凸")

(=>
  (and
    (attribute ?O Convex)
    (surface ?O ?S)
    (part ?P1 ?S)
    (part ?P2 ?S)
    (equal ?L
      (LineFn ?P1 ?P2))
    (not
      (equal ?P1 ?P2))
    (part ?PL ?L))
  (orientation ?PL ?O Inside))

(instance Concave ShapeAttribute)
(documentation Convex EnglishLanguage "A &%ShapeAttribute that approximates the
mathematical ideal that a line drawn from any two points on the surface of the
object will be interior to the object.")

(documentation Convex ChineseTraditionalLanguage "&%ShapeAttribute 近似個數學概念,
一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。")

(documentation Convex ChineseLanguage "&%ShapeAttribute 近似个数学概念，
一条画在物件表面上的任何两点之间的线苗素该物件之内廓。")

(documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ
クトの外部にある、と数学的理想値と概算する&%ShapeAttribute。")

(termFormat EnglishLanguage Concave "concave")
(termFormat ChineseTraditionalLanguage Concave "凹")
(termFormat ChineseLanguage Concave "凹")
(termFormat JapaneseLanguage Concave "凹")

(=>
  (and
    (attribute ?O Concave)
    (surface ?O ?S)
    (part ?P1 ?S)
    (part ?P2 ?S)
    (equal ?L
      (LineFn ?P1 ?P2))
    (not
      (equal ?P1 ?P2))
    (part ?PL ?L))
  (orientation ?PL ?O Outside))

(subclass ComputerCable EngineeringComponent)
(documentation ComputerPlug EnglishLanguage "An &%EngineeringComponent consisting
of a Cable with two ends that are either &%MaleConnectors or &%FemaleConnectors.")
(documentation ComputerPlug ChineseTraditionalLanguage "&%EngineeringComponent
包含一個有個兩端頭的線路,可能是 &%MaleConnectors 或 &%FemaleConnectors 。")

(documentation ComputerPlug ChineseLanguage "&%EngineeringComponent 包含一有个两端头的线路,
可能是 &%MaleConnectors 或 &%FemaleConnectors 。")

(documentation ComputerPlug JapaneseLanguage "両端のあるケーブルの&%EngineeringComponent
は&%MaleConnectorsもしくは&%FemaleConnectorsである。")

(termFormat EnglishLanguage ComputerCable "computer cable")
(termFormat ChineseTraditionalLanguage ComputerCable "電腦線")
(termFormat ChineseLanguage ComputerCable "电脑线")
(termFormat JapaneseLanguage ComputerCable "コンピュータケーブル")

(termFormat EnglishLanguage ComputerCable "cable")
(termFormat ChineseTraditionalLanguage ComputerCable "連接線")
(termFormat ChineseLanguage ComputerCable "连接线")
(termFormat JapaneseLanguage ComputerCable "ケーブル")

(=>
  (instance ?CC ComputerCable)
  (exists (?C)
    (and
      (instance ?C Cable)
      (part ?C ?CC))))

(=>
  (instance ?CC ComputerCable)
  (exists (?C1 ?C2)
    (and
      (instance ?C1 EngineeringComponent)
      (instance ?C2 EngineeringComponent)
      (not
        (equal ?C1 ?C2))
      (part ?C1 ?CC)
      (part ?C2 ?CC))))

(=>
  (and
    (instance ?CC ComputerCable)
    (not
      (instance ?C Cable))
    (part ?C ?CC))
  (or
    (instance ?C MaleConnector)
    (instance ?C FemaleConnector)))

(instance MaleConnector DeviceAttribute)
(documentation MaleConnector EnglishLanguage "An &%Attribute of a &%Device that is
designed to connect to another &%Device.  It has a &%Convex shape.  Note that this
attribute can apply to electrical devices, plumbing connectors and many other
&%EngineeringComponents.")

(documentation MaleConnector ChineseTraditionalLanguage "一個 &%Device 的 &%Attribute
被設計來連接另一個 &%Device。 它有個 &%Convex 形狀。 注意這個特性能應用在電器裝置, 水管接頭和很多其他
&%EngineeringComponents。")

(documentation MaleConnector ChineseLanguage "一个 &%Device 的 &%Attribute 被设计来连接另一个
&%Device。 它有个 &%Convex 形状。 注意这个特性能应用在电器装置, 水管接头和很多其他 &%EngineeringComponents。")

(documentation MaleConnector JapaneseLanguage "他の&%Deviceに接続してデザインされている
&%Deviceの&%Attribute。それは&%Convexである。ここで留意すべき点は、この&%Deviceの属性が、電気
機器、配管コネクタ、およびその他多くの&%EngineeringComponentsに適用できることである。")

(termFormat EnglishLanguage MaleConnector "male connector")
(termFormat ChineseTraditionalLanguage MaleConnector "公連接器")
(termFormat ChineseLanguage MaleConnector "公连接器")
(termFormat JapaneseLanguage MaleConnector "雄コネクタ")
(termFormat EnglishLanguage MaleConnector "公")
(termFormat ChineseTraditionalLanguage MaleConnector "公")
(termFormat ChineseLanguage MaleConnector "公")
(termFormat JapaneseLanguage MaleConnector "雄")

(=>
  (attribute ?M MaleConnector)
  (shape ?M Convex))

(instance FemaleConnector DeviceAttribute)
(documentation FemaleConnector EnglishLanguage "An &%Attribute of a &%Device that is
designed to connect to another &%Device.  It has a &%Concave shape. Note that this
attribute can apply to electrical devices, plumbing connectors and many other
&%EngineeringComponents.")

(documentation FemaleConnector ChineseTraditionalLanguage "一個 &%Device 的 &%Attribute
被設計來連接另一個 &%Device。 它有個 &%Concave 形狀。 注意這個特性能應用在電器裝置, 水管接頭和很多其他 &%EngineeringComponents。")

(documentation FemaleConnector ChineseLanguage "一个 &%Device 的 &%Attribute 被设计来连接另一个
&%Device。 它有个 &%Concave 形状。 注意这个特性能应用在电器装置, 水管接头和很多其他 &%EngineeringComponents。")

(documentation FemaleConnector JapaneseLanguage "他の&%Deviceに接続してデザインされている
&%Deviceの&%Attribute。それは&%Concaveである。ここで留意すべき点は、この&%Deviceの属性が、電気
機器、配管コネクタ、およびその他多くの&%EngineeringComponentsに適用できることである。")

(termFormat EnglishLanguage FemaleConnector "female connector")
(termFormat ChineseTraditionalLanguage FemaleConnector "母連接器")
(termFormat ChineseLanguage FemaleConnector "母连接器")
(termFormat JapaneseLanguage FemaleConnector "雌コネクタ")
(termFormat EnglishLanguage FemaleConnector "female")
(termFormat ChineseTraditionalLanguage FemaleConnector "母")
(termFormat ChineseLanguage FemaleConnector "母")
(termFormat JapaneseLanguage FemaleConnector "雌")

(=>
  (attribute ?M FemaleConnector)
  (shape ?M Concave))

(subclass USBProtocol ComputerProtocol)

(documentation USBProtocol EnglishLanguage "Universal Serial Bus (USB) is an industry
standard that establishes specifications for cables and connectors and protocols for
connection, communication and power supply between computers, peripheral devices and
other computers. Released in 1996, the USB standard is currently maintained by the
USB Implementers Forum (USB-IF). There have been three generations of USB
specifications: USB 1.x, USB 2.0 and USB 3.x; the fourth called USB4 is scheduled to
be published in the middle of 2019. (from Wikipedia)")

(documentation USBProtocol ChineseTraditionalLanguage "通用串行總線（英語：Universal Serial
Bus，縮寫：USB）是連接計算機系統與外部設備的一種串口總線標準，也是一種輸入輸出接口的技術規範，
被廣泛地應用於個人電腦和移動設備等信息通訊產品，並擴展至攝影器材、數字電視（機頂盒）、遊戲機等其它相關領域。
多媒體電腦剛問世時，外接式裝置的傳輸介面各不相同，如印表機只能接LPT、數據機只能接RS232、滑鼠鍵盤只能接PS/2等。
繁雜的介面系統，加上必須安裝驅動程式並重新開機才能使用的限制，都會造成使用者的困擾。因此，創造出一個統一且支援易插拔的外接式傳輸介面，
便成為無可避免的趨勢，USB應運而生。最新一代的USB是USB 3.2，傳輸速度為20Gbit/s，三段式電壓5V/12V/20V，最大供電100W。
另外僅有個別的USB Type-A、Micro-B以及新型USB Type-C接頭不再分正反。（資料來自維基百科）")

(documentation USBProtocol ChineseLanguage "通用串行总线（英语：Universal Serial Bus，缩写：USB）
是连接计算机系统与外部设备的一种串口总线标准，也是一种输入输出接口的技术规范，被广泛地应用于个人电脑和移动设备等信息通讯产品，
并扩展至摄影器材、数字电视（机顶盒）、游戏机等其它相关领域。多媒体电脑刚问世时，外接式装置的传输介面各不相同，
如印表机只能接LPT、数据机只能接RS232、滑鼠键盘只能接PS/2等。繁杂的介面系统，加上必须安装驱动程式并重新开机才能使用的限制，
都会造成使用者的困扰。因此，创造出一个统一且支援易插拔的外接式传输介面，便成为无可避免的趋势，USB应运而生。最新一代的USB是USB 3.2，
传输速度为20Gbit/s，三段式电压5V/12V/20V，最大供电100W。另外仅有个别的USB Type-A、Micro-B以及新型USB Type-C接头不再分正反。（资料来自维基百科）")

(documentation USBProtocol JapaneseLanguage "ユニバーサル・シリアル・バス（英語: Universal
Serial Bus、略称：USB、ユーエスビー）は、コンピュータ等の情報機器に周辺機器を接続するためのシリ
アルバス規格の1つである。(ウィキペディア参照)")

(termFormat EnglishLanguage USBProtocol "USB protocol")
(termFormat ChineseTraditionalLanguage USBProtocol "USB 協定")
(termFormat ChineseLanguage USBProtocol "USB 协定")
(termFormat JapaneseLanguage USBProtocol "USBプロトコル")
(termFormat EnglishLanguage USBProtocol "USB")
(termFormat ChineseTraditionalLanguage USBProtocol "USB")
(termFormat ChineseLanguage USBProtocol "USB")
(termFormat JapaneseLanguage USBProtocol "USB")

(instance protocolForConnector BinaryPredicate)
(domainSubclass protocolForConnector 2 EngineeringComponent)
(domainSubclass protocolForConnector 1 ComputerProtocol)

(subclass USBCable ComputerCable)
(documentation USBCable EnglishLanguage "A &%Cable that connects &%Computers and
&%Devices using the &%USBProtocol.")
(documentation USBCable ChineseTraditionalLanguage "&%Cable 利用 &%USBProtocol 連接 &%Computers 跟 &%Devices 。")
(documentation USBCable ChineseLanguage "&%Cable 利用 &%USBProtocol 连接 &%Computers 跟 &%Devices 。")
(documentation USBCable JapaneseLanguage "&%Cableは&%USBProtocolを使用すると&%Computersと
&%Devicesを接続する。")

(termFormat EnglishLanguage USBCable "USB cable")
(termFormat JapaneseLanguage USBCable "USB ケーブル")

(protocolForConnector USBProtocol USBCable)

(subclass USBPort ComputerPort)
(documentation USBPort EnglishLanguage "A &%ComputerPort designed to be connected to
a &%USBCable carrying messages that conform to the &%USBProtocol.")
(=>
  (instance ?U USBPort)
  (hasPurpose ?U
    (exists (?C)
      (and
        (instance ?C USBCable)
        (connectedEngineeringComponents ?C ?U)))))

(subclass AppleDockPort ComputerPort)
(termFormat EnglishLanguage AppleDockPort "Apple DockPort")
(termFormat ChineseTraditionalLanguage AppleDockPort "Apple 插槽")
(termFormat ChineseLanguage AppleDockPort "Apple 插槽")
(termFormat JapaneseLanguage AppleDockPort "Apple DockPort")

(termFormat EnglishLanguage AppleDockPort "DockPort")
(termFormat ChineseTraditionalLanguage AppleDockPort "插槽")
(termFormat ChineseLanguage AppleDockPort "插槽")
(termFormat JapaneseLanguage AppleDockPort "DockPort")

(subclass EarlyTerminationFeeClause Contract)

(documentation EarlyTerminationFeeClause EnglishLanguage "An early termination fee
is a charge levied when a party wants to break the term of an agreement or long-term
contract. They are stipulated in the contract or agreement itself, and provide an
incentive for the party subject to them to abide by the agreement. (from Wikipedia)")

(documentation EarlyTerminationFeeClause ChineseTraditionalLanguage "提前終止費用被徵收當一方想終止一項長期合約。
它們被規定在合約或是同意協議中,且當成一種激勵對於該方去遵守合約。")

(documentation EarlyTerminationFeeClause ChineseLanguage "提前终止费用被征收当一方想终止一项长期合约。
它们被规定在合约或是同意协议中,且当成一种激励对于该方去遵守合约。")

(documentation EarlyTerminationFeeClause JapaneseLanguage "早期解約手数料とは、当事者が契約の
期間または長期契約を破棄したい場合に徴収される料金である。それらは契約または契約自体に規定されて
おり、対象となる当事者が契約を順守するインセンティブである。")

(termFormat EnglishLanguage EarlyTerminationFeeClause "ETF")
(termFormat ChineseTraditionalLanguage EarlyTerminationFeeClause "ETF")
(termFormat ChineseLanguage EarlyTerminationFeeClause "ETF")
(termFormat JapaneseLanguage EarlyTerminationFeeClause "ETF")

(termFormat EnglishLanguage EarlyTerminationFeeClause "Early termination fee clause")
(termFormat ChineseTraditionalLanguage EarlyTerminationFeeClause "提前終止費用條款")
(termFormat ChineseLanguage EarlyTerminationFeeClause "提前终止费用条款
 ")
(termFormat JapaneseLanguage EarlyTerminationFeeClause "期限前契約解除の手数料の条項")

(subclass EDGENetwork CellNetwork)
(termFormat EnglishLanguage EDGENetwork "EDGE Network")
(termFormat ChineseTraditionalLanguage EDGENetwork "EDGE Network")
(termFormat ChineseLanguage EDGENetwork "EDGE Network")
(termFormat JapaneseLanguage EDGENetwork " EDGEネットワーク")

(subclass EVDONetwork CellNetwork)
(termFormat EnglishLanguage EVDONetwork "EVDO Network")
(termFormat ChineseTraditionalLanguage EVDONetwork "EVDO Network")
(termFormat ChineseLanguage EVDONetwork "EVDO Network")
(termFormat JapaneseLanguage EVDONetwork "EVDOネットワーク")

(subclass AppleFastAppSwitcher ComputerProgram)
(termFormat EnglishLanguage AppleFastAppSwitcher "Apple Fast App Switcher")
(termFormat ChineseTraditionalLanguage AppleFastAppSwitcher "蘋果快速 App切換器")
(termFormat ChineseLanguage AppleFastAppSwitcher "苹果快速 App切换器")
(termFormat JapaneseLanguage AppleFastAppSwitcher "Apple Fast App Switcher")

(instance AdobeComputerCorp Corporation)
(termFormat EnglishLanguage AdobeComputerCorp "Adobe Computer Corporation")
(termFormat ChineseTraditionalLanguage AdobeComputerCorp "Adobe 電腦公司")
(termFormat ChineseLanguage AdobeComputerCorp "Adobe 电脑公司")
(termFormat JapaneseLanguage AdobeComputerCorp "Adobe Computer Corporation")

(termFormat EnglishLanguage AdobeComputerCorp "Adobe")
(termFormat ChineseTraditionalLanguage AdobeComputerCorp "Adobe")
(termFormat ChineseLanguage AdobeComputerCorp "Adobe")
(termFormat JapaneseLanguage AdobeComputerCorp "Adobe")

(subclass AdobeFlashPlayer ComputerProgram)
(creator AdobeFlashPlayer AdobeComputerCorp)
(documentation AdobeFlashPlayer EnglishLanguage "Adobe Flash is a deprecated multimedia
software platform used for production of animations, rich Internet applications, desktop
applications, mobile applications, mobile games and embedded web browser video players.
Flash displays text, vector graphics and raster graphics to provide animations, video
games and applications. It allows streaming of audio and video, and can capture mouse,
keyboard, microphone and camera input. (from Wikipedia)")

(documentation AdobeFlashPlayer ChineseTraditionalLanguage "Adobe Flash（前稱Macromedia
Flash和Shockwave Flash；簡稱Flash），前身為FutureSplash，既指Adobe Flash Professional多媒體創作程序，
也指Adobe Flash Player。自從Macromedia公司於2005年12月3日被Adobe公司收購，Flash也就成為了Adobe旗下的軟體。
2011年11月9日，Adobe公司宣布停止開發個人電腦平台以外的Flash Player，而專注於開發非專利標示語言HTML5。
目前已經走向HTML和APP雙併行模式並在2014年技術趨於成熟。（資料來自維基百科）")

(documentation AdobeFlashPlayer ChineseLanguage "Adobe Flash（前称Macromedia Flash和Shockwave
Flash；简称Flash），前身为FutureSplash，既指Adobe Flash Professional多媒体创作程序，也指Adobe Flash
Player。自从Macromedia公司于2005年12月3日被Adobe公司收购，Flash也就成为了Adobe旗下的软体。
2011年11月9日，Adobe公司宣布停止开发个人电脑平台以外的Flash Player，而专注于开发非专利标示语言HTML5。
目前已经走向HTML和APP双并行模式并在2014年技术趋于成熟。（资料来自维基百科）")

(documentation AdobeFlashPlayer JapaneseLanguage " Adobe Flash（アドビ・フラッシュ）は、アド
ビシステムズが開発している動画やゲームなどを扱うための規格。元の開発会社はマクロメディアで旧称は
Macromedia Flash（マクロメディア・フラッシュ）。競合としては、Microsoft Silverlightがあったが、
両社とも現在はHTML5を推奨している。 かつてはFlash規格のアプリケーションを制作する同社のソフトウェ
ア群も「Adobe Flash (Macromedia Flash)」の名称で呼ばれていたが、2016年にAdobe Animateに名称を
変更した。そして2020年末にAdobeがFlash Playerの開発と配布を終了する予定であると発表した。
(ウィキペディア参照)")

(termFormat EnglishLanguage AdobeFlashPlayer "Adobe Flash")
(termFormat ChineseTraditionalLanguage AdobeFlashPlayer "Adobe Flash")
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash")
(termFormat JapaneseLanguage AdobeFlashPlayer "Adobe Flash")

(termFormat EnglishLanguage AdobeFlashPlayer "Adobe Flash Player")
(termFormat ChineseTraditionalLanguage AdobeFlashPlayer "Adobe Flash 播放器")
(termFormat ChineseLanguage AdobeFlashPlayer "Adobe Flash 播放器")
(termFormat JapaneseLanguage AdobeFlashPlayer "Adobe Flash Player")

(termFormat EnglishLanguage AdobeFlashPlayer "Flash Player")
(termFormat ChineseTraditionalLanguage AdobeFlashPlayer "Flash 播放器")
(termFormat ChineseLanguage AdobeFlashPlayer "Flash 播放器")
(termFormat JapaneseLanguage AdobeFlashPlayer "Flash Player")

(termFormat EnglishLanguage AdobeFlashPlayer "Flash")
(termFormat ChineseTraditionalLanguage AdobeFlashPlayer "Flash")
(termFormat ChineseLanguage AdobeFlashPlayer "Flash")
(termFormat JapaneseLanguage AdobeFlashPlayer "Flash")

(subclass FolderIcon Icon)
(documentation FolderIcon EnglishLanguage "A symbol of a paper file folder that is
used to represent a collection of &%ComputerDataFiles in a GUI.")

(documentation FolderIcon ChineseTraditionalLanguage "一個文件資料夾的符號用來表示在GUI 中
&%ComputerDataFiles 的系列。")

(documentation FolderIcon ChineseLanguage "一个文件资料夹的符号用来表示在GUI 中
&%ComputerDataFiles 的系列。")

(documentation FolderIcon JapaneseLanguage "用紙ファイルフォルダーのシンボルは
GUIで&%ComputerDataFilesのコレクションを表す。")

(termFormat EnglishLanguage FolderIcon "folder")
(termFormat ChineseTraditionalLanguage FolderIcon "資料夾")
(termFormat ChineseLanguage FolderIcon "资料夹")
(termFormat JapaneseLanguage FolderIcon "folder")
(=>
  (instance ?F FolderIcon)
  (hasPurpose ?F
    (exists (?CD)
      (and
        (instance ?CD ComputerDirectory)
        (represents ?F ?CD)))))

(subclass ForceQuit UserSignifiedAction)
(documentation ForceQuit EnglishLanguage "An action taken by the user to terminate an
application in an exception manner, rather than by selecting 'quit' in a menu or
letting the application terminate normally by itself.")
(documentation ForceQuit ChineseTraditionalLanguage "一個由使用者採取的例外性行動用來終結一個應用程式,
而不是藉由從選單上選擇 '退出' 或是讓應用程式正常自行終結。")

(documentation ForceQuit ChineseLanguage "一个由使用者采取的例外性行动用来终结一个应用程式,
而不是藉由从选单上选择 '退出' 或是让应用程式正常自行终结。")

(documentation ForceQuit JapaneseLanguage "ユーザーがアプリケーションを終了する際、実行する
アクションメニューで「終了」を選択したり、アプリケーションを単独で正常に終了させるのではなく、
例外的な方法でアプリケーションを終了させる。")

(termFormat EnglishLanguage ForceQuit "force quit")
(termFormat ChineseTraditionalLanguage ForceQuit "強迫終止")
(termFormat ChineseLanguage ForceQuit "强迫终止")
(termFormat JapaneseLanguage ForceQuit "〔アプリケーションの〕強制終了")

(=>
  (and
    (instance ?FQ ForceQuit)
    (refers ?FQ ?P)
    (programRunning ?P ?PROG))
  (exists (?A)
    (and
      (instance ?A Abort)
      (processAborted ?A ?P))))

(instance AppleGameCenter App)
(documentation AppleGameCenter EnglishLanguage "Game Center is an app released by Apple
that allows users to play and challenge friends when playing online multiplayer social
gaming network games. Games can now share multiplayer functionality between the
Mac and iOS versions of the app. (from Wikipedia)")

(documentation AppleGameCenter ChineseTraditionalLanguage "Game Center是一個由蘋果公司所創立的線上多人競賽網路遊戲中心。
它允許用戶邀請好友進行遊戲，或者透過線上配對來進行多人遊戲。 Game Center會記錄玩家的遊戲成績，還有一個玩家英雄榜，
將遊戲玩家的戰績排名。 Game Center最初於2010年4月8日發表，同年9月8日和11月，分別正式推出適用於iOS 4.1和使用iOS
4.2系統的iPad的軟體版本。 Game Center為配合iOS 5系統，於2011年10月進行了一次重大的更新，並開始支援回合製比賽。
從iOS10開始，Game Center將不再以應用的形式出現，而轉為一種服務。（資料來自維基百科）")

(documentation AppleGameCenter ChineseLanguage "Game Center是一个由苹果公司所创立的线上多人竞赛网路游戏中心。
它允许用户邀请好友进行游戏，或者透过线上配对来进行多人游戏。 Game Center会记录玩家的游戏成绩，还有一个玩家英雄榜，
将游戏玩家的战绩排名。 Game Center最初于2010年4月8日发表，同年9月8日和11月，分别正式推出适用于iOS 4.1和使用iOS
4.2系统的iPad的软体版本。 Game Center为配合iOS 5系统，于2011年10月进行了一次重大的更新，并开始支援回合制比赛。
从iOS10开始，Game Center将不再以应用的形式出现，而转为一种服务。（资料来自维基百科）")

(documentation AppleGameCenter JapaneseLanguage "Game Centerとはアップルが提供するオンライン
マルチプレイヤー（英語版）ソーシャルゲームネットワークである。ユーザーは友達を招待しマッチメイキ
ング、他人のスコアを追跡したり、リーダーボードでハイスコアを競い合うといったマルチプレイヤーゲー
ムをすることができる。2010年8月8日に発表され、iOS 4.1がリリースされた9月8日に一般公開され、
11月にはiPad上のiOS 4.2に対応した。2011年10月、iOS 5に対応する形でメジャーアップデートし、
ターンベースマッチへの対応が追加された。(ウィキペディア参照)")

(termFormat EnglishLanguage AppleGameCenter "game center")
(termFormat ChineseTraditionalLanguage AppleGameCenter "遊戲中心")
(termFormat ChineseLanguage AppleGameCenter "游戏中心")
(termFormat JapaneseLanguage AppleGameCenter "game center")


(subclass GeniusBar StationaryArtifact)
(=>
  (instance ?G GeniusBar)
  (hasPurpose ?G
    (exists (?M ?CS)
      (and
        (employs ?M AppleComputerCorporation)
        (instance ?CS CustomerSupport)
        (agent ?CS ?M)
        (located ?CS ?G)))))

(subclass GMail EmailProgram)
(termFormat EnglishLanguage GMail "GMail")
(termFormat ChineseTraditionalLanguage GMail "GMail")
(termFormat ChineseLanguage GMail "GMail")
(termFormat JapaneseLanguage GMail "GMail")

(creator GMail GoogleCorporation)

(subclass EmailProgram ComputerProgram)
(documentation EmailProgram EnglishLanguage "A &%ComputerProgram that enables &%Emailing .")
(documentation EmailProgram ChineseTraditionalLanguage "&%ComputerProgram 用來啟用 &%Emailing .")
(documentation EmailProgram ChineseLanguage "&%ComputerProgram 用来启用 &%Emailing.")
(documentation EmailProgram JapaneseLanguage "&%Emailingを有効にする&%ComputerProgram.")



(termFormat EnglishLanguage EmailProgram "email program")
(termFormat ChineseTraditionalLanguage EmailProgram "郵件程式")
(termFormat ChineseLanguage EmailProgram "邮件程式")
(termFormat JapaneseLanguage EmailProgram "（電子）メールソフト")

(termFormat EnglishLanguage EmailProgram "mailer")
(termFormat ChineseTraditionalLanguage EmailProgram "發信者")
(termFormat ChineseLanguage EmailProgram "发信者")
(termFormat JapaneseLanguage EmailProgram "メーラー")

(=>
  (instance ?EP EmailProgram)
  (hasPurpose ?EP
    (exists (?P ?E)
      (and
        (instance ?P ComputerProcess)
        (instance ?E Emailing)
        (instrument ?E ?P)
        (programRunning ?P ?EP)))))

(termFormat EnglishLanguage Emailing "emailing")
(termFormat ChineseTraditionalLanguage Emailing "電郵")
(termFormat ChineseLanguage Emailing "电邮")
(termFormat JapaneseLanguage Emailing "電子メール ")

(subclass IDeviceHomeButton SwitchDevice)
(documentation IDeviceHomeButton EnglishLanguage "A physical button on various Apple
devices that signals the operating system that the user wishes to go to the home
page of the system.")
(documentation IDeviceHomeButton ChineseTraditionalLanguage "一顆在多種蘋果產品上的實體按鈕它告訴系統使用者想回到系統的主葉面。")
(documentation IDeviceHomeButton ChineseLanguage "一颗在多种苹果产品上的实体按钮它告诉系统使用者想回到系统的主叶面。")
(documentation IDeviceHomeButton JapaneseLanguage "
さまざまなAppleデバイスの物理的なボタンでユーザーがシステムのホームページ行きたいことをオペレー
ティングシステムに通知する。")

(termFormat EnglishLanguage IDeviceHomeButton "home button")
(termFormat ChineseTraditionalLanguage IDeviceHomeButton "主頁按鈕")
(termFormat ChineseLanguage IDeviceHomeButton "主页按钮")
(termFormat JapaneseLanguage IDeviceHomeButton "ホームボタン")

(=>
  (instance ?I AppleIPhone)
  (exists (?B)
    (and
      (instance ?B IDeviceHomeButton)
      (initiallyContainsPart ?B ?I))))

(=>
  (instance ?I AppleIPad)
  (exists (?B)
    (and
      (instance ?B IDeviceHomeButton)
      (initiallyContainsPart ?B ?I))))

(=>
  (instance ?I AppleIPod)
  (exists (?B)
    (and
      (instance ?B IDeviceHomeButton)
      (initiallyContainsPart ?B ?I))))

(subclass ComputerDesktopImage Image)
(documentation ComputerDesktopImage EnglishLanguage "An &%Image that depicts
a metaphorical desktop. It's designed to hold icons for commonly used files
and applications.")

(documentation ComputerDesktopImage ChineseTraditionalLanguage "&%Image 苗素一個虛擬桌面。
設計來存放一般常用檔案跟應用程式的圖示。")

(documentation ComputerDesktopImage ChineseLanguage "&%Image 苗素一个虚拟桌面。
设计来存放一般常用档案跟应用程式的图示。")
(documentation ComputerDesktopImage JapaneseLanguage "隠喩的なデスクトップを描写する&%Image。
一般的に使用されるファイルとアプリケーションのアイコンを保持するように設計されている。")

(=>
  (instance ?CD ComputerDesktopImage)
  (hasPurpose ?CD
    (and
      (refers ?CD ?F)
      (or
        (instance ?F DigitalData)
        (instance ?F ComputerProgram)))))

(subclass HomeScreen ComputerDesktopImage)
(documentation HomeScreen EnglishLanguage "An image displayed in most modern devices
that depicts commonly used options for programs or configuration options on a
&%Computer.")
(documentation HomeScreen ChineseTraditionalLanguage "一個顯示在現代裝置裡的影像用來苗素在 &%Computer 一般常用的程式或配置選項。")
(documentation HomeScreen ChineseLanguage "一个显示在现代装置里的影像用来苗素在 &%Computer 一般常用的程式或配置选项。")
(documentation HomeScreen JapaneseLanguage "プログラムで一般的に使用されるオプションや、
&%Computerの設定オプションが描写されるほとんどの最新のデバイスはイメージが表示される。")

(termFormat EnglishLanguage HomeScreen "home screen")
(termFormat ChineseTraditionalLanguage HomeScreen "主頁面")
(termFormat ChineseLanguage HomeScreen "主頁面")
(termFormat JapaneseLanguage HomeScreen "ホームスクリーン")

(instance Booting ComputerStatus)
(termFormat EnglishLanguage Booting "booting")
(termFormat ChineseTraditionalLanguage Booting "啟動")
(termFormat ChineseLanguage Booting "啟動")
(termFormat JapaneseLanguage Booting "ブーティング")

(termFormat EnglishLanguage Booting "booting up")
(termFormat ChineseTraditionalLanguage Booting "啟動中")
(termFormat ChineseLanguage Booting "啟動中")
(termFormat JapaneseLanguage Booting "起動")

(documentation Booting EnglishLanguage "An &%Attribute that says that a &%Computer is
in the process of booting up, which means loading the operating system from some storage
medium and otherwise preparing for the start of normal activity.")

(documentation Booting ChineseTraditionalLanguage "&%Attribute 顯示 &%Computer
是在啟動過程中,代表正在讀取從記憶體裡的作業系統不然就是準備開始正常程序。")

(documentation Booting ChineseLanguage "&%Attribute 显示 &%Computer 是在启动过程中,
代表正在读取从记忆体里的作业系统不然就是准备开始正常程序。")

(documentation Booting JapaneseLanguage "&%Computerが起動プロセス中であることを示す
&%Attribute。これは、何らかのストレージ媒体からオペレーティングシステムをロードするか、通常の
活動の開始の準備という意味である。")

(disjointDecomposition ComputerStatus HostReady HostDown Booting)

(=>
  (attribute ?X Booting)
  (exists (?CD)
    (and
      (instance ?CD DigitalData)
      (instance ?OS OperatingSystem)
      (instance ?DT DataTransfer)
      (during ?DT ?X)
      (destination ?DT ?X)
      (part ?CD ?OS)
      (objectTransferred ?DT ?CD))))

(=>
  (and
    (holdsDuring ?T
      (attribute ?X Booting))
    (holdsDuring ?T2
      (attribute ?X HostReady))
    (equal ?T2 (ImmediateFutureFn (WhenFn ?T)))
    (instance ?DIS ComputerDisplay)
    (connectedEngineeringComponents ?DIS ?X))
  (modalAttribute
    (exists (?HS)
      (and
        (instance ?HS HomeScreen)
        (displayedUpon ?HS ?DIS)))
    Likely))

(subclass IBooks ComputerProgram)

(documentation IBooks EnglishLanguage "Apple Books, formerly iBooks, is an e-book reading
and store application by Apple Inc. for its iOS and macOS operating systems and devices.
With the release of iOS 8, it became an integrated app. It primarily receives EPUB content
from the iBooks Store, but users can also add their own EPUB and PDF files via data
synchronization with iTunes, Safari or Apple Mail. (from Wikipedia)")

(documentation IBooks ChineseTraditionalLanguage "Apple Books（前稱iBooks）是蘋果公司推出的一套專用於
Apple 設備上的電子書閱讀軟件。 iBooks最早於2010年1月17日與iPad一起發布，並於4月份iPad上市時同時面世。
iOS4發佈時宣布支持iPhone/iPod touch。 2013年11月15日 iBooks 針對 iOS 7 進行了更新，全新的設計十分精美，
意味著蘋果將 iOS 全面步入扁平化。 最初蘋果公司宣布iBooks只在美國發布，後來隨著iPad在海外的銷售陸續在英國、澳大利亞、
加拿大、法國、德國、意大利、日本、西班牙和瑞士發布。同時iBooks也在2010年5月於中國大陸的App Store上線，
而iPad在中國大陸銷售則在4個月之後，但2016年4月中國大陸區的iBooks在基於法律要求下關閉。在iOS 8正式版發布後，
iBooks預裝在該系統內，用戶無須另外在App Store購買並下載安裝。
2018年6月4日，蘋果宣布將iBooks更名為Apple Books，並重新設計了其iOS端軟件界面。 （資料來自維基百科）")

(documentation IBooks ChineseLanguage "Apple Books（前称iBooks）是苹果公司推出的一套专用于 Apple
设备上的电子书阅读软件。 iBooks最早于2010年1月17日与iPad一起发布，并于4月份iPad上市时同时面世。
iOS4发布时宣布支持iPhone/iPod touch。 2013年11月15日 iBooks 针对 iOS 7 进行了更新，全新的设计十分精美，
意味着苹果将 iOS 全面步入扁平化。
最初苹果公司宣布iBooks只在美国发布，后来随着iPad在海外的销售陆续在英国、澳大利亚、加拿大、法国、德国、意大利、
日本、西班牙和瑞士发布。同时iBooks也在2010年5月于中国大陆的App Store上线，而iPad在中国大陆销售则在4个月之后，
但2016年4月中国大陆区的iBooks在基于法律要求下关闭。
在iOS 8正式版发布后，iBooks预装在该系统内，用户无须另外在App Store购买并下载安装。 2018年6月4日，
苹果宣布将iBooks更名为Apple Books，并重新设计了其iOS端软件界面。 （资料来自维基百科）")

(documentation IBooks JapaneseLanguage " Apple Books（iOS 11までの名称はiBooks）とは、
アップルが提供する電子書籍アプリケーション。iOSの対応端末とOS X 10.9以降を搭載したMacに対応して
いる。2010年1月27日にiPadと共に発表され、2010年中頃にiOS 4へのアップデートをもってiPhoneとiPod
touchに対応した。基本はiBookstoreにあるEPUB形式のコンテンツをダウンロードして使用するが、
iTunesのデータ同期（英語版）機能を使って自身で作成したEPUBやPDFファイルを追加することも、
SafariやApple Mailを通してダウンロードしたファイルやマルチメディアを組み込んだ電子書籍を閲覧
することも可能である[1][3]。2010年3月時点の製品情報によれば、VoiceOverを使用して「任意の頁を
読む」ことができるという。(ウィキペディア参照)")

(termFormat EnglishLanguage IBooks "iBooks")
(termFormat ChineseTraditionalLanguage IBooks "iBooks")
(termFormat ChineseLanguage IBooks "iBooks")
(termFormat JapaneseLanguage IBooks "iBooks")

(termFormat EnglishLanguage IBooks "AppleBooks")
(termFormat ChineseTraditionalLanguage IBooks "AppleBooks")
(termFormat ChineseLanguage IBooks "AppleBooks")
(termFormat JapaneseLanguage IBooks "AppleBooks")

(creator IBooks AppleComputerCorporation)

(instance IBookstore WebSite)
(documentation IBookstore EnglishLanguage "Website for downloading Apple Books")
(documentation IBookstore ChineseTraditionalLanguage "用來下載蘋果書的網頁")
(documentation IBookstore ChineseLanguage "用来下载苹果书的网页")
(documentation IBookstore JapaneseLanguage "Apple Booksをダウンロードするウエブサイト")

(termFormat EnglishLanguage IBookstore "iBookstore")
(termFormat ChineseTraditionalLanguage IBookstore "iBookstore")
(termFormat ChineseLanguage IBookstore "iBookstore")
(termFormat JapaneseLanguage IBookstore "iBookstore")

(creator IBookstore AppleComputerCorporation)
(managedBy IBookstore AppleComputerCorporation)

(hasPurpose IBookstore
  (exists (?D)
    (and
      (instance ?D Downloading)
      (instrument ?D IBookstore)
      (instance ?T Text)
      (objectTransferred ?D ?T))))

(subclass ComputerSystem Collection)
(documentation ComputerSystem EnglishLanguage "A &%Collection of &%Computers
connected by a &%ComputerNetwork and possibly containing various &%ComputerIODevices.
This includes distributed &%WebSites, cloud servers and server farms.")

(termFormat EnglishLanguage ComputerSystem "computer system")

(=>
  (instance ?CS ComputerSystem)
  (exists (?C1 ?C2 ?CN)
    (and
      (instance ?C1 Computer)
      (instance ?C2 Computer)
      (instance ?CN ComputerNetwork)
      (member ?C1 ?CS)
      (member ?C2 ?CS)
      (member ?CN ?CS)
      (not
        (equal ?C1 ?C2))
      (connectedEngineeringComponents ?C1 ?CN)
      (connectedEngineeringComponents ?C2 ?CN))))
      
(instance ICloud ComputerSystem)

(documentation ICloud EnglishLanguage "iCloud is a cloud storage and cloud computing
service from Apple Inc. launched on October 12, 2011.
iCloud enables users to store data such as documents, photos, and music on remote
servers for download to iOS, macOS or Windows devices, to share and send data to other
users, and to manage their Apple devices if lost or stolen. (from Wikipedia)")

(documentation ICloud ChineseTraditionalLanguage "iCloud是蘋果公司所提供的雲端存儲和雲端計算服務，
初始空間有5GB，可以購買儲存空間。用戶能在iCloud中存儲音樂、照片、App資料、檔案、聯繫人和日曆等，
並將無線推送到用戶所有支持iCloud同步的設備上，而不用使用連接線來同步。
iCloud現在可以存儲第三方應用的數據並同步蘋果設備上。 （資料來自維基百科）")

(documentation ICloud ChineseLanguage "iCloud是苹果公司所提供的云端存储和云端计算服务，初始空间有5GB，
可以购买储存空间。用户能在iCloud中存储音乐、照片、App资料、档案、联系人和日历等，并将无线推送到用户所有支持iCloud同步的设备上，
而不用使用连接线来同步。 iCloud现在可以存储第三方应用的数据并同步苹果设备上。 （资料来自维基百科）")

(documentation ICloud JapaneseLanguage "iCloud（アイクラウド）は、アップルが提供しているクラ
ウドサービスである。(ウィキペディア参照)")

(managedBy ICloud AppleComputerCorporation)

(subclass IMessage ComputerProgram)

(documentation IMessage EnglishLanguage "iMessage is an instant messaging service
developed by Apple Inc. Launched in 2011, it is supported by the Messages application
in iOS 5 and later and OS X Mountain Lion and later. (from Wikipedia)")
(documentation IMessage ChineseTraditionalLanguage "iMessage是蘋果公司開發的一款即時通訊服務，
其客戶端稱作「訊息」（Messages），適用於iOS 5與OS X Mountain Lion以上的系統版本。 （資料來自維基百科）")
(documentation IMessage ChineseLanguage "iMessage是苹果公司开发的一款即时通讯服务，其客户端称作「讯息」（
Messages），适用于iOS 5与OS X Mountain Lion以上的系统版本。 （资料来自维基百科）")
(documentation IMessage JapaneseLanguage "iMessageとはアップルが開発したiOS 5以降とOS X
Mountain Lion以降で動作するインスタントメッセージサービスである。(ウィキペディア参照)")

(=>
  (instance ?IM IMessage)
  (hasPurpose ?IM
    (exists (?C)
      (and
        (instance ?C WrittenCommunication)
        (instrument ?C ?IM)))))

(subclass ITunes ComputerProgram)
(documentation ITunes EnglishLanguage "iTunes is a media player, media
library, Internet radio broadcaster, and mobile device management application developed
by Apple Inc. It was announced on January 9, 2001. It is used to play, download, and
organize digital multimedia files, including music and video, on personal computers
running the macOS and Windows operating systems. (from Wikipedia)")

(documentation ITunes ChineseTraditionalLanguage "iTunes是一款媒體播放器的應用程式，
2001年1月10日由蘋果電腦在舊金山的Macworld Expo推出，用來播放以及管理數位音樂與視訊檔案，
是最受歡迎的管理iPod與iOS設備檔案的主要工具之一。此外，iTunes能連線到iTunes Store
（在有網路連線且蘋果公司在當地有開放該服務的情況下），以便下載購買的數位音樂，音樂影片，電視節目，
iOS應用（在iOS 11推出後去除），各種Podcast以及標準長片。2015年起電腦端的Apple Music服務也被整合進了iTunes中。 （資料來自維基百科）")

(documentation ITunes ChineseLanguage "iTunes是一款媒体播放器的应用程式，
2001年1月10日由苹果电脑在旧金山的Macworld Expo推出，用来播放以及管理数位音乐与视讯档案，
是最受欢迎的管理iPod与iOS设备档案的主要工具之一。此外，iTunes能连线到iTunes Store
（在有网路连线且苹果公司在当地有开放该服务的情况下），以便下载购买的数位音乐，音乐影片，电视节目，
iOS应用（在iOS 11推出后去除），各种Podcast以及标准长片。2015年起电脑端的Apple Music服务也被整合进了iTunes中。 （资料来自维基百科）")

(documentation ITunes JapaneseLanguage "iTunes（アイチューンズ）は、アップルが開発及び配布し
ているメディアプレーヤーである。2001年1月に音楽再生・管理ソフトとしてリリースされ、iPodが発売され
てからはその管理ソフトウェアとしての役割を持つようになった。その後のバージョンアップで動画ファイル
の再生・管理やiTunes Storeへの接続機能が追加された。 当初は、WindowsからMacintoshへの'Switch'
（乗り換え）を促すという販売戦略から、Macintosh版のみを無償配布していた。その簡略化されたユーザ
インタフェースなどで、アップル製の周辺機器・ソフトウェアへの興味を持ってもらう戦略だった。その後
Windows版の無料配布を開始、iTunesを通してアップル流の操作感覚に親しんでもらい、iPodの購入とMac
への乗り換えを促すという方針に転換した。(ウィキペディア参照)")

(=>
  (instance ?I ITunes)
  (hasPurpose ?I
    (exists (?M ?D)
      (and
        (instance ?M MultimediaFile)
        (instance ?D Downloading)
        (objectTransferred ?D ?M)
        (instrument ?D ?I)))))

(subclass Jailbreaking ComputerProcess)

(documentation Jailbreaking EnglishLanguage "A jailbreak is the act or tool used to perform
the act of breaking out of a chroot or jail in UNIX-like operating systems or bypassing
digital rights management (DRM). In the former case, it allows the user to see files outside
of the filesystem that the administrator intends to make available to the application or
user in question. In the context of DRM, this allows the user to run arbitrarily defined
code on devices with DRM as well as break out of chroot-like restrictions. The term
originated with the iPhone/iOS jailbreaking community and has also been used as a term for
PlayStation Portable hacking; these devices have repeatedly been subject to jailbreaks,
allowing the execution of arbitrary code, and sometimes have had those jailbreaks disabled
by vendor updates. (from Wikipedia)")

(documentation Jailbreaking ChineseTraditionalLanguage "越獄（越獄）
是用於在類UNIX操作系統中擊破的chroot或監獄的限制或繞過數字版權管理（DRM）的行為或工具。在前一種情況下，
它允許用戶查看管理員計劃給應用程序或用戶使用的文件系統部分之外的文件。在DRM情況下，
這將允許用戶在具有DRM的設備上運行任意代碼，以及突破類似chroot環境的限制。該術語起源於iPhone / iOS的越獄社區，
並也被用於PlayStation Portable破解的術語。這些設備已經再遭到越獄從而為執行任意代碼，供應商的更新則在封堵這些越獄途徑。
iOS系統（包括iPhone，iPad和iPod touch）自發布以來都受到過越獄的嘗試，
並在隨著每個固件更新而修正與跟進.iOS越獄工具包含選項來安裝Cydia--一個第三方的App用於防止iOS越獄，
蘋果公司已對設備的啟動程式採用SHSH早期可越死固件。在未受限制的越獄中，iBoot環境被更改為執行一個boot
ROM漏洞，並允許提交對底層bootloader的補丁，或者hack內核以在SHSH檢查後轉交給越獄內核。 （資料來自維基百科）")

(documentation Jailbreaking ChineseLanguage "越狱（越狱）是用于在类UNIX操作系统中击破的chroot环境或监狱的限制或绕过数字版权管理
（DRM）的行为或工具。在前一种情况下，它允许用户查看管理员计划给应用程序或用户使用的文件系统部分之外的文件。
在DRM情况下，这将允许用户在具有DRM的设备上运行任意代码，以及突破类似chroot环境的限制。该术语起源于iPhone /
iOS的越狱社区，并且也被用于PlayStation Portable破解的术语。这些设备已经再遭到越狱从而为执行任意代码，
供应商的更新则在封堵这些越狱途径。iOS系统（包括iPhone，iPad和iPod touch）自发布以来都受到过越狱的尝试，
并在随着每个固件更新而修正与跟进.iOS越狱工具包含选项来安装Cydia--一个第三方的App用于防止iOS越狱，
苹果公司已对设备的启动程式采用SHSH早期可越死固件。在未受限制的越狱中，iBoot环境被更改为执行一个启动ROM漏洞，
并允许提交对底层bootloader的补丁，或者黑客内核以在SHSH检查后转交给越狱内核。 （资料来自维基百科）")

(documentation Jailbreaking JapaneseLanguage "ジェイルブレークとはUNIXのようなオペレーティング
システムやデジタル著作権管理をchrootもしくは脱獄する操作をしたり、また、そのツール自体のことである。
前者の場合、管理者がアプリケーションや問題のユーザ用に提示するファイルシステム外のファイルをユー
ザーが見ることができる。DRMという観点から、これによりユーザーはDRMでデバイスに任意に定義された
コードを作成し、chrootのような制限を解除する。この用語はiPhoneやiOSのジェールブレークコミュニ
ティに由来し、PlayStation Portableのハッキング用語としても使われている。これらのデバイスは任意な
コーデイングなどで何度となくジェイルブレークの問題対象となった為、時にはベンダーの更新によりジェー
ルブレークを無効にした。")

(termFormat EnglishLanguage Jailbreaking "jailbreak")
(termFormat ChineseTraditionalLanguage Jailbreaking "逃獄")
(termFormat ChineseLanguage Jailbreaking "逃獄")
(termFormat JapaneseLanguage Jailbreaking "ジェールブレーク")

(termFormat EnglishLanguage Jailbreaking "jailbreaking")
(termFormat ChineseTraditionalLanguage Jailbreaking "逃獄")
(termFormat ChineseLanguage Jailbreaking "逃獄")
(termFormat JapaneseLanguage Jailbreaking "ジェールブレーク")

(termFormat EnglishLanguage Jailbreaking "rooting")
(termFormat ChineseTraditionalLanguage Jailbreaking "植入")
(termFormat ChineseLanguage Jailbreaking "植入")
(termFormat JapaneseLanguage Jailbreaking "ルーティング")

(termFormat EnglishLanguage Jailbreaking "cracking")
(termFormat ChineseTraditionalLanguage Jailbreaking "粉碎")
(termFormat ChineseLanguage Jailbreaking "粉碎")
(termFormat JapaneseLanguage Jailbreaking "クラッキング")

(=>
  (and
    (instance ?J Jailbreaking)
    (instance ?D Computer)
    (patient ?J ?D)
    (manufacturer ?D ?C))
  (not
    (desires ?C
      (exists (?A)
        (agent ?J ?A)))))


(subclass ComputerBackingUp DataTransfer)
(subclass ComputerBackingUp Copying)
(subclass ComputerBackingUp ComputerProcess)
(documentation ComputerBackingUp EnglishLanguage "The &%Process of &%Copying &%DigitalData to
prevent loss of that data resulting from some error or accident in the future.")
(termFormat EnglishLanguage ComputerBackingUp "backup")

(=>
  (and
    (instance ?C ComputerBackingUp)
    (dataProcessed ?C ?DD)
    (instance ?DD DigitalData)
    (agent ?C ?A))
  (desires ?A
    (exists (?T)
      (and
        (earlier (WhenFn ?C) ?T)
        (holdsDuring (?T)
          (exists (?PROC)
            (and
              (instance ?PROC ComputerProcess)
              (capability ?PROC dataProcessed ?DD))))))))

(termFormat EnglishLanguage RestoringData "restore")

(subclass Flickering RadiatingVisibleLight)
(documentation Flickering EnglishLanguage "A &%Process in which the intensity of visible light
changes somewhat rapidly but at a tempo discernible by the &%Human &%Eye.")
(termFormat EnglishLanguage Flickering "flickering")

(=>
  (instance ?F Flickering)
  (exists (?T1 ?T2)
    (and
      (during ?T1 (WhenFn ?F))
      (holdsDuring ?T1
        (measure ?F (MeasureFn Lumen ?N1)))
      (during ?T2(WhenFn ?F))
      (holdsDuring ?T2
        (measure ?F (MeasureFn Lumen ?N2)))
      (not (equal ?T1 ?T2))
      (not (equal ?N1 ?N2)))))

(instance connectedPeripheral BinaryPredicate)
(domain connectedPeripheral 1 ComputerHardware)
(domain connectedPeripheral 2 Computer)

(documentation connectedPeripheral EnglishLanguage "A relationship between a &%ComputerOutputDevice
and &%Computer that they are physically and logically connected.  They should be able to perform
any communication and handshaking functions needed for normal operation.  For modern peripherals
this includes being 'mounted' or recognized as being present by the computer, with a device ID
in a table of available peripheral devices.")

(termFormat EnglishLanguage connectedPeripheral "connected peripheral")
(termFormat EnglishLanguage connectedPeripheral "%1 is a connected peripheral of %2")

(=>
  (and
    (connectedPeripheral ?COD ?C)
    (instance ?COD ComputerOutputDevice))
  (capability ?COD destination DataTransfer))

(=>
  (and
    (connectedPeripheral ?COD ?C)
    (instance ?COD ComputerInputDevice))
  (capability ?COD origin DataTransfer))

(subclass DevicePowerSupply ElectricDevice)
(subclass DevicePowerSupply DCPowerSource)

(documentation DevicePowerSupply EnglishLanguage "An &%ElectricDevice designed to take standard
alternating current home wall outlet power and converter to direct current at a lower voltage,
to match the needs of a particular &%Device or class of devices such as a kitchen appliance or
a &%Computer.")

(termFormat EnglishLanguage DevicePowerSupply "device power supply")

(=>
  (instance ?DPS DevicePowerSupply)
  (exists (?R)
    (and
      (instance ?R Rectifier)
      (part ?R ?DPS))))

(=>
  (instance ?DPS DevicePowerSupply)
  (exists (?T)
    (and
      (instance ?T Transformer)
      (part ?T ?DPS))))

(=>
  (instance ?DPS DevicePowerSupply)
  (hasPurpose ?DPS
    (exists (?AC)
      (and
        (instance ?AC ACPowerSource)
        (connectedEngineeringComponents ?DPS ?AC)))))

(subclass SoftwareInstallation DataTransfer)

(=>
  (and
    (instance ?I SoftwareInstallation)
    (dataProcessed ?I ?P)
    (instance ?P ComputerProgram)
    (destination ?I ?C))
  (hasPurpose ?I
    (exists (?PROC)
      (computerRunning ?PROC ?C))))

(=>
  (and
    (instance ?U SoftwareUnInstallation)
    (equal ?T2 (WhenFn ?U))
    (dataProcessed ?U ?P)
    (instance ?P ComputerProgram)
    (located ?U ?C))
  (exists (?I ?T1)
    (and
      (instance ?I SoftwareInstallation)
      (equal ?T1 (WhenFn ?I))
      (dataProcessed ?I ?P)
      (instance ?P ComputerProgram)
      (located ?I ?C)
      (earlier ?T1 ?T2))))

(instance maxDeviceOperatingTemp BinaryPredicate)
(domain maxDeviceOperatingTemp 1 Device)
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)

(termFormat EnglishLanguage maxDeviceOperatingTemp "maximum device operating temperature")
(format EnglishLanguage maxDeviceOperatingTemp "maximum device operating temperature of %1 is %2")
(documentation maxDeviceOperatingTemp EnglishLanguage "The maximum safe rated temperature at
which a device may be operated.  Operating the device in an environment above the temperature
is likely to result in a &%Damaging of the &%Device.")

(=>
  (holdsDuring ?T
    (and
      (maxDeviceOperatingTemp ?D 
        (MeasureFn ?T1 ?U))
      (instance ?U UnitOfTemperature)
      (located ?D ?A)
      (attribute ?D DeviceOn)
      (airTemperature ?A 
        (MeasureFn ?T2 ?U))
      (greaterThan ?T2 ?T1)))
  (modalAttribute
    (holdsDuring (ImmediateFutureFn ?T)
      (attribute ?D DeviceDamaged)) Likely))

(contraryAttribute DeviceOn DeviceOff)
(contraryAttribute DeviceOpen DeviceClosed)

(instance maxDeviceStorageTemp BinaryPredicate)
(domain maxDeviceStorageTemp 1 Device)
(domain maxDeviceStorageTemp 2 TemperatureMeasure)

(termFormat EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature")
(format EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature of %1 is %2")
(documentation maxDeviceStorageTemp EnglishLanguage "The maximum safe rated temperature at
which a device may be stored.  Storing the device in an environment above the temperature
is likely to result in a &%Damaging of the &%Device.")

(=>
  (holdsDuring ?T
    (and
      (maxDeviceStorageTemp ?D 
        (MeasureFn ?T1 ?U))
      (instance ?U UnitOfTemperature)
      (located ?D ?A)
      (attribute ?D DeviceOff)
      (airTemperature ?A 
        (MeasureFn ?T2 ?U))
      (greaterThan ?T2 ?T1)))
  (modalAttribute
    (holdsDuring (ImmediateFutureFn ?T)
      (attribute ?D DeviceDamaged)) Likely))

(instance minDeviceOperatingTemp BinaryPredicate)
(domain minDeviceOperatingTemp 1 Device)
(domain minDeviceOperatingTemp 2 TemperatureMeasure)

(termFormat EnglishLanguage minDeviceOperatingTemp "minimum device operating temperature")
(format EnglishLanguage minDeviceOperatingTemp "minimum device operating temperature of %1 is %2")
(documentation minDeviceOperatingTemp EnglishLanguage "The minimum safe rated temperature at
which a device may be operated.  Operating the device in an environment below the temperature
is likely to result in a &%Damaging of the &%Device.")

(=>
  (holdsDuring ?T
    (and
      (minDeviceOperatingTemp ?D 
        (MeasureFn ?T1 ?U))
      (instance ?U UnitOfTemperature)
      (located ?D ?A)
      (attribute ?D DeviceOn)
      (airTemperature ?A 
        (MeasureFn ?T2 ?U))
      (lessThan ?T2 ?T1)))
  (modalAttribute
    (holdsDuring (ImmediateFutureFn ?T)
      (attribute ?D DeviceDamaged)) Likely))

(instance minDeviceStorageTemp BinaryPredicate)
(domain minDeviceStorageTemp 1 Device)
(domain minDeviceStorageTemp 2 TemperatureMeasure)

(termFormat EnglishLanguage minDeviceStorageTemp "minimum device storage temperature")
(format EnglishLanguage minDeviceStorageTemp "minimum device storagqqqe temperature of %1 is %2")

(documentation minDeviceStorageTemp EnglishLanguage "The minimum safe rated temperature at
which a device may be stored.  Storing the device in an environment below the temperature
is likely to result in a &%Damaging of the &%Device.")

(=>
  (holdsDuring ?T
    (and
      (minDeviceStorageTemp ?D 
        (MeasureFn ?T1 ?U))
      (instance ?U UnitOfTemperature)
      (located ?D ?A)
      (attribute ?D DeviceOff)
      (airTemperature ?A 
        (MeasureFn ?T2 ?U))
      (lessThan ?T2 ?T1)))
  (modalAttribute
    (holdsDuring (ImmediateFutureFn ?T)
      (attribute ?D DeviceDamaged)) Likely))

(instance contrastRatio BinaryPredicate)
(domain contrastRatio 1 Object)
(domain contrastRatio 2 RationalNumber)
(termFormat EnglishLanguage contrastRatio "contrast ratio")
(format EnglishLanguage contrastRatio "the contrast ratio of %1 is %2")

(documentation contrastRatio EnglishLanguage "The contrast ratio is a property of a
display system, defined as the ratio of the luminance of the brightest color (white)
to that of the darkest color (black) that the system is capable of producing. A high
contrast ratio is a desired aspect of any display. It has similarities with dynamic
range. (from Wikipedia)")

(=>
  (and
    (measure ?P1 (MeasureFn ?N1 Lumen))
    (measure ?P2 (MeasureFn ?N2 Lumen))
    (part ?P1 ?O)
    (part ?P2 ?O)
    (not 
      (equal ?P1 ?P2))
    (greaterThan ?N1 ?N2)
    (equal (DivisionFn ?N1 ?N2) ?R)
    (contrastRatio ?O ?R))
  (not
    (exists (?P3 ?P4 ?N3 ?N4)
      (and
        (measure ?P3 (MeasureFn ?N3 Lumen))
        (measure ?P4 (MeasureFn ?N4 Lumen))
        (part ?P3 ?O)
        (part ?P4 ?O)
        (not 
          (equal ?P3 ?P4))
        (greaterThan ?N3 ?N4)
        (greaterThan (DivisionFn ?N3 ?N4) ?R)))))

(subclass LaptopScreenPart Device)

(documentation LaptopScreenPart EnglishLanguage "The half of a laptop
that contains the screen and possibly other electronics such as a camera.
Note that a touchscreen laptop might not have a keyboard (at least not
permanently attached).")

(termFormat EnglishLanguage LaptopScreenPart "clamshell")

(=>
  (instance ?LSP LaptopScreenPart)
  (hasPurpose ?LSP
    (exists (?L)
      (and
        (instance ?L Laptop)
        (part ?LSP ?L)))))

(subclass LaptopKeyboardPart Device)

(documentation LaptopKeyboardPart EnglishLanguage "The half of a laptop
that contains the keyboard and possibly other electronics such as a trackpad.
Note that although not every laptop has a keyboard part, every laptop should
have a screen.")

(termFormat EnglishLanguage LaptopKeyboardPart "keyboard")

(=>
  (instance ?LSP LaptopKeyboardPart)
  (hasPurpose ?LSP
    (exists (?L)
      (and
        (instance ?L Laptop)
        (part ?LSP ?L)))))

(subclass MountingADevice ComputerProcess)

(documentation MountingADevice EnglishLanguage "The &%ComputerProcess whereby
a &%Computer sets up a peripheral, getting any required information about
its presence and characteristics and setting up any data structures that are
required before its actual and intended use.")

(termFormat EnglishLanguage MountingADevice "mounting")

(=>
  (instance ?MD MountingADevice)
  (exists (?C ?P)
    (and
      (instance ?C Computer)
      (instance ?P ComputerIODevice)
      (patient ?MD ?C)
      (patient ?MD ?P)
      (holdsDuring (WhenFn ?MD)
        (connectedEngineeringComponents ?C ?P))
      (holdsDuring (ImmediateFutureFn (WhenFn ?MD))
        (connectedPeripheral ?P ?C)))))

(subclass SoftwareUpgrading SoftwareInstallation)
(documentation SoftwareUpgrading EnglishLanguage "Replacing software with
a later version of the same software")

(termFormat EnglishLanguage SoftwareUpgrading "software upgrading")
(termFormat EnglishLanguage SoftwareUpgrading "upgrading")
(termFormat EnglishLanguage SoftwareUpgrading "upgrade")
(termFormat EnglishLanguage SoftwareUpgrading "software upgrade")
(termFormat ChineseTraditionalLanguage SoftwareUpgrading "軟體更新")
(termFormat ChineseLanguage SoftwareUpgrading "软体更新")
(termFormat JapaneseLanguage SoftwareUpgrading "ソフトウェアの更新")

;
; this ComputerProgram is Abstract, it cannot be used with WhenFn which requires a Physical
; Jennie 10th May 2021
;(instance softwareVersion BinaryRelation)
;(documentation softwareVersion EnglishLanguage "The software in the first
;argument is a 'version' of the software in the second argument. Note that while
;this typically means they will share a lot of code, that's not strictly necessary
;as one version could be a complete rewrite of the other as long as they broadly share
;the same purpose.")
;
;(domain softwareVersion 1 ComputerProgram)
;(domain softwareVersion 2 ComputerProgram)
;
;(format EnglishLanguage softwareVersion "%1 is a later &%software version of %2")
;(termFormat EnglishLanguage softwareVersion "software version")
;
;(=>
;  (softwareVersion ?P1 ?P2)
;  (greaterThan (WhenFn ?P1) (WhenFn ?P2)))
;
;(=>
;  (softwareVersion ?P1 ?P2)
;  (modalAttribute
;    (exists (?L)
;      (and
;        (containsInformation ?L ?P1)
;        (containsInformation ?L ?P2)))
;    Likely))

(=>
  (and
    (instance ?SU SoftwareUpgrading)
    (patient ?SU ?C)
    (instance ?C Computer)
    (objectTransferred ?SU ?P)
    (instance ?P ComputerProgram))
  (exists (?POLD ?DSD)
    (and
      (instance ?POLD ComputerProgram)
      (instance ?DSD DataStorageDevice)
      (connectedPeripheral ?DSD ?C)
      (stored ?POLD ?DSD)
      (softwareVersion ?P ?POLD))))

(instance thirdPartyProduct TernaryPredicate)
(documentation thirdPartyProduct EnglishLanguage "A relationship between a product, a manufacturer and
a customer that states that the given product instance owned by the customer of the manufacturer was
not produced by that manufacturer.")

(domain thirdPartyProduct 1 Artifact)
(domain thirdPartyProduct 2 Organization)
(domain thirdPartyProduct 3 Agent)

(termFormat EnglishLanguage thirdPartyProduct "third party product")
(format EnglishLanguage thirdPartyProduct "%1 is a &%product owned by %3 but not manufactured by %2")

(=>
  (thirdPartyProduct ?ART ?ORG ?AG)
  (not
    (exists (?M)
      (and
        (instance ?M Making)
        (agent ?M ?ORG)
        (result ?M ?ART)))))

(=>
  (thirdPartyProduct ?ART ?ORG ?AG)
  (possesses ?AG ?ART))

(=>
  (thirdPartyProduct ?ART ?ORG ?AG)
  (customer ?ORG ?AG))

(instance deviceAccount BinaryPredicate)
(domain deviceAccount 1 UserAccount)
(domain deviceAccount 2 Computer)
(documentation deviceAccount EnglishLanguage "A &%UserAccount on a particular &%Computer.
it grants some degree of authority to use the resources of the computer once a &%LoggingIn
has been completed or if it is a machine without a required login then anyone can use it,
at least in some fashion, without credentials. A machine might have an open account with
one set of privileges and a different account, requiring a login, for a different set
of privileges.")

(subclass LoggingIn UserDirectAction)
(documentation LoggingIn EnglishLanguage "Supplying credentials in some form to a
&%Computer to access a &%UserAccount.  Note that this only covers successful attempts.
This covers actions such as supplying a user name and password, two-factor authentication
with a PIN and/or phone text message, a fingerprint reader, voice print, an iris or palm scan etc.")

(=>
  (and
    (instance ?LI LoggingIn)
    (agent ?LI ?U))
  (exists (?A)
    (hasAccount ?U ?A)))

(=>
  (and
    (instance ?LI LoggingIn)
    (hasAccount ?U ?A)
    (accountAtSite ?A ?S)
    (equal ?T (ImmediateFutureFn (WhenFn ?LI)))
    (agent ?LI ?U))
  (modalAttribute
    (holdsDuring ?T
      (exists (?P)
        (and
          (instance ?P ComputerProcess)
          (agent ?P ?U)
          (patient ?P ?S))))
    Possibility))

(=>
  (and
    (instance ?LI LoggingIn)
    (hasAccount ?U ?A)
    (deviceAccount ?A ?C)
    (equal ?T (ImmediateFutureFn (WhenFn ?LI)))
    (agent ?LI ?U))
  (modalAttribute
    (holdsDuring ?T
      (exists (?P)
        (and
          (instance ?P ComputerProcess)
          (agent ?P ?U)
          (instrument ?P ?C))))
    Possibility))

(subclass UserPasswordLogin LoggingIn)
(termFormat EnglishLanguage LoggingIn "login")
(termFormat EnglishLanguage LoggingIn "logging in")

(subclass LoginFailure UserDirectAction)
(=>
  (and
    (instance ?LF LoginFailure)
    (agent ?LF ?A)
    (hasAccount ?A ?AC))
  (holdsDuring (WhenFn ?LF)
    (not
      (exists (?L)
        (and
          (agent ?L ?A)
          (instance ?L LoggingIn)
          (patient ?L ?AC))))))

(subclass SupplyingFingerprint UserDirectAction)
(subclass SupplyingEyeScan UserDirectAction)

(subclass DHCPProtocol ComputerProtocol)
(documentation DHCPProtocol EnglishLanguage "The Dynamic Host
Configuration Protocol (DHCP) is a network management protocol used on
UDP/IP networks whereby a DHCP server dynamically assigns an IP
address and other network configuration parameters to each device on a
network so they can communicate with other IP networks. A DHCP
server enables computers to request IP addresses and networking
parameters automatically from the Internet service provider (ISP),
reducing the need for a network administrator or a user to manually
assign IP addresses to all network devices. [from Wikipedia]")
(termFormat EnglishLanguage DHCPProtocol "DHCP")

(subclass DHCPServer ComputerProcess)
(documentation DHCPServer EnglishLanguage "A &%ComputerProcess that is actively
running the &%DHCPProtocol and assigning &%IPAddresses to computers that
connect to the network.")
(termFormat EnglishLanguage DHCPServer "DHCP server")

(instance implementsProtocol BinaryPredicate)
(domain implementsProtocol 1 ComputerProgram)
(domain implementsProtocol 2 ComputerProtocol)

(documentation implementsProtocol EnglishLanguage "A &%Relation that
specifies that a &%ComputerProgram impelements and conforms to a given
&%ComputerProtocol.")
(subrelation implementsProtocol represents)
(format EnglishLanguage implementsProtocol "%1 &%implements %2")
(termFormat EnglishLanguage implementsProtocol "implements protocol")

(subclass DHCPProgram ComputerProgram)
(documentation DHCPProgram EnglishLanguage "A &%ComputerProgram that implements
the &%DHCPProtocol.")

(=>
  (instance ?DP DHCPProgram)
  (exists (?DPROTO)
    (and
      (instance ?DPROTO DHCPProtocol)
      (implementsProtocol ?DP ?DPROTO))))
      
(=>
  (instance ?D DHCPServer)
  (exists (?PROG ?C)
    (and
      (instance ?C Computer)
      (instance ?PROG DHCPProgram)
      (computerRunning ?D ?C)
      (programRunning ?D ?PROG))))
      
(subclass ChangingPassword UserDirectAction)
(documentation ChangingPassword EnglishLanguage "The &%Process of changing
the password associated with a particular &%UserAccount.")
(termFormat EnglishLanguage ChangingPassword "change password")

(=>
  (and
    (instance ?CP ChangingPassword)
    (agent ?CP ?A)
    (hasAccount ?A ?UA)    
    (password ?P1 ?UA))
  (holdsDuring 
    (ImmediateFutureFn (WhenFn ?CP))
    (exists (?P2)
      (and
        (instance ?P2 ComputerPassword)
        (not
          (equal ?P2 ?P1))
        (password ?P2 ?UA)))))

; ChangingUserName

(subclass ChangingUserName UserDirectAction)
(documentation ChangingUserName EnglishLanguage "The &%Process of changing
the user name associated with a particular &%UserAccount.")
(termFormat EnglishLanguage ChangingUserName "change user name")

(=>
  (and
    (instance ?CP ChangingUserName)
    (agent ?CP ?A)
    (hasAccount ?A ?UA)    
    (userName ?UA ?N1))
  (holdsDuring 
    (ImmediateFutureFn (WhenFn ?CP))
    (exists (?N2)
      (and
        (instance ?N2 UserName)
        (not
          (equal ?N2 ?N1))
        (userName ?UA ?N2)))))
        
; ChangingAccountInfo

(subclass ChangingAccountInfo UserDirectAction)
(documentation ChangingAccountInfo EnglishLanguage "The &%Process of changing
the information associated with a particular &%UserAccount.")
(termFormat EnglishLanguage ChangingAccountInfo "change account information")

(=>
  (and
    (instance ?CP ChangingAccountInfo)
    (agent ?CP ?A)
    (hasAccount ?A ?UA)    
    (accountInformation ?UA ?N1))
  (holdsDuring 
    (ImmediateFutureFn (WhenFn ?CP))
    (exists (?N2)
      (and
        (not
          (equal ?N2 ?N1))
        (accountInformation ?UA ?N2)))))
        
(subclass CreatingAnAccount UserDirectAction)
(documentation CreatingAnAccount EnglishLanguage "The &%Process of specifying
a user ID and password for a particular &%UserAccount.")

(termFormat EnglishLanguage CreatingAnAccount "creating an account")

(=>
  (and
    (instance ?CP CreatingAnAccount)
    (agent ?CP ?A))
  (holdsDuring 
    (ImmediateFutureFn (WhenFn ?CP))
    (exists (?UA ?P1 ?N)
      (and
        (hasAccount ?A ?UA)    
        (password ?P1 ?UA)
        (userName ?UA ?N)))))

(subrelation accountPhoneNumber accountInformation)
(instance accountPhoneNumber BinaryPredicate)
(domain accountPhoneNumber 1 UserAccount)
(domain accountPhoneNumber 2 TelecomNumber)

(instance accountUsed CaseRole)
(domain accountUsed 1 ComputerProcess)
(domain accountUsed 2 UserAccount)
(subrelation accountUsed patient)
(documentation accountUsed EnglishLanguage "The &%UserAccount used in a particular &%Process.")
(termFormat EnglishLanguage accountUsed "account used")
(format EnglishLanguage accountUsed "the &%accountUsed in %1 is %2")

(subclass NetworkMessaging Messaging)
(documentation NetworkMessaging EnglishLanguage "Any &%Messaging where the
mode of transmission is over a &%ComputerNetwork.")
(termFormat EnglishLanguage NetworkMessaging "network messaging")

(=>
  (instance ?NM NetworkMessaging)
  (exists (?CN)
    (and
      (instance ?CN ComputerNetwork)
      (instrument ?NM ?CN))))
      
(subclass Spamming NetworkMessaging)
(documentation Spamming EnglishLanguage "The &%Processing of sending unsolicited messages to a large
number of recipients.  Some recipients may decide, for example, they want the mail and buy a product advertised in
the mail so it need not be unwanted by all.  The mail need not sell a product, as it could be a
political advertisement.")
(termFormat EnglishLanguage Spamming "spamming")

(=>
  (and
    (instance ?S Spamming)
    (instance ?G GroupOfPeople)
    (memberCount ?G ?N)
    (destination ?S ?G))
  (modalAttribute
    (greaterThan ?N 100)
    Likely))

(=>
  (and
    (instance ?S Spamming)
    (result ?S ?SPAM)
    (instance ?S Spam)
    (instance ?H Human)
    (destination ?S ?H))
  (not
    (exists (?R)
      (and
        (instance ?R Requesting)
        (patient ?R ?SPAM)))))

(=>
  (and
    (instance ?S Spamming)
    (result ?S ?SPAM)
    (instance ?S Spam)
    (instance ?H Human)
    (destination ?S ?H))
  (not
    (modalAttribute
      (wants ?H ?SPAM)
      Likely)))

(subclass Spam Text)
(documentation Spam EnglishLanguage "An unsolicited message that is the result of &%Spamming.")
(termFormat EnglishLanguage Spam "spam")

(subclass Phishing Defrauding)
(documentation Phishing EnglishLanguage "A &%Defrauding in which the fraudster tries to obtain
private information of some value by false pretenses.  A typical scam is a message masquerading
as being from a company with which the victim already does business, saying that resetting
the victim's password is required, when then directs the victim to the fraudster's website where
the victim's password is captured.")

(termFormat EnglishLanguage Phishing "phishing")

(=>
  (instance ?P Phishing)
  (exists (?FS ?V ?M ?I)
    (and
      (instance ?M Communication)
      (origin ?M ?FS)
      (agent ?P ?FS)
      (destination ?M ?V)
      (instance ?I Formula)
      (knows ?V ?I)
      (not
        (desires ?V
          (knows ?FS ?I)))
      (desires ?FS
        (knows ?FS ?I)))))

(subclass FindMyIPhone ComputerProgram)
(subclass AppleFindMy FindMyIPhone)
(termFormat EnglishLanguage AppleFindMy "Find My")
(canRunOn AppleFindMy AppleIPhoneOS13)

(documentation FindMyIPhone EnglishLanguage "Find My iPhone was an app and service provided by Apple Inc.
that allowed remote location tracking of iOS devices, Mac computers, Apple Watch, and AirPods. It was
replaced by the app Find My in iOS 13. [from Wikipedia]")

(termFormat EnglishLanguage FindMyIPhone "Find My IPhone")
(termFormat EnglishLanguage FindMyIPhone "FMIP")

(=>
  (instance ?FMIP FindMyIPhone)
  (hasPurpose ?FMIP
    (exists (?A ?IP ?P ?L)
      (and
        (instance ?IP AppleIPhone)
        (instrument ?P ?FMIP)
        (agent ?P ?A)
        (patient ?P ?IP)
        (holdsDuring
          (ImmediatePastFn
            (WhenFn ?P))
          (not
            (knows ?A
              (located ?IP ?L))))
        (holdsDuring
          (ImmediateFutureFn
            (WhenFn ?P))
          (knows ?A
            (located ?IP ?L)))))))

(instance trustedDevice BinaryPredicate)
(domain trustedDevice 1 UserAccount)
(domain trustedDevice 2 Computer)
(documentation trustedDevice EnglishLanguage "A particular &%Computer is listed on a &%UserAccount as being
trusted.  This is a common security protocol that typically makes logging in to the device easier, while
adding some extra procedure, such as two-factor authentication, for a device not registered with the account.")
(termFormat EnglishLanguage trustedDevice "trusted device")
(format EnglishLanguage trustedDevice "%2 is a &%trusted device for %1")

(subclass TwoFactorLoggingIn LoggingIn)
(documentation TwoFactorLoggingIn EnglishLanguage "A &%Process of &%LoggingIn to a 
&%Computer that has an extra identity verification step beyond just entering a 
&%userName and &%password.")
(termFormat EnglishLanguage TwoFactorLoggingIn "two-factor login")

(=>
  (instance ?TF TwoFactorLoggingIn)
  (exists (?DE ?DD)
    (and
      (subProcess ?DE ?TF)
      (instance ?DE DataEntry)
      (instance ?DD DigitalData)
      (objectTransferred ?DE ?DD)
      (not
        (instance ?DD ComputerPassword))
      (not
        (instance ?DD UserName)))))
        
(documentation DataEntry EnglishLanguage "The &%Process of a &%ComputerUser
performing &%ContentDevelopment that results in &%DigitalData on a 
&%Computer.")
(termFormat EnglishLanguage DataEntry "data entry")
(subclass DataEntry UserDirectAction)
(subclass DataEntry ContentDevelopment)

(=>
  (instance ?DE DataEntry)
  (exists (?DD)
    (and
      (instance ?DD DigitalData)
      (agent ?DD ?A)
      (attribute ?A ComputerUser)
      (result ?DE ?DD))))
      
(instance loggedInDuring TernaryPredicate)
(domain loggedInDuring 1 Agent)
(domain loggedInDuring 2 UserAccount)
(domain loggedInDuring 3 TimeInterval)
(documentation loggedInDuring EnglishLanguage "A &%ComputerUser is
logged in to a &%UserAccount during a &%TimeInterval.")
(termFormat EnglishLanguage loggedInDuring "logged-in during")
(format EnglishLanguage loggedInDuring "%1 is logged-in to %2 during %3")

(=>
  (loggedInDuring ?A ?UA ?T)
  (exists (?L)
    (and
      (instance ?L LoggingIn)
      (agent ?L ?A)
      (patient ?L ?UA)
      (hasAccount ?A ?UA)
      (earlier ?T (WhenFn ?L)))))
    
(=>
  (loggedInDuring ?A ?UA ?T)
  (modalAttribute
    (holdsDuring ?T
      (exists (?P)
        (and
          (instance ?P ComputerProcess)
          (agent ?P ?A)
          (deviceAccount ?UA ?C)
          (instance ?C Computer)
          (computerRunning ?P ?C)
          (instrument ?P ?C)))) Possibility))
               
(subclass AccountSecurityType RelationalAttribute)
(documentation AccountSecurityType EnglishLanguage "The type of security
protocol used to log in to an account. This can refer to a modality
like a fingerprint or iris scan requirement, or a broader description
like two-factor authentication.")
(termFormat EnglishLanguage AccountSecurityType "account security type")

(instance TwoFactorAuthentication AccountSecurityType)
(documentation TwoFactorAuthentication EnglishLanguage "A &%Attribute of
account specifying that a &%TwoFactorLoggingIn action is required for
access.")
(termFormat EnglishLanguage TwoFactorAuthentication "two-factor authentication")

(=>
  (and
    (attribute ?AC TwoFactorAuthentication)
    (loggedInDuring ?A ?AC ?T))
  (exists (?TF)
    (and
      (instance ?TF TwoFactorLoggingIn)
      (agent ?TF ?A)
      (accountUsed ?TF ?AC)
      (earlier (WhenFn ?TF) ?T))))
      
(instance UserNamePasswordAuthentication AccountSecurityType)
(documentation UserNamePasswordAuthentication EnglishLanguage "A &%Attribute of
account specifying that &%LoggingIn requires only a user name
and password, rather than two-factor authentication, biometrics or
some other new method.")
(termFormat EnglishLanguage UserNamePasswordAuthentication "user and password authentication")  
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication)

(instance webPageURL BinaryPredicate)
(domain webPageURL 1 WebPage)
(domain webPageURL 2 UniformResourceLocator)
(documentation webPageURL EnglishLanguage "The &%UniformResourceLocator
at which a particular &%WebPage may be found.  Note that this is a relation
since the same page may be found at different locations.")
(format EnglishLanguage webPageURL "the &%URL of %1 is %2")
(termFormat EnglishLanguage webPageURL "url")

(instance urlString BinaryPredicate)
(domain urlString 1 UniformResourceLocator)
(domain urlString 2 SymbolicString)
(documentation urlString EnglishLanguage "The &%SymbolicString form of
a &%UniformResourceLocator.")
(format EnglishLanguage urlString "the &%URL of %1 is %2")
(termFormat EnglishLanguage urlString "url")

(subrelation accountInformation containsInformation)
(instance accountInformation BinaryPredicate)
(domain accountInformation 1 UserAccount)
(domain accountInformation 2 Proposition)
(documentation accountInformation EnglishLanguage "The &%UserAccount has
some information associated with it, such as a birthdate or mailing
address.")
(format EnglishLanguage accountInformation "the account %1 has &%information %2")
(termFormat EnglishLanguage accountInformation "account information")

(instance recoveryKey BinaryRelation)
(domain recoveryKey 1 SymbolicString)
(domain recoveryKey 2 UserAccount)
(documentation recoveryKey EnglishLanguage "A code that will allow a 
user to recover his or her password if the password is forgotten.  It is
essentially a password for the password.")
(format EnglishLanguage recoveryKey "the account %2 has &%recovery key %1")
 
(=>
  (and
    (hasAccount ?U ?AC)
    (password ?P ?AC)
    (deviceAccount ?AC ?D)
    (not
      (knows ?U
        (password ?P ?AC)))
    (knows ?U
      (recoveryKey ?S ?AC))
    (possesses ?U ?D))
  (modalAttribute
    (exists (?C)
      (and
        (instance ?C ChangingPassword)
        (patient ?C ?AC)
        (agent ?C ?U)))
    Possibility))
    
(subclass Forgetting PsychologicalProcess)
(documentation Forgetting EnglishLanguage "The &%PsychologicalProcess
whereby one at one time &%knows something and then no longer does.")
(termFormat EnglishLanguage Forgetting "forgetting")

(=>
  (and
    (instance ?F Forgetting)
    (experiencer ?F ?A))
  (exists (?P)
    (and
      (holdsDuring (ImmediateFutureFn (WhenFn ?F))
        (not
          (knows ?A ?P)))
      (holdsDuring (ImmediatePastFn (WhenFn ?F))
        (knows ?A ?P)))))

(documentation AccountDeactivated EnglishLanguage "A &%UserAccount is
deactivated and so while its information continues to be stored, it cannot
be accessed by a normal &%LoggingIn &%Process.")
(termFormat EnglishLanguage AccountDeactivated "account deactivated")       
(instance AccountDeactivated AccountAttribute)
(instance AccountActive AccountAttribute)

(documentation AccountActive EnglishLanguage "A &%UserAccount is
active - its information continues to be stored, and it can
be accessed by a normal &%LoggingIn &%Process.")
(termFormat EnglishLanguage AccountActive "account active")     

(contraryAttribute AccountDeactivated AccountActive)

(subclass ActivatingADeactivatedAccount DataEntry)
(documentation ActivatingADeactivatedAccount EnglishLanguage "A &%UserAccount is
made active from a deactivated state.")
(termFormat EnglishLanguage ActivatingADeactivatedAccount "activating a deactivated account")      
        
(=>
  (and
    (instance ?ACT ActivatingADeactivatedAccount)
    (instance ?AC UserAccount)
    (patient ?ACT ?AC))
  (and
    (holdsDuring (ImmediatePastFn (WhenFn ?ACT))
      (attribute ?AC AccountDeactivated))
    (holdsDuring (ImmediateFutureFn (WhenFn ?ACT))
      (attribute ?AC AccountActive))))    
    
(subclass DeactivatingAnAccount DataEntry)
(documentation DeactivatingAnAccount EnglishLanguage "A &%UserAccount is
made inactive.")
(termFormat EnglishLanguage DeactivatingAnAccount "de-activating an account")      
        
(=>
  (and
    (instance ?DEACT DeactivatingAnAccount)
    (instance ?AC UserAccount)
    (patient ?DEACT ?AC))
  (and
    (holdsDuring (ImmediateFutureFn (WhenFn ?DEACT))
      (attribute ?AC AccountDeactivated))
    (holdsDuring (ImmediatePastFn (WhenFn ?DEACT))
      (attribute ?AC AccountActive))))

(instance FailureFn UnaryFunction)
(documentation FailureFn EnglishLanguage "A &%Function that takes a
class of actions and returns a class of actions where the agent desires
to be the agent of the Process of a given type, but fails to execute
the process.")
(domainSubclass FailureFn 1 IntentionalProcess)
(rangeSubclass FailureFn Process)

(=>
  (and
    (instance ?F (FailureFn ?C))
    (agent ?F ?A))
  (and
    (desires ?A
      (exists (?I)
        (and
          (instance ?I ?C)
          (agent ?I ?A))))
    (not
      (exists (?I)
        (and
          (instance ?I ?C)
          (during (WhenFn ?I) (WhenFn ?F))
          (agent ?I ?A))))))
      
(equal AccountCreationRejected (FailureFn CreatingAnAccount))              
(subclass AccountCreationRejected ContentDevelopment)
(documentation AccountCreationRejected EnglishLanguage "An &%Agent
attempts and fails to create an &%Account.")
          
(subclass Account Agreement)
(subclass Account ContentBearingObject)
(subclass FinancialAccount Account)
(subclass UserAccount Account)

(documentation Account EnglishLanguage "An agreement to provide something
over a period of time in return for providing compensation, which may just
be access to a user's transactions or personal information.")
(termFormat EnglishLanguage Account "account")
    
(instance securityQA TernaryRelation)
(domain securityQA 1 Question)
(domain securityQA 2 Sentence)
(domain securityQA 3 Account)
(format EnglishLanguage securityQA "the answer to question %1 for account %3 is %2")
(documentation securityQA EnglishLanguage "A &%Question that has an answer,
created or selected by the user, that provides a degree of security for
accessing a given &%Account.  Typically, security questions are either a 
method for two-factor security, in addition to a user name and password,
or a sort of alternate password that allows a user to unlock an account if
a password has been forgotten.")

(subclass DeletingAnAccount DeletingData)
(documentation DeletingAnAccount EnglishLanguage "Removing all the
data from an account so that it no longer exists.")
(termFormat EnglishLanguage DeletingAnAccount "deleting an account")

(=>
  (and
    (instance ?D DeletingAnAccount)
    (instance ?AC Account)
    (holdsDuring (ImmediatePastFn (WhenFn ?D))
      (hasAccount ?A ?AC))
    (patient ?D ?AC)
    (agent ?D ?A))
  (holdsDuring (ImmediateFutureFn (WhenFn ?D))
    (not
      (hasAccount ?A ?AC))))