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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5258-5265
(subclass AnatomicalStructure OrganicObject) Merge.kif 14913-14913 AnatomicalStructure ist eine teilkategorie von OrganicObject
(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 14936-14936 AbnormalAnatomicalStructure ist eine teilkategorie von AnatomicalStructure
(subclass BodyPart AnatomicalStructure) Merge.kif 14949-14949 BodyPart ist eine teilkategorie von AnatomicalStructure
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14996-14996 AnimalAnatomicalStructure ist eine teilkategorie von AnatomicalStructure
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15007-15007 PlantAnatomicalStructure ist eine teilkategorie von AnatomicalStructure


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