ClayBuildingMaterialAndRefractoriesManufacturing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1435-1437 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14079-14084 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8502-8502 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14078-14078 | O conceito Area Geografica e' completamente decomposto em Area Aquatica + Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14077-14077 | Area Geografica e' uma sub-classe de Regiao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14069-14069 | Corpo Astronomico e' disjunto de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9095-9095 | SpaceRegion e' disjunto de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3623-3623 | AntarcticArea e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | ArcticRegion e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2644-2644 | BetLidJunctionIsrael e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3594-3594 | BishkekKyrgyzstan e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2669-2669 | BosphorousStraitsTurkey e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2686-2686 | BwindiforestUganda e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | CaribbeanRegion e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 78-78 | CentralAfrica e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 100-100 | CentralAsia e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 84-84 | CentralEurope e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 95-95 | CentralSouthAmerica e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2731-2731 | ClarkAirbasePhilippines e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2766-2766 | DangDistrictNepal e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2787-2787 | DistrictOfMansehraPakistan e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2808-2808 | DushanbeAirportTajikistan e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 79-79 | EasternAfrica e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 101-101 | EasternAsia e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 85-85 | EasternEurope e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 96-96 | EasternSouthAmerica e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6946-6946 | England e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2839-2839 | FethiyeAndMarmarisTurkey e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2842-2842 | FloridaUnitedStates e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1389-1389 | GazaStrip e' uma instancia de Area Geografica |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | O argumento numero 1 de BorderFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | O argumento numero 2 de BorderFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | O argumento numero 1 de DatumFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30654-30654 | O argumento numero 1 de DemonymFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | O argumento numero 2 de DirectionalSubregionFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | O argumento numero 1 de ElevationHighPointFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | O argumento numero 1 de ElevationLowPointFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 335-335 | O argumento numero 1 de GeographicCenterFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | O argumento numero 2 de GeographicPartTypeFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2201-2201 | O argumento numero 1 de Mean10MinutesWindSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2306-2306 | O argumento numero 1 de Mean1MinuteWindSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2271-2271 | O argumento numero 1 de Mean2MinutesWindSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2236-2236 | O argumento numero 1 de Mean3MinutesWindSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1882-1882 | O argumento numero 1 de Mean3SecondWindSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1976-1976 | O argumento numero 1 de Mean3SecondWindSpeedListFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31760-31760 | O argumento numero 2 de OrganismPopulationFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6111-6111 | O argumento numero 1 de SeacoastFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6168-6168 | O argumento numero 1 de ShorelineFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2016-2016 | O argumento numero 1 de ThreeSecondGustSpeedFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2200-2200 | O argumento numero 2 de agentOperatesInArea e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3075-3075 | O argumento numero 1 de airQualityIndex e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2072-2072 | O argumento numero 1 de arableLandArea e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22982-22982 | O argumento numero 3 de areaOfResponsibility e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1204-1204 | O argumento numero 1 de averagePrecipitationForPeriod e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1305-1305 | O argumento numero 1 de averageRainfallForPeriod e' uma instancia de Area Geografica |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |