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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Flower

Sigma KEE - Flower
Flower(花)

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


(documentation Flower EnglishLanguage "The reproductive organ of FloweringPlants.") Mid-level-ontology.kif 9550-9550
(externalImage Flower "http://articulatesoftware.com/SUMOpictures/plants/ flowers/ flowers_3/ Flower_75.png") pictureList.kif 439-439
(subclass Flower Organ) Mid-level-ontology.kif 9549-9549 器官subclass
(subclass Flower PlantAnatomicalStructure) Mid-level-ontology.kif 9548-9548 植物解剖结构subclass

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


(termFormat ChineseLanguage Flower "花") domainEnglishFormat.kif 24326-24326
(termFormat ChineseTraditionalLanguage Flower "花") domainEnglishFormat.kif 24325-24325
(termFormat EnglishLanguage Flower "flower") domainEnglishFormat.kif 24324-24324

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


(=>
    (and
        (subclass ?CLASS Flower)
        (equal ?CLASS Cauliflower))
    (initialPart ?CLASS CabbagePlant))
Economy.kif 4265-4269
(=>
    (instance ?FLOWER Flower)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?FLOWER ?PLANT)))))
Mid-level-ontology.kif 9552-9558

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


(=>
    (attribute ?X Florists)
    (hasPurpose ?X
        (exists (?FLOWER ?PROC)
            (and
                (instance ?PROC Designing)
                (instance ?FLOWER Collection)
                (memberType ?FLOWER Flower)
                (patient ?PROC ?FLOWER)
                (agent ?PROC ?X)))))
naics.kif 7773-7782


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

Show without tree


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