(<=>     (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (currencyExchangeRate ?UNIT ?AMOUNT)))))	Economy.kif 3668-3673	An unit of currency currency exchange rate in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a currency exchange rate of the unit of currency holds during the time position
(<=>     (customer ?AGENT1 ?AGENT2)     (exists (?SERVICE)         (and             (instance ?SERVICE FinancialTransaction)             (agent ?SERVICE ?AGENT2)             (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7727-7733	An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
(<=>     (customerRepresentative ?Person1 ?Person2 ?Org)     (exists (?Service)         (and             (instance ?Service FinancialTransaction)             (employs ?Org ?Person1)             (agent ?Service ?Person1)             (destination ?Service ?Person2))))	FinancialOntology.kif 3635-3642	A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
(<=>     (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (economicAidDonated ?COUNTRY ?AMOUNT)))))	Economy.kif 2819-2824	A geopolitical area is economic aid donated in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid donated of the geopolitical area holds during the time position
(<=>     (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))	Economy.kif 2859-2864	A geopolitical area is economic aid received net in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid received net of the geopolitical area holds during the time position
(<=>     (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))	Economy.kif 2056-2061	A geopolitical area is electricity fraction from source in period a kind of power generation for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is electricity fraction from source a kind of power generation for the real number holds during the time position
(<=>     (equal         (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)     (and         (equal ?MALECOUNT             (CardinalityFn                 (KappaFn ?MALE                     (and                         (instance ?MALE Human)                         (attribute ?MALE Male)                         (inhabits ?MALE ?AREA)))))         (equal ?FEMALECOUNT             (CardinalityFn                 (KappaFn ?FEMALE                     (and                         (instance ?FEMALE Human)                         (attribute ?FEMALE Female)                         (inhabits ?FEMALE ?AREA)))))         (equal             (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 206-223	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
(<=>     (exists (?Rate)         (fixedInterestRate ?Account ?Rate))     (instance ?Account FixedRateAccount))	FinancialOntology.kif 981-984	There exists a number such that the number is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account
(<=>     (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2549-2554	A geopolitical area export partner by fraction in period another geopolitical area for a positive real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area export partner by fraction the other geopolitical area for the positive real number holds during the time position
(<=>     (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2511-2516	A geopolitical area export partner by rank in period another geopolitical area for a positive integer with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area export partner by rank the other geopolitical area for the positive integer holds during the time position
(<=>     (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2387-2392	An agent export partner in period another agent for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the other agent is an export partner of the agent holds during the time position
(<=>     (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (externalDebt ?COUNTRY ?AMOUNT)))))	Economy.kif 2775-2780	A geopolitical area is external debt in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an external debt of the geopolitical area holds during the time position
(<=>     (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))	Economy.kif 1279-1284	A geopolitical area is highest decile share of household income in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the real number is a highest decile share of household income of the geopolitical area holds during the time position
(<=>     (holdsDuring ?T         (attribute ?A Barefoot))     (holdsDuring ?T         (not             (exists (?S)                 (and                     (instance ?S Shoe)                     (wears ?A ?S))))))	Mid-level-ontology.kif 30132-30140	Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position
(<=>     (holdsDuring ?T         (attribute ?A Naked))     (holdsDuring ?T         (not             (exists (?C)                 (and                     (instance ?C Clothing)                     (wears ?A ?C))))))	Mid-level-ontology.kif 30145-30153	Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position
(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 30223-30236	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(<=>     (holdsDuring ?T         (attribute ?P Mute))     (not         (exists (?S)             (and                 (instance ?S Speaking)                 (during                     (WhenFn ?S) ?T)                 (agent ?S ?P)))))	Mid-level-ontology.kif 30271-30279	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
(<=>     (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2742-2747	A geopolitical area import partner by fraction in period another geopolitical area for a positive real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area import partner by fraction the other geopolitical area for the positive real number holds during the time position
(<=>     (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2704-2709	A geopolitical area import partner by rank in period another geopolitical area for a positive integer with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area import partner by rank the other geopolitical area for the positive integer holds during the time position
(<=>     (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2674-2679	An agent import partner in period another agent for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the other agent is an import partner of the agent holds during the time position
(<=>     (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (incomeDistributionByGiniIndex ?AREA ?INDEX)))))	Economy.kif 1318-1323	A geopolitical area income distribution by gini index in period a nonnegative real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the nonnegative real number is an income distribution by gini index of the geopolitical area holds during the time position
(<=>     (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (industrialProductionGrowthRate ?AREA ?RATE)))))	Economy.kif 1949-1954	A geopolitical area is industrial production growth rate in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the real number is an industrial production growth rate of the geopolitical area holds during the time position
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Female)))	Mid-level-ontology.kif 20200-20204	An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Male)))	Mid-level-ontology.kif 20218-20222	An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
(<=>     (instance ?BONE Bone)     (exists (?SKELETON)         (and             (or                 (instance ?SKELETON Skeleton)                 (instance ?SKELETON Exoskeleton))             (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 11682-11689	An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
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