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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadFn

 Sigma KEE - DeadFn
DeadFn

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


(documentation DeadFn EnglishLanguage "(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.") Mid-level-ontology.kif 117-119
(domainSubclass DeadFn 1 OrganicObject) Mid-level-ontology.kif 115-115 DeadFn 的 1 数量 是 有机物体 的 subclass
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 114-114 DeadFn 是 一元函数 的 instance
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 116-116 DeadFn 的所得值 是 OrganismRemains 的 subclass

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


(format ChineseLanguage DeadFn "一个 dead %1 ") domainEnglishFormat.kif 3170-3170
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") domainEnglishFormat.kif 3169-3169
(format EnglishLanguage DeadFn "a dead %1") domainEnglishFormat.kif 3168-3168
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) Merge.kif 18238-18238 DeadOrMissingBodyPartFn 和 DeadFn 是 内部相关
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 20036-20036 饲料 和 DeadFn 是 内部相关
(relatedInternalConcept OrganicObjectFn DeadFn) Economy.kif 5248-5248 OrganicObjectFn 和 DeadFn 是 内部相关
(relatedInternalConcept Produce DeadFn) Economy.kif 4186-4186 农产品 和 DeadFn 是 内部相关
(relatedInternalConcept SheddingPart DeadFn) Geography.kif 6407-6407 SheddingPart 和 DeadFn 是 内部相关
(termFormat EnglishLanguage DeadFn "Dead fn") domainEnglishFormat.kif 64745-64745

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


(=>
    (and
        (instance ?REM
            (DeadFn ?ORGTYPE))
        (instance ?DEATH Death)
        (result ?DEATH ?REM)
        (experiencer ?DEATH ?ORG))
    (instance ?ORG ?ORGTYPE))		 Mid-level-ontology.kif 121-127
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))		 Economy.kif 4035-4040
(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))		 Economy.kif 4031-4033
(=>
    (instance ?X
        (DeadFn WheatGrass))
    (instance ?X WheatGrain))		 Economy.kif 4055-4057

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


(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (exists (?R ?O)
        (and
            (instance ?R
                (DeadFn ?ORG))
            (part ?R ?O)
            (instance ?O ?ORG))))		 Economy.kif 5267-5276
(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))		 Economy.kif 5485-5493
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 18084-18092
(=>
    (and
        (instance ?REL SheddingPart)
        (?REL ?O ?P)
        (instance ?O ?ORG)
        (subclass ?ORG Organism))
    (exists (?PART)
        (and
            (instance ?P
                (DeadFn ?PART))
            (initialPart ?PART ?ORG))))		 Geography.kif 6425-6434
(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 129-137
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))		 Food.kif 1909-1915
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))		 Food.kif 3377-3383
(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4365-4372
(=>
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))		 Food.kif 299-306
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))		 Mid-level-ontology.kif 105-107


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