TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21685-21686
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21683-21683	Le nombre 1 argument de protonNumber est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21684-21684	Le nombre 2 argument de protonNumber est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21680-21680	protonNumber est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21681-21681	protonNumber est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21682-21682	protonNumber est une instance de relation total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2075-2075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2074-2074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47876-47876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47875-47875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47874-47874

antecedent

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

Mid-level-ontology.kif 21688-21703

consequent

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

Mid-level-ontology.kif 6501-6509