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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiParasitic

Sigma KEE - Veneer
Veneer

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


(documentation Veneer EnglishLanguage "A thin layer covering an Object (like Furniture) or a Wall for decorative or productive purposes.") Mid-level-ontology.kif 4761-4762
(subclass Veneer Artifact) Mid-level-ontology.kif 4760-4760

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


(termFormat ChineseLanguage Veneer "单板") domainEnglishFormat.kif 61474-61474
(termFormat ChineseTraditionalLanguage Veneer "單板") domainEnglishFormat.kif 61473-61473
(termFormat EnglishLanguage Veneer "veneer") domainEnglishFormat.kif 61472-61472

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


(=>
    (instance ?V Veneer)
    (attribute ?V Flat))
Mid-level-ontology.kif 4763-4765
(=>
    (instance ?V Veneer)
    (hasPurpose ?V
        (exists (?OBJ)
            (covers ?V ?OBJ))))
Mid-level-ontology.kif 4766-4770


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