(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WoodProduct)         (subclass ?S PlantStem))     (exists (?T)         (and             (subclass ?T BotanicalTree)             (initialPart ?S ?T))))	Economy.kif 5576-5585	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
(=>     (and         (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (exists (?YEAR)         (and             (instance ?YEAR ?PERIOD)             (holdsDuring ?YEAR                 (annualExportTotal ?AREA ?AMOUNT)))))	Economy.kif 2517-2526	If a geopolitical area export total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual export total of the geopolitical area holds during the time position
(=>     (and         (freeRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (price ?O         (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
(=>     (and         (freeRoomAmenity ?ROOM ?PROC)         (subclass ?PROC Process)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (patient ?P ?GUEST)         (or             (instance ?P ?PROC)             (and                 (instance ?S ?PROC)                 (subProcess ?P ?S)))         (located ?P ?R))     (price ?P         (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the human
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=>     (and         (guest ?CUST ?HOTEL)         (stays ?CUST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?R ?ROOM)         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (exists (?O)         (and             (instance ?O ?OBJ)             (located ?O ?R)             (confersRight                 (exists (?PROC)                     (and                         (agent ?PROC ?CUST)                         (or                             (instrument ?PROC ?O)                             (patient ?PROC ?O)                             (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Book))     (holdsDuring ?T1         (attribute ?AGENT BookPublishers)))	Media.kif 1902-1906	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS MusicalComposition))     (holdsDuring ?T1         (attribute ?AGENT MusicPublishers)))	Media.kif 1890-1894	If an entity publishes a class holds during a time position and the class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Newspaper))     (holdsDuring ?T1         (attribute ?AGENT NewspaperPublishers)))	Media.kif 1914-1918	If an entity publishes a class holds during a time position and the class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Periodical))     (holdsDuring ?T1         (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1908-1912	If an entity publishes a class holds during a time position and the class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Text))     (holdsDuring ?T1         (attribute ?AGENT InformationIndustries)))	Media.kif 1896-1900	If an entity publishes a class holds during a time position and the class is a subclass of text, then information industry is an attribute of the entity holds during the time position
(=>     (and         (holdsDuring ?YEAR             (annualElectricityConsumption ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2363-2370	If a physical quantity is an annual electricity consumption of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity consumption in period the physical quantity for the kind of time interval
(=>     (and         (holdsDuring ?YEAR             (annualElectricityExport ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2407-2414	If a physical quantity is an annual electricity export of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity export in period the physical quantity for the kind of time interval
(=>     (and         (holdsDuring ?YEAR             (annualElectricityImport ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2453-2460	If a physical quantity is an annual electricity import of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity import in period the physical quantity for the kind of time interval
(=>     (and         (holdsDuring ?YEAR             (annualElectricityProduction ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2231-2238	If a physical quantity is an annual electricity production of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity production in period the physical quantity for the kind of time interval
(=>     (and         (holdsDuring ?YEAR             (annualExportTotal ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2528-2535	If a currency measure is an annual export total of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area export total in period the currency measure for the kind of time interval
(=>     (and         (holdsDuring ?YEAR             (annualImportTotal ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2931-2938	If a currency measure is an annual import total of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area import total in period the currency measure for the kind of time interval
(=>     (and         (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (exists (?YEAR)         (and             (instance ?YEAR ?PERIOD)             (holdsDuring ?YEAR                 (annualImportTotal ?AREA ?AMOUNT)))))	Economy.kif 2920-2929	If a geopolitical area import total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual import total of the geopolitical area holds during the time position
(=>     (and         (instance ?AGENT AutonomousAgent)         (subclass             (ElectionFn ?AGENT) Election))     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (and         (instance ?AREA ?TYPE)         (subclass ?TYPE ClimateZone))     (climateTypeInArea ?AREA ?TYPE))	Geography.kif 1394-1398	If a geographic area is an instance of a kind of climate zone and a kind of climate zone is a subclass of climate zone, then the kind of climate zone is a climate type in area of the geographic area
(=>     (and         (instance ?AREA ?TYPE)         (subclass ?TYPE MaritimeClaimArea)         (claimedTerritory ?AREA ?POLITY))     (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 1129-1134	If a geographic area is an instance of a kind of maritime claim area and a kind of maritime claim area is a subclass of maritime claim area and a geopolitical area is a claimed territory of the geographic area, then the kind of maritime claim area is a maritime claim type of the geopolitical area
(=>     (and         (instance ?AREA LandlockedArea)         (subclass ?CLAIM MaritimeClaimArea))     (not         (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 1114-1118	If a geopolitical area is an instance of landlocked area and a kind of maritime claim area is a subclass of maritime claim area, then a kind of maritime claim area is not a maritime claim type of the geopolitical area
(=>     (and         (instance ?B Buying)         (patient ?B ?ITEM)         (origin ?B ?AGENT)         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validPaymentType ?PS ?PAY))     (modalAttribute         (exists (?PAYMENT)             (and                 (instance ?PAYMENT ?PAY)                 (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
(=>     (and         (instance ?CS1 ?CLASS)         (subclass ?CLASS CompoundSubstance)         (not             (exists (?CS2)                 (and                     (instance ?CS2 ?CLASS)                     (part ?CS2 ?CS1))))         (molecularRatio ?ECLASS ?N ?CLASS)         (instance ?G Group)         (member ?E ?G)         (part ?E ?CS1)         (instance ?E ?ECLASS))     (memberCount ?G ?N))	Mid-level-ontology.kif 23356-23370	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
(=>     (and         (instance ?GEO             (GeographicPartTypeFn ?TYPE ?AREA))         (subclass ?TYPE GeopoliticalArea)         (instance ?AREA GeopoliticalArea))     (geopoliticalSubdivision ?GEO ?AREA))	Geography.kif 7235-7240	If a geopolitical area is an instance of all the instances of a kind of geographic area in another geopolitical area and a kind of geographic area is a subclass of geopolitical area and the other geopolitical area is an instance of geopolitical area, then the geopolitical area is a geopolitical part of the other geopolitical area
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