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	Le nombre 1 argument de StartFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 420-420	StartFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	Les valeurs retourn�es par StartFn sont des sous-classes de processus intentionnel

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