TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7710-7712
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7708-7708	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 7707-7707	Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7709-7709	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 7706-7706	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 14895-14895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14894-14894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14893-14893

antecedent

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

Mid-level-ontology.kif 7714-7721

consequent

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

Mid-level-ontology.kif 16769-16785