TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3394-3395
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14452-14453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 866-866
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	Microorganisme est une sous-classe de organisme

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14455-14455	Bact�rie est une sous-classe de microorganisme
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1614-1614	MalarialPlasmodium est une sous-classe de microorganisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6267-6267	Protozoa est une sous-classe de microorganisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14478-14478	Virus est une sous-classe de microorganisme
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 973-973
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1153-1153
No TPTP formula. May not be expressible in strict first order.	french_format.kif 650-650
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 181-181
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 184-184
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2334-2334
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 602-602
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 671-671
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 185-185

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2000-2000

Le nombre 1 argument de InfectionFn est une sous-classe de microorganisme

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14357-14357

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5830-5839	Attribut est une instance de InfectiousDisease attribut est un attribut de AutonomousAgent processus AutonomousAgent processus est une instance de processus pathologique processus est un agent de AutonomousAgent AutonomousAgent est une instance de microorganisme AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5804-5813	Attribut est une instance de NonspecificDisease physique physique est une instance de microorganisme objet attribut est un attribut de objet physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 3547-3554	Processus est une instance de Fermentation objet objet objet est une instance de hydrate de carbone objet est une instance de microorganisme objet est un instrument pour processus objet est une resource pour processus