TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12338-12340
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12337-12337	Tuer est une sous-classe de destruction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18284-18284	Execution est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18100-18100	Harvesting est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22091-22091	Lynching est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18471-18471	Murder est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2800-2800	Poaching est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18517-18517	Starving est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18482-18482	Suffocating est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18302-18302	Suicide est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22144-22144	SuicideBombing est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	UdhiyahRitual est une sous-classe de tuer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1162-1162
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1541-1541
No TPTP formula. May not be expressible in strict first order.	french_format.kif 840-840
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 372-372
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 375-375
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2524-2524
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 377-377
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 411-411
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 861-861
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 376-376

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12342-12349	Processus est une instance de tuer processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de organisme entit� est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12359-12367	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.	Merge.kif 12351-12357	Processus est une instance de tuer entit� est un patient de processus Living est un attribut de entit� pendant le d�but de temps d'existence de processus Dead est un attribut de entit� pendant apr�s temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet est une instance de organisme objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12956-12966	Processus est une instance de Hunting entit� est un patient de processus processus a pour but entit�ROC entit� est un patient de entit�ROC entit�ROC est une instance de confiner entit�ROC est une instance de tuer
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	Collection est une instance de organisation AgricultureForestryFishingAndHunting est un attribut de collection processus AutonomousAgent AutonomousAgent est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 processus est une instance de tuer processus est une instance de maintenir entit� est un patient de processus entit� est une instance de animal entit� est une instance de plante entit� est une instance de humain AutonomousAgent2 est un membre de collection processus2 est une instance de vendre processus2 est un agent de AutonomousAgent2 entit� est un patient de processus2
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1013-1015	Objet est une instance de LifeThreateningAgent objet est capable de faire tuer dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	Objet est une instance de Antibiotic cha�ne sympbolique entit� objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12371	Objet est une instance de organisme objet est capable de faire tuer dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12373-12375	Objet est une instance de organisme objet est capable de faire tuer dans le r�le patient
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.	Mid-level-ontology.kif 2219-2229	Physique est une instance de Toothbrush physique a pour but entit� entit� and physiqueOOTH physiqueOOTH est une instance de Tooth physique est un instrument pour entit� entit� est une instance de tuer entit� est une instance de bact�rie entit� est un patient de entit� physiqueOOTH est un patient de 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

KB Term:			Term intersection

English Word: