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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LongitudeFn

 Sigma KEE - LongitudeFn
LongitudeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 451-459
No TPTP formula. May not be expressible in strict first order. Geography.kif 444-444 Le nombre 1 argument de LongitudeFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Geography.kif 445-445 Le nombre 2 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 446-446 Le nombre 3 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 447-447 Le nombre 4 argument de LongitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 LongitudeFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Geography.kif 443-443 LongitudeFn est une instance de relation a arit� variable
No TPTP formula. May not be expressible in strict first order. Geography.kif 448-448 Le domaine de LongitudeFn est une instance de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3790-3790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3789-3789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3788-3788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34997-34997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34996-34996
No TPTP formula. May not be expressible in strict first order. Geography.kif 449-449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34995-34995

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


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. Geography.kif 461-465

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


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 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