TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2925-2926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10463-10465
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1675-1676
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10461-10461	Blesser est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10460-10460	Blesser est une sous-classe de processus pathologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10490-10490	Empoisoner est une sous-classe de blesser
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1089-1089
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1389-1389
No TPTP formula. May not be expressible in strict first order.	french_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 302-302
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2451-2451
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 719-719
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 304-304
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 338-338
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 303-303

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 104-111	Processus est une instance de blesser AutonomousAgent exp�rimente processus Injury est un attribut de AutonomousAgent pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10474-10481	Processus est une instance de blesser processus est une instance de endommager entit� entit� est une instance de organisme entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10467-10472	Processus est une instance de blesser entit� entit� est une instance de structure anatomique entit� est un patient de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3432-3461	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10483-10488	Processus est une instance de endommager entit� est une instance de organisme entit� est un patient de processus processus est une instance de blesser
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3374-3402	WearableItem est une instance de SafetyHarness animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� animal est un patient de entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processus est une instance de affrontement violent objet est un patient de processus InjuryCausedFn processus est un attribut de objet ImpairedBodyPartFn Airway est un attribut de objet l'argument processus est une sous-classe de combustion entit� entit� est une instance de blesser entit� est situ� � entit� entit� est une instance de Face objet est un patient de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3516-3537	WearableItem est une instance de Respirator animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit�, entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� entit� previent l'occurrence de entit� entit� est une sous-classe de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 403-410	InjuryCausedFn processus est un attribut de objet processus processus processus est une instance de blesser objet est un patient de processus processus est une instance de processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 425-432	Bruise est un attribut de objet processus processus processus est une instance de blesser objet est un patient de processus processus est une instance de Bleeding processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30731-30751	SafetyPosition est un attribut de entit� pendant position temporel entit� a pour but entit� entit�, entit� and position temporel2 entit� est une instance de humain entit� est une instance de processus entit� est un patient de entit� entit� est un agent de entit� entit� previent l'occurrence de la classe d�crite par entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	Physique est une instance de Ambulance physique a pour but entit� entit� entit� est une instance de humain maladie ou syndrome est un attribut de entit� entit� entit� entit� est une instance de blesser entit� exp�rimente entit� entit� se produit avant entit� entit� est une instance de transporter physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21409-21414	Processus est une instance de Bleeding processus processus est une instance de blesser processus cause processus
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1345-1353	Physique est une instance de CSGas physique a pour but entit� entit� entit� est une instance de blesser physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	Physique est une instance de ChestSeal physique a pour but entit� entit�H, entit� and entit� entit� est une instance de Closing physique est un instrument pour entit� entit� est situ� � entit�H entit�H est une instance de Chest entit� est une instance de trou entit�H est h�te du trou entit� entit� est une instance de blesser entit� est situ� � entit�H temps d'existence de entit� arrive plus t�t que temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9416-9421	Entit� est une instance de Lesion processus processus est une instance de blesser entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3467-3494	Physique est une instance de ProtectiveEyewear physique a pour but physiqueRSON physiqueRSON est une instance de humain physiqueRSON porte physique entit� entit�, entit�, entit� and entit� entit� est une instance de processus physique est un instrument pour entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1485	Physique est une instance de Shield physique a pour but entit� entit� and entit� entit� est une instance de Protecting physique est un instrument pour entit� entit� est une instance de humain entit� est un patient de entit� entit� previent l'occurrence de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6290-6298	Physique est une instance de ShrapnelExplosion physique a pour but entit� entit� est une instance de blesser entit� est une instance de tuer physique cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3543-3567	Physique est une instance de SafetyVest physique a pour but entit� entit� entit� est une instance de animal entit� est une instance de humain entit� porte physique augmente la probabilit� de entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� diminue la probabilit� de entit� entit� est une instance de blesser entit� est un agent de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3617-3641	Physique est une instance de AutoAirbag physique a pour but entit� entit�, entit�, entit�, entit� and entit� entit� est une instance de Automobile physique est une partie de entit� entit� est une instance de humain entit� contient entit� entit� est une instance de impacte entit� est un patient de entit� entit� est une instance de Inflating physique est un patient de entit� entit� cause entit� hinders entit� and la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3340-3358	Physique est une instance de SafetyDevice physique a pour but entit� entit�, entit� and entit� entit� est une instance de humain entit� est une instance de processus entit� est un patient de entit� physique est un instrument pour entit� entit� previent l'occurrence de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3660-3689	Physique est une instance de SeatBelt physique a pour but entit� entit�, entit� and entit� entit� est une instance de Vehicle physique est une partie de entit� entit� est une instance de humain entit� contient entit� entit� est une instance de processus entit� previent l'occurrence de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6278-6284	parasite organisme and organisme processus processus est une instance de blesser processus est un agent de organisme organisme est un patient de processus

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

KB Term:			Term intersection

English Word: