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 26107-26108
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26105-26105	域電話號碼, 1 and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26106-26106	域電話號碼, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26104	例電話號碼 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26103-26103	例電話號碼 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4770-4770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4769-4769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4768-4768
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26139-26139	子關係 homePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26239-26239	子關係 mobilePhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26119-26119	子關係 personalPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26169-26169	子關係 workPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57355-57355	子關係 workPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57354-57354	子關係 workPhoneNumber and 電話號碼
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57353-57353	子關係 workPhoneNumber and 電話號碼

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26154-26163	例 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 26252-26259	例 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 26212-26233	例 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 26110-26112	TelecomNumber 是 AutonomousAgent 的 telephone number AutonomousAgent 能是 contacted 在 TelecomNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26126-26133	例 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 28202-28213	例 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