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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WoodenArtifact

 Sigma KEE - WoodenArtifact
WoodenArtifact(wood artifact)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5573-5574
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9481-9481
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9845-9845
No TPTP formula. May not be expressible in strict first order. Economy.kif 5572-5572 Wood artifact is a subclass of wood product

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5571-5571 Wood is internally related to wood artifact
No TPTP formula. May not be expressible in strict first order. Economy.kif 5580-5580 Oak wood artifact is a subclass of wood artifact
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63387-63387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63386-63386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63385-63385

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5576-5578


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