TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8041-8043
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	O argumento numero 1 de CitizenryFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	CitizenryFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8040-8040	O contra-dominio de CitizenryFn e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8037-8037	CitizenryFn e' uma sub-relacao de ResidentFn

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 452-452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 451-451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14892-14892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14891-14891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14890-14890

antecedent

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

Mid-level-ontology.kif 8045-8052

consequent

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

Mid-level-ontology.kif 17352-17368