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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForestProduct

Sigma KEE - ForestProduct
ForestProduct

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


(documentation ForestProduct EnglishLanguage "Products from the Forest.") Economy.kif 5208-5208
(subclass ForestProduct Product) Economy.kif 5207-5207

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


(subclass WoodProduct ForestProduct) Economy.kif 5224-5224
(termFormat EnglishLanguage ForestProduct "forest product") domainEnglishFormat.kif 64883-64883

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


(=>
    (and
        (instance ?P ForestProduct)
        (instance ?M Manufacture)
        (result ?M ?P)
        (patient ?M ?X)
        (instance ?X Organism))
    (exists (?A ?F)
        (and
            (instance ?A Agriculture)
            (result ?A ?X)
            (eventLocated ?A ?F)
            (instance ?F Forest))))
Economy.kif 5210-5222


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