(<=>     (totalLengthOfWaterways ?AREA ?LENGTH)     (length         (KappaFn ?WATERWAY             (and                 (instance ?WATERWAY Waterway)                 (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=>     (totalPipelineInArea ?AREA ?LENGTH)     (length         (KappaFn ?PIPE             (and                 (instance ?PIPE Pipeline)                 (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>     (and         (amountDue ?Account ?Amount ?DueDate)         (accountHolder ?Account ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (instance ?Payment Payment)                 (transactionAmount ?Payment ?Amount)                 (or                     (destination ?Payment                         (CurrencyFn ?Account))                     (origin ?Payment                         (CurrencyFn ?Account)))                 (date ?Payment ?Date)                 (beforeOrEqual                     (EndFn ?Date)                     (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Buying ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (instance ?U UnitOfCurrency)         (askPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (lessThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Buy) ?BuyingTime)                 (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Selling ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (bidPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (instance ?U UnitOfCurrency)         (greaterThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Sell) ?SellingTime)                 (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2048-2069	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (attribute ?Order MarketOrder)         (attribute ?Broker Broker)         (partyToAgreement ?Order ?Broker)         (orderFor ?Order ?TransactionType ?Shares))     (holdsObligation         (KappaFn ?Transaction             (and                 (instance ?Transaction ?TransactionType)                 (patient ?Transaction ?Shares))) ?Broker))	FinancialOntology.kif 1998-2007	If market order is an attribute of a financial transaction and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction is order for another kind of financial transaction for a security, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (chromosomeSetCount ?SUB ?COLL ?I)         (subCollection ?SUB ?COLL))     (equal ?I         (CardinalityFn             (KappaFn ?I                 (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 835-842	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then equal the integer and the number of instances in the class described by the integer
(=>     (and         (instance ?AUCTIONS Collection)         (forall (?AUC)             (=>                 (member ?AUC ?AUCTIONS)                 (instance ?AUC Auctioning))))     (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)             (equal                 (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 3201-3214	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and equal the total purchase price of the collection and the entity_PURCHASE_AMOUNT
(=>     (and         (instance ?Account CreditAccount)         (accountHolder ?Account ?Agent)         (principalAmount ?Account ?Principal)         (agreementPeriod ?Account ?Period)         (interestEarned ?Account ?Interest ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (holdsObligation         (KappaFn ?Payment             (transactionAmount ?Payment ?Total)) ?Agent))	FinancialOntology.kif 1240-1249	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and equal an integer and (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?Account Loan)         (borrower ?Account ?Agent)         (principalAmount ?Account ?Principal)         (agreementPeriod ?Account ?Period)         (interestEarned ?Account ?Interest ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (holdsObligation         (KappaFn ?Payment             (transactionAmount ?Payment ?Total)) ?Agent))	FinancialOntology.kif 1289-1298	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a real number is a principal amount of the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval and equal an integer and (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER FinancialTransaction))))     (exists (?ITEM ?BUYING)         (equal             (CardinalityFn                 (KappaFn ?ITEM                     (and                         (instance ?ITEM Physical)                         (instance ?BUYING Buying)                         (member ?BUYING ?COLL)                         (patient ?BUYING ?ITEM))))             (BoughtItemsFn ?COLL))))	UXExperimentalTerms.kif 2886-2902	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then there exist a symbolic string and an entity such that equal the number of instances in the class described by the symbolic string and number of items purchased in the collection
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER WebListing))))     (exists (?BIDDING ?ITEM ?LISTING ?BIDDING)         (equal             (CardinalityFn                 (KappaFn ?BIDDING                     (and                         (instance ?ITEM Physical)                         (instance ?LISTING WebListing)                         (instance ?BIDDING Bidding)                         (member ?LISTING ?COLL)                         (objectOfBid ?BIDDING ?ITEM)                         (patient ?LISTING ?ITEM))))             (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2921-2939	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that equal the number of instances in the class described by the symbolic string and number of bids in the collection
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER WebListing))))     (exists (?LISTING ?SITE ?ITEM)         (equal             (DivisionFn                 (CardinalityFn                     (KappaFn ?LISTING                         (and                             (instance ?LISTING WebListing)                             (instance ?SITE WebSite)                             (instance ?ITEM Physical)                             (member ?LISTING ?COLL)                             (patient ?LISTING ?ITEM)                             (hostedOn ?LISTING ?SITE)                             (exists (?BUYING)                                 (and                                     (instance ?BUYING Buying)                                     (patient ?BUYING ?ITEM)                                     (eCommerceSite ?BUYING ?SITE))))))                 (CardinalityFn ?COLL))             (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2845-2870	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity and another entity such that equal the number of instances in the class described by the symbolic string and the number of instances in the collection and number of bids in the collection
(=>     (and         (instance ?EXPERIMENT Experimenting)         (instance ?INTERVAL TimeInterval))     (equal         (DivisionFn             (CardinalityFn                 (KappaFn ?PURCHASE                     (and                         (instance ?PURCHASE Buying)                         (member ?PURCHASE                             (QualifyingPurchasesFn ?EXPERIMENT))                         (during                             (WhenFn ?PURCHASE) ?INTERVAL))))             (CardinalityFn                 (KappaFn ?USER                     (and                         (member ?USER                             (TreatedUsersFn ?EXPERIMENT))                         (instance ?ACCESSING AccessingWebPage)                         (during                             (WhenFn ?ACCESSING) ?INTERVAL)                         (agent ?ACCESSING ?USER)))))         (PPIFn ?EXPERIMENT ?INTERVAL)))	UXExperimentalTerms.kif 3094-3113	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting during the time interval
(=>     (and         (instance ?EXPERIMENT Experimenting)         (instance ?INTERVAL TimeInterval))     (equal         (DivisionFn             (CardinalityFn                 (KappaFn ?PURCHASE                     (and                         (instance ?PURCHASE Buying)                         (member ?PURCHASE                             (QualifyingPurchasesFn ?EXPERIMENT)))))             (CardinalityFn                 (KappaFn ?USER                     (and                         (member ?USER                             (TreatedUsersFn ?EXPERIMENT))                         (instance ?ACCESSING AccessingWebPage)                         (agent ?ACCESSING ?USER)))))         (PPSFn ?EXPERIMENT)))	UXExperimentalTerms.kif 3055-3072	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting
(=>     (and         (instance ?GUN Gun)         (instance ?U UnitOfLength)         (effectiveRange ?GUN             (MeasureFn ?LM ?U))         (distance ?GUN ?O             (MeasureFn ?LM1 ?U))         (instance ?O Organism)         (not             (exists (?O2)                 (between ?O ?O2 ?GUN)))         (lessThanOrEqualTo ?LM1 ?LM))     (exists (?KILLING)         (capability             (KappaFn ?KILLING                 (and                     (instance ?KILLING Killing)                     (patient ?KILLING ?O))) instrument ?GUN)))	Mid-level-ontology.kif 1634-1653	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=>     (and         (instance ?GUN Gun)         (instance ?U UnitOfLength)         (effectiveRange ?GUN             (MeasureFn ?LM ?U))         (distance ?GUN ?O             (MeasureFn ?LM1 ?U))         (not             (exists (?O2)                 (between ?O ?O2 ?GUN)))         (lessThanOrEqualTo ?LM1 ?LM))     (exists (?DAMAGING)         (capability             (KappaFn ?DAMAGING                 (and                     (instance ?DAMAGING Damaging)                     (patient ?DAMAGING ?O))) instrument ?GUN)))	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=>     (and         (instance ?HP HearingProtection)         (instance ?PERSON Human)         (wears ?PERSON ?HP))     (hasPurpose ?HP         (exists (?PROC ?INJ ?I)             (and                 (instance ?PROC Process)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?SOUND ?HEAR ?HUMAN ?T)                                 (and                                     (instance ?SOUND RadiatingSound)                                     (instance ?HEAR Hearing)                                     (instance ?HUMAN Human)                                     (patient ?HEAR ?SOUND)                                     (experiencer ?HEAR ?HUMAN)                                     (causes ?HEAR ?I)                                     (experiencer ?I ?HUMAN)                                     (=>                                         (holdsDuring ?T                                             (experiencer ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROC ?PERSON)))))))))                 (prevents ?PROC ?INJ)                 (instrument ?PROC ?HP)))))	Cars.kif 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
(=>     (and         (instance ?Loan BalloonLoan)         (maturityDate ?Loan ?Date)         (totalBalance ?Loan ?Amount)         (borrower ?Loan ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (date ?Payment ?Date)                 (transactionAmount ?Payment ?Amount)                 (destination ?Payment                     (CurrencyFn ?Loan)))) ?Agent))	FinancialOntology.kif 1427-1437	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?Loan CallableLoan)         (lender ?Loan ?Lender)         (borrower ?Loan ?Borrower)         (totalBalance ?Loan ?Amount)         (instance ?Call Call)         (agent ?Call ?Lender)         (patient ?Call ?Loan))     (holdsObligation         (KappaFn ?Payment             (and                 (destination ?Payment ?Lender)                 (time ?Payment                     (ImmediateFutureFn                         (WhenFn ?Call)))                 (transactionAmount ?Payment ?Amount))) ?Borrower))	FinancialOntology.kif 1444-1459	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?PAGE SearchResultsPage)         (instance ?RESULTS SRPResults)         (component ?RESULTS ?PAGE))     (equal         (DivisionFn             (CardinalityFn                 (KappaFn ?CLICK                     (and                         (instance ?CLICK RequestingHyperlink)                         (patient ?CLICK ?ELEMENT)                         (destination ?CLICK ?LINKEDPAGE)                         (instance ?ELEMENT HypertextLink)                         (component ?ELEMENT ?PAGE)                         (or                             (instance ?LINKEDPAGE ProductDescriptionPage)                             (instance ?LINKEDPAGE ViewItemPage)))))             (ListLengthFn ?RESULTS))         (SRPEngagementFn ?PAGE)))	UXExperimentalTerms.kif 3720-3738	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then equal the number of instances in the class described by a symbolic string and length of the list and qualifying clicks on the search results page
(=>     (and         (instance ?PROJ Projectile)         (caliber ?GUNCLASS ?LM)         (instance ?GUN ?GUNCLASS)         (width ?PROJ ?LM1)         (equal ?LM ?LM1))     (capability         (KappaFn ?SHOOTING             (and                 (instance ?SHOOTING Shooting)                 (patient ?SHOOTING ?PROJ))) instrument ?GUN))	MilitaryDevices.kif 390-402	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and equal the length measure and the length measure1, then the object is capable of doing the class described by a symbolic string as a instrument
(=>     (and         (instance ?PURCHASES Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?PURCHASES)                 (instance ?MEMBER Buying)))         (exists (?REGION)             (and                 (instance ?REGION GeopoliticalArea)                 (forall (?BUYER ?BUYING)                     (=>                         (and                             (instance ?BUYER AutonomousAgent)                             (instance ?BUYING Buying)                             (member ?BUYING ?PURCHASES)                             (agent ?BUYING ?BUYER))                         (located ?BUYER ?REGION))))))     (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (and                         (instance ?PURCHASE Buying)                         (member ?PURCHASE ?PURCHASES)                         (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)             (equal                 (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 2955-2982	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and equal the value of the collection and the other entity_PURCHASE_AMOUNT
(=>     (and         (instance ?PY Pyramid)         (instance ?POL Polygon)         (faceOfFigure ?POL ?PY)         (sideOfFigure ?S ?POL)         (instance ?T Triangle)         (faceOfFigure ?T ?PY)         (sideOfFigure ?S ?T)         (sideOfIntersection ?POL ?T ?S))     (equal         (CardinalityFn             (KappaFn ?S                 (sideOfFigure ?S ?POL)))         (CardinalityFn             (KappaFn ?T                 (faceOfFigure ?T ?PY)))))	Mid-level-ontology.kif 5363-5379	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then equal the number of instances in the class described by the one dimensional figure and the number of instances in the class described by the symbolic string
(=>     (and         (instance ?SALES Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?SALES)                 (instance ?MEMBER Selling)))         (exists (?REGION)             (and                 (instance ?REGION GeopoliticalArea)                 (forall (?SELLER ?SELLING)                     (=>                         (and                             (instance ?SELLER AutonomousAgent)                             (instance ?SELLING Buying)                             (member ?SELLING ?SALES)                             (agent ?SELLING ?SELLER))                         (located ?SELLER ?REGION))))))     (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (and                         (instance ?SALE Selling)                         (member ?SALE ?SALES)                         (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)             (equal                 (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))	UXExperimentalTerms.kif 2998-3025	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and equal the value of the collection and the other entity_SALE_AMOUNT
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