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

Formal Language: 



KB Term:  Term intersection
English Word: 

  courseWRTTrueNorth

 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 域 courseWRT 真北, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3723-3723 域 courseWRT 真北, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3724-3724 域 courseWRT 真北, 3 and PlaneAngleMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3721-3721 例 courseWRT 真北 and TernaryPredicate

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 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東


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