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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4365-4372
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15029-15029 PlantAnatomicalStructure ist eine teilkategorie von AnatomicalStructure
(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5445-5445 Cotton ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9467-9467 PlantLeaf ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9472-9472 PlantBranch ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9499-9499 PlantRoot ist eine teilkategorie von PlantAnatomicalStructure
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9520-9520 Flower ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9532-9532 PlantStem ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9575-9575 PlantSpinoseStructure ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9599-9599 PlantAreole ist eine teilkategorie von PlantAnatomicalStructure
(subclass Seed PlantAnatomicalStructure) Merge.kif 15059-15059 Seed ist eine teilkategorie von PlantAnatomicalStructure
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15071-15071 Pollen ist eine teilkategorie von PlantAnatomicalStructure
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15076-15076 FruitOrVegetable ist eine teilkategorie von PlantAnatomicalStructure
(subclass Spore PlantAnatomicalStructure) Merge.kif 15084-15084 Spore ist eine teilkategorie von PlantAnatomicalStructure


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