(=>     (and         (instance ?SOUND RadiatingSound)         (agent ?SOUND ?OBJ)         (attribute ?SOUND Audible))     (exists (?HUMAN ?HEAR)         (and             (instance ?HUMAN Human)             (capability                 (KappaFn ?HEAR                     (and                         (instance ?HEAR Hearing)                         (agent ?HEAR ?HUMAN)                         (destination ?HEAR ?HUMAN)                         (origin ?HEAR ?OBJ))) agent ?HUMAN))))	Merge.kif 13764-13778	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exist an object and a symbolic string such that the object is an instance of human and the object is capable of doing the class described by the symbolic string as a agent
(=>     (and         (instance ?VISITS Collection)         (instance ?PURCHASES Collection)         (subCollection ?PURCHASES ?VISITS)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?VISITS)                 (instance ?MEMBER AccessingWebPage)))         (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)             (=>                 (and                     (instance ?VISITOR Human)                     (instance ?BUYING Buying)                     (instance ?ACCESSING AccessingWebPage)                     (instance ?PAGE WebPage)                     (member ?ACCESSING ?VISITS)                     (destination ?ACCESSING ?PAGE)                     (agent ?BUYING ?VISITOR)                     (agent ?ACCESSING ?VISITOR)                     (during                         (WhenFn ?BUYING)                         (WhenFn ?ACCESSING))                     (instrument ?BUYING ?PAGE))                 (member ?BUYING ?PURCHASES))))     (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)         (equal             (SCRFn ?VISITS ?INTERVAL)             (DivisionFn                 (CardinalityFn                     (KappaFn ?PURCHASE_IN_INTERVAL                         (and                             (member ?PURCHASE_IN_INTERVAL ?PURCHASES)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))                 (CardinalityFn                     (KappaFn ?VISIT_IN_INTERVAL                         (and                             (member ?VISIT_IN_INTERVAL ?VISITS)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal purchases made in the collection during the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=>     (and         (maximumPayloadCapacity ?V             (MeasureFn ?WEIGHT ?UNITWEIGHT))         (maximumPayloadHeightWidth ?V             (MeasureFn ?HEIGHT ?UNITHEIGHT)             (MeasureFn ?WIDTH ?UNITWIDTH))         (instance ?O SelfConnectedObject)         (weight ?O             (MeasureFn ?WEO ?WEOU))         (width ?O             (MeasureFn ?WO ?WOU))         (height ?O             (MeasureFn ?HO ?HOU))         (equal ?WEOU ?UNITWEIGHT)         (equal ?WOU ?UNITWIDTH)         (equal ?HOU ?UNITHEIGHT)         (lessThanOrEqualTo ?WEO ?WEIGHT)         (lessThanOrEqualTo ?WO ?WIDTH)         (lessThanOrEqualTo ?HO ?HEIGHT))     (capability         (KappaFn ?TRANSPORT             (and                 (instance ?TRANSPORT Transportation)                 (patient ?TRANSPORT ?O))) instrument ?V))	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
(=>     (and         (property ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsRight         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2686-2702	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
(=>     (and         (property ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsRight         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2640-2656	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2704-2720	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Seller)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Seller))	FinancialOntology.kif 2658-2676	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (atomicNumber ?TYPE ?NUMBER)     (=>         (and             (instance ?SUBSTANCE ?TYPE)             (part ?ATOM ?SUBSTANCE)             (instance ?ATOM Atom))         (equal ?NUMBER             (CardinalityFn                 (KappaFn ?PROTON                     (and                         (part ?PROTON ?ATOM)                         (instance ?PROTON Proton)))))))	Merge.kif 13931-13943	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then equal the positive integer and the number of instances in the class described by a symbolic string
(=>     (attribute ?X Celebrity)     (exists (?A)         (greaterThan             (CardinalityFn                 (KappaFn ?A                     (acquaintance ?A ?X))) 1000)))	Mid-level-ontology.kif 23816-23823	If celebrity is an attribute of an object, then there exists a symbolic string such that the number of instances in the class described by the symbolic string is greater than 1000
(=>     (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)     (equal ?INTEGER         (CardinalityFn             (KappaFn ?SATELLITE                 (and                     (instance ?SATELLITE ?SATELLITETYPE)                     (instance ?SYSTEM CommunicationSystem)                     (located ?SYSTEM ?AREA)                     (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))	Communications.kif 142-151	If there are an integer communiation satellite of type a kind of satellite in a geopolitical area, then equal the integer and the number of instances in the class described by a symbolic string
(=>     (electronNumber ?SUBSTANCE ?NUMBER)     (=>         (exists (?ATOM)             (and                 (part ?ATOM ?SUBSTANCE)                 (or                     (instance ?ATOM Atom)                     (instance ?ATOM Molecule))))         (exists (?ELECTRON)             (equal ?NUMBER                 (CardinalityFn                     (KappaFn ?ELECTRON                         (and                             (part ?ELECTRON ?ATOM)                             (instance ?ELECTRON Electron))))))))	Mid-level-ontology.kif 23330-23345	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that equal the positive integer and the number of instances in the class described by the symbolic string
(=>     (equal ?WKBMC         (WeekBeforeMenstruationFn ?W))     (equal ?WKBC         (KappaFn ?C             (and                 (instance ?C Week)                 (exists (?M)                     (and                         (instance ?M Menstruation)                         (experiencer ?M ?W)                         (equal ?C                             (WeekBeforeFn                                 (WhenFn ?M)))))))))	Medicine.kif 1514-1527	If equal a class and week before menstruation a woman, then equal the womanKBC and the class described by a symbolic string
(=>     (exactCardinality ?REL ?ARG ?COUNT)     (exists (?EL @ARGS)         (equal             (CardinalityFn                 (KappaFn ?EL                     (and                         (?REL @ARGS)                         (equal ?EL                             (ListOrderFn                                 (ListFn @ARGS) ?ARG))))) ?COUNT)))	Media.kif 2127-2136	If there can be an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that equal the number of instances in the class described by the symbolic string and the integer
(=>     (grossMerchandiseBoughtInPeriod ?A ?O ?CM ?TP)     (and         (monetaryValue ?CI ?CM)         (instance ?CI             (KappaFn ?COL                 (and                     (instance ?B Buying)                     (instance ?ITEM ?COL)                     (agent ?B ?A)                     (patient ?B ?ITEM)                     (patient ?B ?O)                     (during ?B ?TP))))))	ComputerInput.kif 2977-2989	If the value of everything purchased by an agent for an organization during a time interval is a currency measure, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
(=>     (grossMerchandiseSoldInPeriod ?A ?O ?CM ?TP)     (and         (monetaryValue ?CI ?CM)         (instance ?CI             (KappaFn ?COL                 (and                     (instance ?S Selling)                     (instance ?ITEM ?COL)                     (agent ?S ?A)                     (patient ?S ?ITEM)                     (patient ?S ?O)                     (during ?S ?TP))))))	ComputerInput.kif 3001-3013	If GMV an agent, an organization, a currency measure and a time interval, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
(=>     (holdsDuring ?T         (attribute ?X SafetyPosition))     (holdsDuring ?T         (hasPurpose ?X             (exists (?P ?H ?I ?T2)                 (and                     (instance ?H Human)                     (instance ?P Process)                     (patient ?P ?H)                     (agent ?P ?X)                     (prevents ?P                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (=>                                     (holdsDuring ?T2                                         (experiencer ?I ?H))                                     (not                                         (holdsDuring ?T2                                             (patient ?P ?H))))))))))))	Mid-level-ontology.kif 32641-32661	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
(=>     (instance ?ANTIBIOTIC Antibiotic)     (exists (?KILL ?BACTERIUM)         (capability             (KappaFn ?KILL                 (and                     (instance ?KILL Killing)                     (patient ?KILL ?BACTERIUM)                     (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))	WMD.kif 1264-1272	If an object is an instance of antibiotic, then there exist a symbolic string and an entity such that the object is capable of doing the class described by the symbolic string as a agent
(=>     (instance ?BOX Box)     (equal         (CardinalityFn             (KappaFn ?SIDE                 (or                     (top ?SIDE ?BOX)                     (bottom ?SIDE ?BOX)                     (side ?SIDE ?BOX)))) 6))	Mid-level-ontology.kif 4921-4929	If an entity is an instance of box, then equal the number of instances in the class described by a symbolic string and 6
(=>     (instance ?C Cube)     (equal         (CardinalityFn             (KappaFn ?F                 (faceOfFigure ?F ?C))) 6))	Mid-level-ontology.kif 5415-5420	If an entity is an instance of cube, then equal the number of instances in the class described by a symbolic string and 6
(=>     (instance ?CAR PassengerRailcar)     (exists (?CARRY)         (capability             (KappaFn ?CARRY                 (and                     (instance ?CARRY Transportation)                     (exists (?HUMAN)                         (and                             (instance ?HUMAN Human)                             (patient ?CARRY ?HUMAN))))) instrument ?CAR)))	Transportation.kif 2302-2312	If an object is an instance of passenger railcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument
(=>     (instance ?Loan PiggybankLoan)     (equal         (CardinalityFn             (KappaFn ?Lender                 (lender ?Loan ?Lender))) 2))	FinancialOntology.kif 1604-1606	If an entity is an instance of piggybank loan, then equal the number of instances in the class described by a symbolic string and 2
(=>     (instance ?P Polyhedron)     (greaterThanOrEqualTo         (CardinalityFn             (KappaFn ?F                 (faceOfFigure ?F ?P))) 4))	Mid-level-ontology.kif 5323-5328	If an entity is an instance of polyhedron, then the number of instances in the class described by a symbolic string is greater than or equal to 4
(=>     (instance ?P SquarePyramid)     (equal         (CardinalityFn             (KappaFn ?F                 (faceOfFigure ?F ?P))) 4))	Mid-level-ontology.kif 5400-5405	If an entity is an instance of square pyramid, then equal the number of instances in the class described by a symbolic string and 4
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (=>             (exists (?PERSON)                 (and                     (instance ?PERSON Human)                     (wears ?PERSON ?PE)))             (exists (?PROTECT ?EYE ?INJ ?I ?T)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?PE)                     (subclass ?INJ                         (KappaFn ?I                             (exists (?HUMAN)                                 (and                                     (instance ?I Injuring)                                     (instance ?EYE Eye)                                     (instance ?HUMAN Human)                                     (properPart ?EYE ?HUMAN)                                     (patient ?I ?EYE)                                     (=>                                         (holdsDuring ?T                                             (patient ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROTECT ?PERSON))))))))                     (prevents ?PROTECT ?INJ))))))	Cars.kif 3543-3570	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
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