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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - courseWRTCompassNorth
courseWRTCompassNorth

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3821-3825
No TPTP formula. May not be expressible in strict first order. Geography.kif 3817-3817 The number 1 argument of courseWRT compass north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3818-3818 The number 2 argument of courseWRT compass north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3819-3819 The number 3 argument of courseWRT compass north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3816-3816 courseWRT compass north is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 560-560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 559-559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 558-558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17616-17616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17615-17615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17614-17614


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