(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT MediumLengthRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 1524)                 (lessThanOrEqualTo ?LENGTH 2437)))))	Transportation.kif 1426-1438	Objet est une instance de Airport MediumLengthRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 1524 nombre r�el est plus petit ou �gal � 2437
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT ShortRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 914)                 (lessThanOrEqualTo ?LENGTH 1523)))))	Transportation.kif 1407-1419	Objet est une instance de Airport ShortRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand ou �gal � 914 nombre r�el est plus petit ou �gal � 1523
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT VeryLongRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (greaterThan ?LENGTH 3047))))	Transportation.kif 1464-1474	Objet est une instance de Airport VeryLongRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est plus grand que 3047
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT VeryShortRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (lessThan ?LENGTH 914))))	Transportation.kif 1391-1400	Objet est une instance de Airport VeryShortRunwayAirport est un attribut de objet objet nombre r�el objet est une instance de Runway objet est une partie de objet le longueur de objet est nombre r�el Meter(s) nombre r�el est moins que 914
(=>     (and         (instance ?AREA GeographicArea)         (geographicSubregion             (ElevationHighPointFn ?AREA) ?AREA)         (elevation             (ElevationHighPointFn ?AREA)             (MeasureFn ?ELEV1 ?UNIT)))     (not         (exists (?OTHER ?ELEV2)             (and                 (geographicSubregion ?OTHER ?AREA)                 (not                     (equal ?OTHER                         (ElevationHighPointFn ?AREA)))                 (elevation ?OTHER                     (MeasureFn ?ELEV2 ?UNIT))                 (greaterThan ?ELEV2 ?ELEV1)))))	Geography.kif 1964-1975	Secteur g�ographique est une instance de secteur g�ographique geographicSubregion ElevationHighPointFn secteur g�ographique and secteur g�ographique elevation ElevationHighPointFn secteur g�ographique and nombre r�el unit� de mesure(s) secteur g�ographique nombre r�el geographicSubregion secteur g�ographique and secteur g�ographique secteur g�ographique est ElevationHighPointFn secteur g�ographique elevation secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
(=>     (and         (instance ?AREA GeographicArea)         (geographicSubregion             (ElevationLowPointFn ?AREA) ?AREA)         (instance ?U UnitOfLength)         (elevation             (ElevationLowPointFn ?AREA)             (MeasureFn ?ELEV1 ?U)))     (not         (exists (?OTHER ?ELEV2)             (and                 (geographicSubregion ?OTHER ?AREA)                 (not                     (equal ?OTHER                         (ElevationLowPointFn ?AREA)))                 (elevation ?OTHER                     (MeasureFn ?ELEV2 ?U))                 (lessThan ?ELEV2 ?ELEV1)))))	Geography.kif 1940-1954	Secteur g�ographique est une instance de secteur g�ographique geographicSubregion ElevationLowPointFn secteur g�ographique and secteur g�ographique unit� de mesure est une instance de UnitOfLength elevation ElevationLowPointFn secteur g�ographique and nombre r�el unit� de mesure(s) secteur g�ographique nombre r�el geographicSubregion secteur g�ographique and secteur g�ographique secteur g�ographique est ElevationLowPointFn secteur g�ographique elevation secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el
(=>     (and         (instance ?AREA LandlockedArea)         (instance ?UNIT UnitOfLength))     (totalCoastline ?AREA         (MeasureFn 0.0 ?UNIT)))	Geography.kif 912-916	Secteur g�ographique est une instance de LandlockedArea unit� de mesure est une instance de UnitOfLength totalCoastline secteur g�ographique and 0.0 unit� de mesure(s)
(=>     (and         (instance ?ATOM Actinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 227 Amu)))	Mid-level-ontology.kif 28800-28804	Physique est une instance de Actinium physique est une instance de atome la mesure de physique est 227 Amu(s)
(=>     (and         (instance ?ATOM Aluminum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 27466-27470	Physique est une instance de Aluminum physique est une instance de atome la mesure de physique est 26.9815 Amu(s)
(=>     (and         (instance ?ATOM Americium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 243 Amu)))	Mid-level-ontology.kif 28906-28910	Physique est une instance de Americium physique est une instance de atome la mesure de physique est 243 Amu(s)
(=>     (and         (instance ?ATOM Antimony)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 28100-28104	Physique est une instance de Antimony physique est une instance de atome la mesure de physique est 121.75 Amu(s)
(=>     (and         (instance ?ATOM Argon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 27549-27553	Physique est une instance de Argon physique est une instance de atome la mesure de physique est 39.948 Amu(s)
(=>     (and         (instance ?ATOM Arsenic)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 27797-27801	Physique est une instance de Arsenic physique est une instance de atome la mesure de physique est 74.922 Amu(s)
(=>     (and         (instance ?ATOM Astatine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 210 Amu)))	Mid-level-ontology.kif 28733-28737	Physique est une instance de Astatine physique est une instance de atome la mesure de physique est 210 Amu(s)
(=>     (and         (instance ?ATOM Barium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 28194-28198	Physique est une instance de Barium physique est une instance de atome la mesure de physique est 137.34 Amu(s)
(=>     (and         (instance ?ATOM Berkelium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 28940-28944	Physique est une instance de Berkelium physique est une instance de atome la mesure de physique est 247 Amu(s)
(=>     (and         (instance ?ATOM Beryllium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 27306-27310	Physique est une instance de Beryllium physique est une instance de atome la mesure de physique est 9.0122 Amu(s)
(=>     (and         (instance ?ATOM Bismuth)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 28698-28702	Physique est une instance de Bismuth physique est une instance de atome la mesure de physique est 208.980 Amu(s)
(=>     (and         (instance ?ATOM Boron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 27322-27326	Physique est une instance de Boron physique est une instance de atome la mesure de physique est 10.811 Amu(s)
(=>     (and         (instance ?ATOM Bromine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 27828-27832	Physique est une instance de Bromine physique est une instance de atome la mesure de physique est 79.909 Amu(s)
(=>     (and         (instance ?ATOM Cadmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 28052-28056	Physique est une instance de Cadmium physique est une instance de atome la mesure de physique est 112.40 Amu(s)
(=>     (and         (instance ?ATOM Caesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 28168-28172	Physique est une instance de Caesium physique est une instance de atome la mesure de physique est 132.90545 Amu(s)
(=>     (and         (instance ?ATOM Calcium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 27580-27584	Physique est une instance de Calcium physique est une instance de atome la mesure de physique est 40.08 Amu(s)
(=>     (and         (instance ?ATOM Californium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 249 Amu)))	Mid-level-ontology.kif 28957-28961	Physique est une instance de Californium physique est une instance de atome la mesure de physique est 249 Amu(s)
(=>     (and         (instance ?ATOM Carbon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 27341-27345	Physique est une instance de Carbon physique est une instance de atome la mesure de physique est 12.01115 Amu(s)
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners