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 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 413-413	开始是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 415-415	开始的所得值是有意图过程的 subclass

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