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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Concrete

Sigma KEE - Concrete
Concrete(concrete)
concrete

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5899-5901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 946-946
No TPTP formula. May not be expressible in strict first order. Economy.kif 5895-5895 Concrete is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5896-5896 Concrete is an industry product type of concrete pipe brick and block manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5897-5897 Concrete is an industry product type of other concrete product manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5917-5917 Ready mix concrete is a subclass of concrete
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16476-16476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16475-16475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16474-16474

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1331-1336
No TPTP formula. May not be expressible in strict first order. Economy.kif 5910-5915
No TPTP formula. May not be expressible in strict first order. Economy.kif 5903-5908

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1316-1322


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