TreeView Knowledge Base Browser - Death

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Death

Death(mort)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2905-2905
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10208-10208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1654-1654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6348-6348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6349-6349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6350-6350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6351-6351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5949-5949
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10206-10206	Mort est une sous-classe de fonction physiologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6300-6300	Asphyxiation est une sous-classe de mort
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6316-6316	Bleedout est une sous-classe de mort
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1077-1077
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1365-1365
No TPTP formula. May not be expressible in strict first order.	french_format.kif 755-755
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 287-287
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 290-290
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2439-2439
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 707-707
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 292-292
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 326-326
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 776-776
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 291-291

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	Processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� entit� entit� est le resultat de processus entit� est une instance de objet organique Dead est un attribut de entit� pendant apr�s temps d'existence de processus entit� est une partie de entit� pendant immediatement apr�s temps d'existence de processus entit� est une partie de AutonomousAgent pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel AutonomousAgent exp�rimente processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processus est une instance de mort entit� est une instance de OrganismRemains AutonomousAgent est une instance de organisme entit� est une partie de entit� pendant interval temporel entit� est une partie de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que interval temporel entit� est le resultat de processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 121-127	Entit� est une instance de DeadFn objet organique processus est une instance de mort entit� est le resultat de processus AutonomousAgent exp�rimente processus AutonomousAgent est une instance de objet organique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	Entit� est une instance de objet organique processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� est le resultat de processus entit� est une instance de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	Entit� est une instance de OrganismRemains processus est une instance de mort AutonomousAgent exp�rimente processus AutonomousAgent est une instance de AutonomousAgentTYPE AutonomousAgentTYPE est une sous-classe de objet organique entit� est le resultat de processus entit� est une instance de DeadFn AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical est une instance de DeathCertificate processus est une instance de mort AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and processusAY entit�, entit� and entit�ROC deathdate AutonomousAgent and processusAY processusAY est une instance de jour deathplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name entit�ROC cause processus entit�ROC est une instance de processus

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processus est une instance de Anaphylaxis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de mort AutonomousAgent exp�rimente entit� processus cause entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	Processus est une instance de naissance AutonomousAgent exp�rimente processus processus processus est une instance de mort AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	Attribut est une instance de LifeThreateningDisease attribut est un attribut de objet objet est capable de faire mort dans le r�le experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18621-18639	Processus est une instance de Inheriting processus est un agent de agent cognitif processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus AutonomousAgent poss�de entit� pendant immediatement avant temps d'existence de processus AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12313-12321	Processus est une instance de tuer AutonomousAgent est un patient de processus processus processus est une instance de mort AutonomousAgent exp�rimente processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Interval temporel est une instance de TimePeriod la dur�� de interval temporel est nombre r�el MinuteDuration(s) nombre r�el est plus grand que 5.0 entit� est une instance de humain processus processus est une instance de respirer temps d'existence de processus prend place pendant interval temporel entit� est un patient de processus l'argument entit� entit� est une instance de mort entit� exp�rimente entit� interval temporel rencontre temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24284-24290	deathdate humain and jour processus processus est une instance de mort humain exp�rimente processus la date de processus est jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24300-24306	deathplace animal and objet processus processus est une instance de mort animal exp�rimente processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	diseaseMortality maladie ou syndrome and nombre r�el la probabilit� de entit� entit� est une instance de organisme maladie ou syndrome est un attribut de entit� pourvu que entit� entit� est une instance de mort entit� exp�rimente entit� vaut nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20568-20578	Entit� est une instance de IntensiveCareUnit stays entit� and entit� pendant position temporel l'argument entit� entit� est une instance de mort temps d'existence de entit� finit position temporel a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16007-16012	Entit� est une instance de Funeral entit� entit� est une instance de mort entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 67-72	Entit� est une instance de OrganismRemains processus processus est une instance de mort entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	Physique est une instance de DeathCertificate physique a pour but entit� entit� entit� est une instance de mort entit� est une instance de humain entit� exp�rimente entit� physique d�finie entit�

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