Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantAnatomicalStructure
PlantAnatomicalStructureplant_anatomical_structure

appearance as argument number 1
-------------------------


(documentation PlantAnatomicalStructure ChineseLanguage "这是只属于 Plant de AnatomicalStructure。") Merge.kif 15078-15079
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.") Merge.kif 15076-15077
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15075-15075

appearance as argument number 2
-------------------------


(subclass Cotton PlantAnatomicalStructure) Mid-level-ontology.kif 5691-5691
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9116-9116
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15131-15131
(subclass PlantBranch PlantAnatomicalStructure) Mid-level-ontology.kif 9080-9080
(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 9075-9075
(subclass PlantRoot PlantAnatomicalStructure) Mid-level-ontology.kif 9110-9110
(subclass Pollen PlantAnatomicalStructure) Merge.kif 15124-15124
(subclass Seed PlantAnatomicalStructure) Merge.kif 15110-15110
(subclass Spore PlantAnatomicalStructure) Merge.kif 15142-15142
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure") domainEnglishFormat.kif 8107-8107

appearance as argument number 3
-------------------------


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15000-15000

antecedent
-------------------------


(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 15081-15086

consequent
-------------------------


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?C))
    (or
        (instance ?C PlantAnatomicalStructure)
        (instance ?C PlantSubstance)))
Mid-level-ontology.kif 15750-15756


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners