TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23358-23358	mutualStranger et mutualAcquaintance sont disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23348-23352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23354-23354	Le nombre 1 argument de mutualStranger est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23355-23355	Le nombre 2 argument de mutualStranger est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23345-23345	mutualStranger est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23346-23346	mutualStranger est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23356-23356	mutualStranger est une sous-relation de stranger

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1771-1771
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1770-1770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1769-1769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39507-39507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39506-39506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39505-39505