TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23529-23531
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23533-23533	运输工具的 1 数量是运输的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23534-23534	运输工具的 2 数量是运输设备的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23528-23528	运输工具是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23532-23532	运输工具是工具的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	english_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1891-1891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17130-17130
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 86-86
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17129-17129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17128-17128

antecedent

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

Mid-level-ontology.kif 23543-23547

consequent

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

Mid-level-ontology.kif 23591-23598