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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deviceState
deviceState

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1875-1876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1878-1878 The number 1 argument of device state is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1879-1879 The number 2 argument of device state is an instance of device state attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1877-1877 device state is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1880-1880 device state is a subrelation of attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 732-732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 731-731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 730-730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19368-19368
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19367-19367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19366-19366


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