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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24987-24988
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24985-24985	域電話號碼, 1 and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	域電話號碼, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	例電話號碼 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24983-24983	例電話號碼 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 25019-25019	子關係 homePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	子關係 mobilePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-24999	子關係 personalPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25049-25049	子關係 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 25034-25043	例 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 25132-25139	例 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 25092-25113	例 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 24990-24992	TelecomNumber 是 AutonomousAgent 的 telephone number AutonomousAgent 能是 contacted 在 TelecomNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	例 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 27095-27106	例 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