No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4171-4171 |
Butte est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4044-4044 |
Hill est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4155-4155 |
Mesa est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4027-4027 |
Mountain est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4013-4013 |
MountainRange est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
Plateau est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4093-4093 |
WatershedDivide est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60622-60622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60621-60621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60620-60620 |
|