Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5235-5244
(subclass WoodProduct ForestProduct) Economy.kif 5224-5224 WoodProduct è una sottoclasse di ForestProduct
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225 WoodProduct è una sottoclasse di OrganicCompound
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226 WoodProduct è una sottoclasse di PlantSubstance
(subclass Hardwood WoodProduct) Economy.kif 5278-5278 Hardwood è una sottoclasse di WoodProduct
(subclass Softwood WoodProduct) Economy.kif 5405-5405 Softwood è una sottoclasse di WoodProduct
(subclass Timber WoodProduct) Economy.kif 5495-5495 Timber è una sottoclasse di WoodProduct
(subclass Lumber WoodProduct) Economy.kif 5532-5532 Lumber è una sottoclasse di WoodProduct
(subclass WoodenArtifact WoodProduct) Economy.kif 5572-5572 WoodenArtifact è una sottoclasse di WoodProduct


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