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

Formal Language: 



KB Term:  Term intersection
English Word: 

  climateTypeInArea

Sigma KEE - climateTypeInArea
climateTypeInArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1255-1257
No TPTP formula. May not be expressible in strict first order. Geography.kif 1252-1252 The number 1 argument of climate type in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1253-1253 The number 2 argument of climate type in area is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order. Geography.kif 1251-1251 climate type in area is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 460-460
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 459-459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 458-458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15147-15147
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15146-15146
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15145-15145

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1526-1534
No TPTP formula. May not be expressible in strict first order. Geography.kif 1375-1382
No TPTP formula. May not be expressible in strict first order. Geography.kif 1600-1606
No TPTP formula. May not be expressible in strict first order. Geography.kif 1423-1429
No TPTP formula. May not be expressible in strict first order. Geography.kif 1321-1328
No TPTP formula. May not be expressible in strict first order. Geography.kif 1261-1267
No TPTP formula. May not be expressible in strict first order. Geography.kif 1537-1545
No TPTP formula. May not be expressible in strict first order. Geography.kif 1478-1480
No TPTP formula. May not be expressible in strict first order. Geography.kif 1482-1484
No TPTP formula. May not be expressible in strict first order. Geography.kif 1456-1458
No TPTP formula. May not be expressible in strict first order. Geography.kif 1468-1470
No TPTP formula. May not be expressible in strict first order. Geography.kif 1464-1466
No TPTP formula. May not be expressible in strict first order. Geography.kif 1460-1462
No TPTP formula. May not be expressible in strict first order. Geography.kif 1493-1495
No TPTP formula. May not be expressible in strict first order. Geography.kif 1497-1499
No TPTP formula. May not be expressible in strict first order. Geography.kif 1346-1348
No TPTP formula. May not be expressible in strict first order. Geography.kif 1570-1576
No TPTP formula. May not be expressible in strict first order. Geography.kif 1384-1390
No TPTP formula. May not be expressible in strict first order. Geography.kif 1432-1447
No TPTP formula. May not be expressible in strict first order. Geography.kif 1413-1420
No TPTP formula. May not be expressible in strict first order. Geography.kif 1291-1303
No TPTP formula. May not be expressible in strict first order. Geography.kif 1330-1337

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1375-1382
No TPTP formula. May not be expressible in strict first order. Geography.kif 1321-1328
No TPTP formula. May not be expressible in strict first order. Geography.kif 1269-1273
No TPTP formula. May not be expressible in strict first order. Geography.kif 1578-1585
No TPTP formula. May not be expressible in strict first order. Weather.kif 1260-1272


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