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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PectineusMuscle

Sigma KEE - Detergent
Detergent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8860-8873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4649-4649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31439-31439 roomTempState Detergent and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8859-8859 Detergent est une sous-classe de mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8858-8858 Detergent est une sous-classe de Surfactant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1863-1863 industryProductType SoapAndOtherDetergentManufacturing and Detergent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19290-19290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19289-19289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19288-19288

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8875-8884

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5573-5580


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