Term | Doc |
---|---|
identicalListItems | (identicalListItems ?LIST1 ?LIST2) means that ?LIST1 and ?LIST2 have exactly the same items in their respective lists. Although ?LIST1 and ?LIST2 are required to share exactly the same items, they may order these items differently.[and full SUMO definition] |
identityElement | An object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST.[and full SUMO definition] |
ideologicalAffiliationOfOrganization | (ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals of ?ORG is to realize the FormOfGovernment ?GOV.[and full SUMO definition] |
idleStatePowerConsumption | The average power used by a device while it is in idle state.[and full SUMO definition] |
imageResolution | The degree of sharpness of a displayed or printed image.[and full SUMO definition] |
immediateInstance | An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class.[and full SUMO definition] |
immediateSubclass | A Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.[and full SUMO definition] |
implementsProtocol | A Relation that specifies that a ComputerProgram impelements and conforms to a given ComputerProtocol.[and full SUMO definition] |
importCommodityType | (importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA imports the commodity ?TYPE.[and full SUMO definition] |
importCommodityTypeByRank | (importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH most valuable import.[and full SUMO definition] |
importPartner | (importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2.[and full SUMO definition] |
importPartnerByFraction | (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1, based on U.S. dollar value of imports.[and full SUMO definition] |
importPartnerByFractionInPeriod | (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1 during the TimeInterval ?PERIOD, in U.S. dollar value of imports.[and full SUMO definition] |
importPartnerByRank | (importPartnerByRank ?AREA1 ?AREA2 ?NTH) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 is the ?NTH most important import partner of ?AREA1, based on U.S. dollar value of imports.[and full SUMO definition] |
importPartnerByRankInPeriod | (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 is the ?NTH most important import partner of ?AREA1 during the TimeInterval ?PERIOD, based on U.S. dollar value of imports.[and full SUMO definition] |
importPartnerInPeriod | (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2 during the TimeInterval indicated by ?PERIOD.[and full SUMO definition] |
importTotalInPeriod | (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis.[and full SUMO definition] |
inList | The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the List ?LIST. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.[and full SUMO definition] |
inScopeOfInterest | A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.[and full SUMO definition] |
inString | (inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString.[and full SUMO definition] |
inTheMoney | A call option is in the money if the stock price is above the strike price. A put option is in the money if the stock price is below the strike price.[and full SUMO definition] |
includedMeal | (includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN[and full SUMO definition] |
income | (incomeOf ?Agent ?Money ?Period) means that ?Money is the amount of money or its equivalent received during a period of time in exchange for labor or services, from the sale of goods or property, or as profit from financial investments[and full SUMO definition] |
incomeDistributionByGiniIndex | (incomeDistributionByGiniIndex ?AREA ?INDEX) means that in the GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, as measured by the Gini index for family income distribution.[and full SUMO definition] |
incomeDistributionByGiniIndexInPeriod | (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) means that in the GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, as measured by the Gini index, during the TimeInterval indicated by ?PERIOD.[and full SUMO definition] |
incomeEarned | (incomeEarned ?Agent ?Money ?Action) means that ?Agent earned the amount of money ?Money from performing ?Action. Note that incomeEarned denotes that amount of money made before taxes are deducted.[and full SUMO definition] |
increasesLikelihood | One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.[and full SUMO definition] |
independenceDate | (independenceDate ?AREA ?DATE) means that the GeopoliticalArea ?AREA achieved its sovereignty on the date ?DATE. For example, (independenceDate Afghanistan (DayFn 19 (MonthFn August (YearFn 1919)))).[and full SUMO definition] |
independentProbability | One of the basic ProbabilityRelations. (independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.[and full SUMO definition] |
industrialProductionGrowthRate | (industrialProductionGrowthRate ?AREA ?RATE) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE.[and full SUMO definition] |
industrialProductionGrowthRateInPeriod | (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE, for the TimeInterval ?PERIOD.[and full SUMO definition] |
industryOfArea | (industryOfArea ?AREA ?SECTOR) means that the GeopoliticalArea ?AREA produces goods or services in the economic area ?SECTOR.[and full SUMO definition] |
industryProductType | (industryProductType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.[and full SUMO definition] |
industryRankByOutput | (industryRankByOutput ?AREA ?SECTOR ?NTH) means that in the GeopoliticalArea ?AREA, the economic area ?SECTOR is ?NTH with respect to the value of its annual output.[and full SUMO definition] |
industryServiceType | (industryServiceType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE.[and full SUMO definition] |
inflationRateInCountry | The annually percentage increase in the price of goods and services for the given Nation and TimeInterval.[and full SUMO definition] |
inflationRateOfConsumerPricesInPeriod | (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the annual change in consumer prices was ?FRACTION, for the TimeInterval indicated by ?PERIOD, compared with prices from the prior period.[and full SUMO definition] |
ingredient | (ingredient ?ING ?S) means that ?ING is a material that makes up ?S[and full SUMO definition] |
ingredientAmount | (ingredientAmount ?ING ?FOOD ?AMT means that ?AMT of ?ING is used to make ?FOOD[and full SUMO definition] |
inhabits | A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.[and full SUMO definition] |
inhibits | The AutonomousAgent takes actions that are intended to make instances of the Process less likely. Note that this is very general, so it is likely that practical use of this relation would involve KappaFn, say to create the class of all of a certain kind of action within a bounded time and place.[and full SUMO definition] |
initialList | (initialList ?LIST1 ?LIST2) means that ?LIST1 is a subList of ?LIST2 and (ListOrderFn ?LIST1 ?NUMBER) returns the same value as (ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (ListOrderFn ?LIST1 ?NUMBER) is defined.[and full SUMO definition] |
initialPart | Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole necessarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to part.[and full SUMO definition] |
initiallyContainsPart | Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part.[and full SUMO definition] |
instance | An object is an instance of a Class if it is included in that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.[and full SUMO definition] |
instrument | (instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair.[and full SUMO definition] |
insured | (insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.[and full SUMO definition] |
intelligenceQuotient | (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON. The I.Q. of a person is the ratio of their mental age (determined by a standardized test) divided by their chronological age, multiplied by 100.[and full SUMO definition] |
interestEarned | (interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the FinancialAccount ?Account, for the duration ?Period.[and full SUMO definition] |
interestRatePerPeriod | (interestRatePerPeriod ?ACCOUNT ?RATE ?TIME) means that ?RATE is the interest per the period TIME divided by principal amount, expressed as a percentage[and full SUMO definition] |
interiorPart | (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2.[and full SUMO definition] |
internetCountryCode | (internetCountryCode ?AREA ?CODE) relates a GeopoliticalArea to the SymbolicString ?CODE used to identify the ?AREA on internet websites.[and full SUMO definition] |
invadingVirus | (invadingVirus ?CELLINV ?VIRUS) means that ?VIRUS is a virus that invades a host cell in the cell invasion ?CELLINV. If the invasion results in a replication, it is the genome of the invading virus that is replicated. The original virus is destroyed but replicated in the process.[and full SUMO definition] |
inventory | (inventory ?CBO ?COLLECTION) means that the ContentBearingObject ?CBO contains a list or enumeration of the members of the Collection ?COLLECTION.[and full SUMO definition] |
inverse | The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.[and full SUMO definition] |
involvedInEvent | (involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.[and full SUMO definition] |
ipAddressOf | (ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of the computer ?HOST.[and full SUMO definition] |
ipOfDomain | The IPAddress of a given InternetDomain. Note that an ip address may have several different domain names.[and full SUMO definition] |
irrigatedLandArea | (irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land.[and full SUMO definition] |
issuedBy | (issuedBy ?Certificate ?Agent) means that a Certificate ?Certificate is produced and offered by ?Agent.[and full SUMO definition] |