telephoneNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24988-24989
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	域電話號碼, 1 and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24987-24987	域電話號碼, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24985-24985	例電話號碼 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	例電話號碼 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4766-4766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4765-4765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4764-4764
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25020-25020	子關係 homePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25120-25120	子關係 mobilePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25000-25000	子關係 personalPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25050-25050	子關係 workPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57320-57320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57319-57319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57318-57318

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25133-25140	例 Entity and 移動手機持有期間 TimePosition and Entity 有 number entity entity 是 entity 的 telephone number 持有期間 TimePosition and entity 的 mobile number 是 entity
No TPTP formula. May not be expressible in strict first order.	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 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24991-24993	TelecomNumber 是 AutonomousAgent 的 telephone number AutonomousAgent 能是 contacted 在 TelecomNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25007-25014	例 Entity and 電話持有期間 TimePosition and 擁有 entity and Entity Entity 有 number entity 持有期間 TimePosition and entity 是 entity 的 telephone number
No TPTP formula. May not be expressible in strict first order.	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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