TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

telephoneNumber

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted")	Mid-level-ontology.kif 24988-24989
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 24986-24986	域電話號碼, 1 and TelecomNumber
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 24987-24987	域電話號碼, 2 and AutonomousAgent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 24985-24985	例電話號碼 and AsymmetricRelation
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 24984-24984	例電話號碼 and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4766-4766
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4765-4765
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2")	domainEnglishFormat.kif 4764-4764
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25020-25020	子關係 homePhoneNumber and 電話號碼
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25120-25120	子關係 mobilePhoneNumber and 電話號碼
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25000-25000	子關係 personalPhoneNumber and 電話號碼
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25050-25050	子關係 workPhoneNumber and 電話號碼
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57320-57320
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57319-57319
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57318-57318

antecedent

(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 25035-25044	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅持有期間 TimePosition and 棲息 Entity and entity
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25133-25140	例 Entity and 移動手機持有期間 TimePosition and Entity 有 number entity entity 是 entity 的 telephone number 持有期間 TimePosition and entity 的 mobile number 是 entity
(=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 25093-25114	例 TelecomNumber and Hotline TelecomNumber 是 AutonomousAgent 的 telephone number 例 AutonomousAgent and Organization 有目的 TelecomNumber and entity 例 entity and 致電目的地 entity and AutonomousAgent 模態屬性 entity 例 entity and Communication 儀器 entity and TelecomNumber 等於開始何時 entity and 開始眼前的未來何時 entity and 容易
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 24991-24993	TelecomNumber 是 AutonomousAgent 的 telephone number AutonomousAgent 能是 contacted 在 TelecomNumber

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25007-25014	例 Entity and 電話持有期間 TimePosition and 擁有 entity and Entity Entity 有 number entity 持有期間 TimePosition and entity 是 entity 的 telephone number
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2))))	Mid-level-ontology.kif 27107-27118	例 Object and TelephoneCommunication attribute Object and Local TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and SymbolicString 起源 Object and AutonomousAgent 目的地 Object and AutonomousAgent TelecomNumber 是 AutonomousAgent 的 telephone number TelecomNumber 是 AutonomousAgent 的 telephone number area code 在 TelecomNumber 是 SymbolicString area code 在 TelecomNumber 是 SymbolicString

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners