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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 117-119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 115-115	O argumento numero 1 de DeadFn e' uma sub-classe de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-114	DeadFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 116-116	Os valores retornados por DeadFn sao as sub-classes de OrganismRemains

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3170-3170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3169-3169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3168-3168
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18238-18238	DeadOrMissingBodyPartFn e' relacionado internamente por SUMO a DeadFn
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20036-20036	Fodder e' relacionado internamente por SUMO a DeadFn
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5248-5248	OrganicObjectFn e' relacionado internamente por SUMO a DeadFn
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4186-4186	Produce e' relacionado internamente por SUMO a DeadFn
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6407-6407	SheddingPart e' relacionado internamente por SUMO a DeadFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64745-64745

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4031-4033	Entidade e' uma instancia de DeadFn CerealGrass Entidade e' uma instancia de Grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4055-4057	Entidade e' uma instancia de DeadFn WheatGrass Entidade e' uma instancia de WheatGrain

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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