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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plain

 Sigma KEE - Plain
Plain(plain)
more pictures...		Great_Plains, Great_Plains_of_North_America, champaign, coastal_plain, field, flood_plain, floodplain, llano, peneplain, peneplane, plain

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4219-4220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7582-7582
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6770-6770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7579-7579
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7578-7578
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7583-7583
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7580-7580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7581-7581
No TPTP formula. May not be expressible in strict first order. Geography.kif 4218-4218 Plain is a subclass of lowland area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5743-5743 Coastal plain is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6678-6678 Pampa is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6672-6672 Prairie is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6688-6688 Savanna is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6698-6698 Steppe is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6728-6728 Tundra is a subclass of plain
No TPTP formula. May not be expressible in strict first order. Geography.kif 6714-6714 Veldt is a subclass of plain
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46008-46008
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46007-46007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46006-46006

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4222-4224


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