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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - courseWRTTrueNorth
courseWRTTrueNorth

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3726-3729
No TPTP formula. May not be expressible in strict first order. Geography.kif 3722-3722 The number 1 argument of courseWRT true north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3723-3723 The number 2 argument of courseWRT true north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3724-3724 The number 3 argument of courseWRT true north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3721-3721 courseWRT true 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 568-568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 567-567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 566-566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17628-17628
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17627-17627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17626-17626

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object


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