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

Formal Language: 


KB Term:  Term intersection
English Word: 

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.") Merge.kif 18665-18667
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18663-18663 Le nombre 1 argument de DeadFn est une sous-classe de objet organique
(instance DeadFn UnaryFunction) Merge.kif 18662-18662 DeadFn est une instance de function unaire
(rangeSubclass DeadFn OrganismRemains) Merge.kif 18664-18664 Les valeurs retourn�es par DeadFn sont des sous-classes de OrganismRemains

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


(format ChineseLanguage DeadFn "一个 dead %1 ") domainEnglishFormat.kif 3166-3166
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") domainEnglishFormat.kif 3165-3165
(format EnglishLanguage DeadFn "a dead %1") domainEnglishFormat.kif 3164-3164
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) Merge.kif 18425-18425 DeadOrMissingBodyPartFn est reli� � l'int�rieur de SUMO � DeadFn
(relatedInternalConcept Fodder DeadFn) Mid-level-ontology.kif 21623-21623 Fodder est reli� � l'int�rieur de SUMO � DeadFn
(relatedInternalConcept OrganicObjectFn DeadFn) Economy.kif 5589-5589 OrganicObjectFn est reli� � l'int�rieur de SUMO � DeadFn
(relatedInternalConcept Produce DeadFn) Economy.kif 4523-4523 Produce est reli� � l'int�rieur de SUMO � DeadFn
(relatedInternalConcept SheddingPart DeadFn) Geography.kif 6710-6710 SheddingPart est reli� � l'int�rieur de SUMO � DeadFn
(termFormat EnglishLanguage DeadFn "Dead fn") domainEnglishFormat.kif 64739-64739 SheddingPart est reli� � l'int�rieur de SUMO � DeadFn

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


(=>
    (and
        (instance ?REM
            (DeadFn ?ORGTYPE))
        (instance ?DEATH Death)
        (result ?DEATH ?REM)
        (experiencer ?DEATH ?ORG))
    (instance ?ORG ?ORGTYPE))
Mid-level-ontology.kif 114-120
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))
Economy.kif 4372-4377
(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))
Economy.kif 4368-4370
(=>
    (instance ?X
        (DeadFn WheatGrass))
    (instance ?X WheatGrain))
Economy.kif 4392-4394

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 5608-5617
(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))
Economy.kif 5827-5835
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 19655-19663
(=>
    (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 6728-6737
(=>
    (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 122-130
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 1915-1921
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 3384-3390
(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))
Economy.kif 4703-4710
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners