(=>     (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	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 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	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 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	If an object is an instance of airport and very long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than 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	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 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	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=>     (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	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=>     (and         (instance ?AREA LandlockedArea)         (instance ?UNIT UnitOfLength))     (totalCoastline ?AREA         (MeasureFn 0.0 ?UNIT)))	Geography.kif 912-916	If a geographic area is an instance of landlocked area and an unit of measure is an instance of unit of length, then 0.0 the unit of measure(s) is a total coastline of the geographic area
(=>     (and         (instance ?ATOM Actinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 227 Amu)))	Mid-level-ontology.kif 28812-28816	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
(=>     (and         (instance ?ATOM Aluminum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 27478-27482	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
(=>     (and         (instance ?ATOM Americium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 243 Amu)))	Mid-level-ontology.kif 28918-28922	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
(=>     (and         (instance ?ATOM Antimony)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 28112-28116	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
(=>     (and         (instance ?ATOM Argon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 27561-27565	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(s)
(=>     (and         (instance ?ATOM Arsenic)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 27809-27813	If a physical is an instance of arsenic and the physical is an instance of atom, then the measure of the physical is 74.922 amu(s)
(=>     (and         (instance ?ATOM Astatine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 210 Amu)))	Mid-level-ontology.kif 28745-28749	If a physical is an instance of astatine and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
(=>     (and         (instance ?ATOM Barium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 28206-28210	If a physical is an instance of barium and the physical is an instance of atom, then the measure of the physical is 137.34 amu(s)
(=>     (and         (instance ?ATOM Berkelium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 28952-28956	If a physical is an instance of berkelium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
(=>     (and         (instance ?ATOM Beryllium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 27318-27322	If a physical is an instance of beryllium and the physical is an instance of atom, then the measure of the physical is 9.0122 amu(s)
(=>     (and         (instance ?ATOM Bismuth)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 28710-28714	If a physical is an instance of bismuth and the physical is an instance of atom, then the measure of the physical is 208.980 amu(s)
(=>     (and         (instance ?ATOM Boron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 27334-27338	If a physical is an instance of boron and the physical is an instance of atom, then the measure of the physical is 10.811 amu(s)
(=>     (and         (instance ?ATOM Bromine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 27840-27844	If a physical is an instance of bromine and the physical is an instance of atom, then the measure of the physical is 79.909 amu(s)
(=>     (and         (instance ?ATOM Cadmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 28064-28068	If a physical is an instance of cadmium and the physical is an instance of atom, then the measure of the physical is 112.40 amu(s)
(=>     (and         (instance ?ATOM Caesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 28180-28184	If a physical is an instance of caesium and the physical is an instance of atom, then the measure of the physical is 132.90545 amu(s)
(=>     (and         (instance ?ATOM Calcium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 27592-27596	If a physical is an instance of calcium and the physical is an instance of atom, then the measure of the physical is 40.08 amu(s)
(=>     (and         (instance ?ATOM Californium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 249 Amu)))	Mid-level-ontology.kif 28969-28973	If a physical is an instance of californium and the physical is an instance of atom, then the measure of the physical is 249 amu(s)
(=>     (and         (instance ?ATOM Carbon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 27353-27357	If a physical is an instance of carbon and the physical is an instance of atom, then the measure of the physical is 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