TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1580-1582
No TPTP formula. May not be expressible in strict first order.	Government.kif 1577-1577	O argumento numero 1 de chiefOfStateType e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1578-1578	O argumento numero 2 de chiefOfStateType e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1576-1576	chiefOfStateType e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 444-444
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 443-443
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 442-442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14454-14454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14453-14453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14452-14452

antecedent

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

Government.kif 1588-1595

consequent

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

Government.kif 1584-1586

appearance as argument number 0

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

MilitaryPersons.kif 481-481