TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6226-6227
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6224-6224	Le nombre 1 argument de allergic est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6225-6225	Le nombre 2 argument de allergic est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6223-6223	allergic est une instance de pr�dicat binaire

appearance as argument number 2

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

domainEnglishFormat.kif 65774-65774

antecedent

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

Mid-level-ontology.kif 6231-6244