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 1409-1409 |
leaderPosition Iran and President |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1463-1463 |
PresidentOfTheUnitedStates est un sous-attribut de President |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47242-47242 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47241-47241 |
|
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 47240-47240 |
|