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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 18111-18119
(subclass Harvesting Removing) Mid-level-ontology.kif 18099-18099 收获移除subclass
(subclass Harvesting Killing) Mid-level-ontology.kif 18100-18100 收获杀害subclass
(subclass Felling Harvesting) Economy.kif 5469-5469 砍伐收获subclass


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