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

Formal Language: 



KB Term:  Term intersection
English Word: 

  onOrientation

 Sigma KEE - onOrientation
onOrientation

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 918-919
No TPTP formula. May not be expressible in strict first order. Hotel.kif 922-922 O argumento numero 1 de onOrientation e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Hotel.kif 923-923 O argumento numero 2 de onOrientation e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order. Hotel.kif 917-917 onOrientation e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4026-4026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4025-4025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4024-4024
No TPTP formula. May not be expressible in strict first order. Hotel.kif 920-920

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 925-930


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