No TPTP formula. May not be expressible in strict first order. |
engineering.kif 962-962 |
AutonomousMobileRobot se chama nome "AMR" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2495-2495 |
AdanaTurkey se chama nome "Adana" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2497-2497 |
AddisAbabaEthiopia se chama nome "Addis Ababa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2499-2499 |
AdenYemen se chama nome "Aden" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2501-2501 |
AdoraWestBank se chama nome "Adora" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 352-352 |
AdvancedDevelopingCountry se chama nome "Advanced Developing Country" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4160-4160 |
Afghanistan se chama nome "Afghanistan" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3510-3510 |
Africa se chama nome "Africa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2503-2503 |
AfulaIsrael se chama nome "Afula" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2505-2505 |
AgriTurkey se chama nome "Agri" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2507-2507 |
AinDeflaAlgeria se chama nome "Ain Defla" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2509-2509 |
AinElHajarAlgeria se chama nome "Ain el Hajar" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2511-2511 |
AjaccioFrance se chama nome "Ajaccio" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2513-2513 |
AlBalamandLebanon se chama nome "Al_Balamand " |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4064-4064 |
Albania se chama nome "Albania" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2515-2515 |
AleiSinaiGazaStrip se chama nome "Alei Sinai" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2517-2517 |
AleiZahavWestBank se chama nome "Alei Zahav" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2519-2519 |
AleyLebanon se chama nome "Aley" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3946-3946 |
Algeria se chama nome "Algeria" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2521-2521 |
AlgiersAlgeria se chama nome "Algiers" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2523-2523 |
AlkhanYurtRussia se chama nome "Alkhan_Yurt" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2525-2525 |
AlonMorehWestBank se chama nome "Alon Moreh" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2527-2527 |
AmbonIndonesia se chama nome "Ambon" |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 813-813 |
FootballUS se chama nome "American Football" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4194-4194 |
AmericanSamoa se chama nome "American Samoa" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |