No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3669-3669 |
WashingtonDC united states is a geographic subregion of united states |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20273-20273 |
Alligator inhabits united states |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4503-4503 |
The headquarters of General Motors is in united states |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4584-4584 |
The headquarters of Harley Davidson is in united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 410-410 |
Canada meets united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1294-1294 |
Mexico meets united states |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 952-952 |
United states is a military of area of US military |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4079-4079 |
United states has name "United States" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 740-740 |
Mississippi river is a part of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 30-30 |
New england is a part of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1160-1160 |
Puerto rico is a part of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4243-4243 |
Red river is a part of united states |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60332-60332 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60331-60331 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60330-60330 |
|