| appearance as argument number 1 |
|
| (subclass Veneer Artifact) | Mid-level-ontology.kif 5244-5244 | Veneer is a subclass of artifact |
| (documentation Veneer EnglishLanguage "A thin layer covering an Object (like Furniture) or a Wall for decorative or productive purposes.") | Mid-level-ontology.kif 5245-5246 | Veneer is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?V Veneer) (attribute ?V Flat)) |
Mid-level-ontology.kif 5247-5249 | If X is an instance of veneer, then flat is an attribute of X |
| (=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ)))) |
Mid-level-ontology.kif 5250-5254 | If X is an instance of veneer, then X has the purpose there exists Y such that X covers Y |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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