Saddle
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1500-1501 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10204-10204 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1498-1498 | PresidentOfTheUnitedStates e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1499-1499 | PresidentOfTheUnitedStates e' um sub-atributo de President |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47252-47252 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47251-47251 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47250-47250 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1503-1505 |