TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6684-6689
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	Le nombre 1 argument de capacity est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6682-6682	Le nombre 2 argument de capacity est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6680-6680	capacity est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6683-6683	capacity est reli� � l'int�rieur de SUMO � humanCapacity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 352-352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 351-351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 350-350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13044-13044
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13043-13043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13042-13042

antecedent

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

Cars.kif 1314-1348

consequent

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

Mid-level-ontology.kif 6691-6695