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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soil

Sigma KEE - Soil
Soil(soil)
dirt, earth, ground, mulch, soil

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17922-17923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 741-741
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31652-31652 roomTempState soil and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17921-17921 Soil is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17961-17961 Clay is a subclass of soil
No TPTP formula. May not be expressible in strict first order. Geography.kif 4336-4336 Loam is a subclass of soil
No TPTP formula. May not be expressible in strict first order. Cars.kif 4981-4981 Mud is a subclass of soil
No TPTP formula. May not be expressible in strict first order. Geography.kif 4361-4361 Sand is a subclass of soil
No TPTP formula. May not be expressible in strict first order. Geography.kif 4418-4418 Silt is a subclass of soil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53750-53750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53749-53749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53748-53748

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1843-1849
No TPTP formula. May not be expressible in strict first order. Geography.kif 1835-1841
No TPTP formula. May not be expressible in strict first order. Geography.kif 2911-2913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17925-17932

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18024-18028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17998-18005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18011-18016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17986-17991
No TPTP formula. May not be expressible in strict first order. Geography.kif 2954-2959
No TPTP formula. May not be expressible in strict first order. Geography.kif 4329-4334


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