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 15007-15007 PlantAnatomicalStructure ist eine teilkategorie von AnatomicalStructure
(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5446-5446 Cotton ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9468-9468 PlantLeaf ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9473-9473 PlantBranch ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9500-9500 PlantRoot ist eine teilkategorie von PlantAnatomicalStructure
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9521-9521 Flower ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9533-9533 PlantStem ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantSpinoseStructure PlantAnatomicalStructure) Mid-level-ontology.kif 9576-9576 PlantSpinoseStructure ist eine teilkategorie von PlantAnatomicalStructure
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9600-9600 PlantAreole ist eine teilkategorie von PlantAnatomicalStructure
(subclass Seed PlantAnatomicalStructure) Merge.kif 15037-15037 Seed ist eine teilkategorie von PlantAnatomicalStructure
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15049-15049 Pollen ist eine teilkategorie von PlantAnatomicalStructure
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15054-15054 FruitOrVegetable ist eine teilkategorie von PlantAnatomicalStructure
(subclass Spore PlantAnatomicalStructure) Merge.kif 15062-15062 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