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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Machinery

Sigma KEE - Machinery
Machinery(machinery)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5800-5802
No TPTP formula. May not be expressible in strict first order. Economy.kif 5795-5795 Machinery is a subattribute of industrial supply

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35513-35513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35512-35512
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35511-35511

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5805-5811


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