TreeView Knowledge Base Browser - DeadFn

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.")	Mid-level-ontology.kif 117-119
(domainSubclass DeadFn 1 OrganicObject)	Mid-level-ontology.kif 115-115	O argumento numero 1 de DeadFn e' uma sub-classe de Objeto Organico
(instance DeadFn UnaryFunction)	Mid-level-ontology.kif 114-114	DeadFn e' uma instancia de funcao Unaria
(rangeSubclass DeadFn OrganismRemains)	Mid-level-ontology.kif 116-116	Os valores retornados por DeadFn sao as sub-classes de OrganismRemains

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 e' relacionado internamente por SUMO a DeadFn
(relatedInternalConcept Fodder DeadFn)	Mid-level-ontology.kif 20036-20036	Fodder e' relacionado internamente por SUMO a DeadFn
(relatedInternalConcept OrganicObjectFn DeadFn)	Economy.kif 5248-5248	OrganicObjectFn e' relacionado internamente por SUMO a DeadFn
(relatedInternalConcept Produce DeadFn)	Economy.kif 4186-4186	Produce e' relacionado internamente por SUMO a DeadFn
(relatedInternalConcept SheddingPart DeadFn)	Geography.kif 6407-6407	SheddingPart e' relacionado internamente por SUMO a 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	Entidade e' uma instancia de DeadFn Objeto Organico Processo e' uma instancia de Morte Entidade e' o resultado de Processo AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Objeto Organico
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4035-4040	Entidade e' uma instancia de DeadFn CerealGrain Objeto auto-conectado Entidade e' uma instancia de Objeto auto-conectado Objeto auto-conectado e' igual a FoodForFn Animal
(=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain))	Economy.kif 4031-4033	Entidade e' uma instancia de DeadFn CerealGrass Entidade e' uma instancia de Grain
(=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain))	Economy.kif 4055-4057	Entidade e' uma instancia de DeadFn WheatGrass Entidade e' uma instancia de WheatGrain

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	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5485-5493	Processo e' uma instancia de Felling Entidade e' o resultado de Processo EntidadeTEM Entidade e' uma instancia de DeadFn EntidadeTEM EntidadeTEM e' uma sub-classe de PlantStem
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 18084-18092	Processo e' uma instancia de Harvesting Entidade e' o resultado de Processo EntidadeRG Entidade e' uma instancia de DeadFn EntidadeRG EntidadeRG e' uma sub-classe de Objeto Organico
(=> (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	Entidade e' uma instancia de SheddingPart Entidade Entidade and Entidade Entidade e' uma instancia de EntidadeRG EntidadeRG e' uma sub-classe de Organismo EntidadeART Entidade e' uma instancia de DeadFn EntidadeART initialPart EntidadeART and EntidadeRG
(=> (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	Entidade e' uma instancia de OrganismRemains Processo e' uma instancia de Morte AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de AutonomousAgentTYPE AutonomousAgentTYPE e' uma sub-classe de Objeto Organico Entidade e' o resultado de Processo Entidade e' uma instancia de DeadFn AutonomousAgentTYPE
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 1909-1915	Objeto e' uma instancia de Carne Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Animal
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 3377-3383	Objeto e' uma instancia de Seafood Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Peixe
(=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure))))	Economy.kif 4365-4372	Objeto e' uma instancia de Spice Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de PlantAnatomicalStructure
(=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant))))	Food.kif 299-306	Objeto e' uma instancia de FoodFromPlant Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Planta
(=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human)))	Mid-level-ontology.kif 105-107	Entidade e' uma instancia de HumanCorpse Entidade e' uma instancia de DeadFn Humano

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