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 Le nombre 1 argument de courseWRTTrueNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order. Geography.kif 3723-3723 Le nombre 2 argument de courseWRTTrueNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order. Geography.kif 3724-3724 Le nombre 3 argument de courseWRTTrueNorth est une instance de mesure de l'angle d'une surface
No TPTP formula. May not be expressible in strict first order. Geography.kif 3721-3721 courseWRTTrueNorth est une instance de pr�dicat ternaire

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 courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast � objet
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East � objet


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