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	O argumento numero 1 de StartFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 420-420	StartFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	Os valores retornados por StartFn sao as sub-classes de Processo Intencional

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