Microorganism - Sigma 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	微生物是生物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14455-14455	细菌是微生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1614-1614	疟疾疟原虫是微生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6267-6267	原生动物是微生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14478-14478	病毒是微生物的 subclass
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

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	如果属性是传染病的 instance 和那个属性是施事体的 attribute，然后有存在过程和另一个施事体这样那个过程是病理过程的 instance 和那个另外施事体是那个过程的 agent 和那个另外施事体是微生物的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5804-5813	如果属性是非特异性疾病的 instance，然后不存在物理这样那个物理是微生物的 instance 和对所有客体如果那个属性是那个客体的 attribute，然后那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3547-3554	如果过程是 Fermentation 的 instance，然后有存在客体和另一个客体这样那个客体是碳水化物的 instance 和那个另外客体是微生物的 instance 和那个另外客体是导致那个过程的 instrument 和那个客体是那个过程的 resource