TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 417-419
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 421-421	域開始, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 420-420	例開始 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	範圍子類開始 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 55068-55068
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55067-55067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55066-55066

antecedent

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

Mid-level-ontology.kif 424-429

consequent

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

Mid-level-ontology.kif 1939-1941