Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  deviceTelecomNumber

 Sigma KEE - deviceTelecomNumber
deviceTelecomNumber

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24882-24885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24880-24880 deviceTelecomNumber 的 1 数量 是 TelecomNumber 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24881-24881 deviceTelecomNumber 的 2 数量 是 TelephonyDevice 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24879-24879 deviceTelecomNumber 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24878-24878 deviceTelecomNumber 是 二元谓语 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3246-3246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3245-3245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3244-3244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65810-65810

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25035-25044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25158-25165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25133-25140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25007-25014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25167-25172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25026-25033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25142-25148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25126-25131


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