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 24881-24884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24879-24879 Le nombre 1 argument de deviceTelecomNumber est une instance de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24880-24880 Le nombre 2 argument de deviceTelecomNumber est une instance de TelephonyDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24878-24878 deviceTelecomNumber est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24877-24877 deviceTelecomNumber est une instance de pr�dicat binaire

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 25034-25043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25157-25164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25132-25139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25006-25013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25166-25171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25025-25032
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25141-25147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25125-25130


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