TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8040-8042
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	The number 1 argument of citizenry is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8037-8037	Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8036-8036	Citizenry is a subrelation of resident

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 8044-8051

consequent

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

Mid-level-ontology.kif 17351-17367