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	质子数的 1 数量是純物质的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21684-21684	质子数的 2 数量是正整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21680-21680	质子数是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21681-21681	质子数是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21682-21682	质子数是总值关系的 instance

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