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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Latitude

Sigma KEE - Latitude
Latitude(latitude)
latitude, line_of_latitude, parallel, parallel_of_latitude

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 307-309
No TPTP formula. May not be expressible in strict first order. pictureList.kif 931-931
No TPTP formula. May not be expressible in strict first order. Geography.kif 302-302 Latitude is a subclass of region

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 303-303 Latitude has name "latitude"
No TPTP formula. May not be expressible in strict first order. Geography.kif 304-304 Latitude has name "parallel"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33473-33473
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33472-33472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33471-33471

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 325-325 The number 2 argument of object geographic coordinates is an instance of latitude


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