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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngularDegree
AngularDegree

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2618-2618
No TPTP formula. May not be expressible in strict first order. Merge.kif 7361-7361
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1332-1332
No TPTP formula. May not be expressible in strict first order. Merge.kif 7359-7359 AngularDegree e' uma instancia de UnitOfAngularMeasure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7536-7536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7535-7535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7534-7534

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 7363-7365
No TPTP formula. May not be expressible in strict first order. Merge.kif 7371-7375
No TPTP formula. May not be expressible in strict first order. Geography.kif 358-360
No TPTP formula. May not be expressible in strict first order. Geography.kif 362-364

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 382-382 1.0 AngularDegree(s) e' igual a 60.0 ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 Numero Real AngularDegree(s) e' igual a 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7367-7369 Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)


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