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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tropics
Tropics(tropics)
Torrid_Zone, tropical_zone, tropics

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3591-3593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 798-798
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3023-3023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3261-3261
No TPTP formula. May not be expressible in strict first order. Geography.kif 3587-3587 Tropics is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3619-3619 Tropics and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3617-3617 Tropics and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3618-3618 Tropics and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3620-3620 Tropics and western hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3588-3588 Tropics has name "Tropics"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3589-3589 Tropics has name "the Tropics"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59276-59276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59275-59275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59274-59274

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 619-625


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