No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 481-481 |
chiefOfStateType UnitedStates and President |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1445-1445 |
leaderPosition Iran and President |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1499-1499 |
PresidentOfTheUnitedStates e' um sub-atributo de President |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47240-47240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47239-47239 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47238-47238 |
|