TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 410-412
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 414-414	域開始, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 413-413	例開始 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 415-415	範圍子類開始 and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2339-2339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2338-2338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2337-2337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55070-55070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55069-55069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55068-55068

antecedent

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

Mid-level-ontology.kif 417-422

consequent

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

Mid-level-ontology.kif 1932-1934