consequent

(=>     (and         (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)         (or             (equal ?ATTR Obligation)             (equal ?ATTR Promise)))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 15440-15450	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and equal the deontic attribute and obligation or equal the deontic attribute and promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
(=>     (and         (albumCoverImage ?A ?I)         (instance ?CD             (AlbumCopiesFn ?A ?DS))         (contains ?C ?CD))     (modalAttribute         (part ?I             (FrontFn ?C)) Likely))	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
(=>     (and         (allergic ?H ?S)         (instance ?SUB ?S)         (holdsDuring ?T             (meetsSpatially ?SUB ?H)))     (modalAttribute         (exists (?AR)             (and                 (instance ?AR AllergicReaction)                 (experiencer ?AR ?H)                 (overlapsTemporally ?T                     (WhenFn ?AR))                 (before                     (BeginFn ?T)                     (BeginFn                         (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 7164-7177	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
(=>     (and         (defaultMaxValue ?REL ?ARG ?N)         (?REL @ARGS)         (equal ?VAL             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (modalAttribute         (greaterThan ?N ?VAL) Likely))	Merge.kif 18655-18660	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal an integer and the positive integerth element of (@ARGS), then the statement the quantity is greater than the integer has the modal force of likely
(=>     (and         (defaultMinValue ?REL ?ARG ?N)         (?REL @ARGS)         (equal ?VAL             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (modalAttribute         (greaterThan ?VAL ?N) Likely))	Merge.kif 18638-18643	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal an integer and the positive integerth element of (@ARGS), then the statement the integer is greater than the quantity has the modal force of likely
(=>     (and         (defaultValue ?REL ?ARG ?N)         (?REL @ARGS)         (equal ?VAL             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (modalAttribute         (equal ?N ?VAL) Likely))	Merge.kif 18672-18677	If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal an integer and the positive integerth element of (@ARGS), then the statement equal the quantity and the integer has the modal force of likely
(=>     (and         (employs ?ORG ?P)         (employs ?ORG ?CO)         (instance ?D DoNetworkMessaging)         (result ?D ?MSG)         (attribute ?MSG NSFW)         (agent ?D ?P)         (instance ?S Seeing)         (patient ?S ?MSG)         (agent ?S ?CO))     (modalAttribute         (exists (?PROC)             (and                 (causes ?D ?PROC)                 (suffers ?PROC ?P))) Likely))	Medicine.kif 3023-3039	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
(=>     (and         (engineIdleSpeed ?E             (RotationFn                 (MeasureFn ?N1 MilesPerHour) ?M))         (instance ?A Automobile)         (instance ?P GasPedal)         (instance ?P Pushing)         (destination ?P ?GP)         (part ?E ?A)         (part ?GP ?A)         (instance ?C Crankshaft)         (part ?C ?E)         (holdsDuring             (WhenFn ?P)             (measure ?C                 (RotationFn                     (MeasureFn ?N2 MilesPerHour) ?M))))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Cars.kif 2569-2587	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Hardwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S DeciduousTree) Likely))	Economy.kif 5620-5627	If equal an object and Object made from a kind of organic object and the object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Softwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S Conifer) Likely))	Economy.kif 5745-5752	If equal an object and Object made from a kind of organic object and the object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifer has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?A ?ES))         (actionTendency ?ES ?PI))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?PI)                 (during                     (WhenFn ?P) ?T)                 (experiencer ?P ?A))) Likely))	emotion.kif 161-172	If an emotional state is an attribute of an entity holds during a time position and action tendency the emotional state and a kind of emotional behavioral process, then the statement there exists another entity such that the other entity is an instance of a kind of emotional behavioral process and the time of existence of the other entity takes place during the time position and the entity experiences the other entity has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?F Menopausal))         (birthdate ?F ?B)         (instance ?B             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y))))         (equal ?A1             (AdditionFn 49 ?Y))         (equal ?A2             (AdditionFn 52 ?Y))         (equal ?START             (BeginFn ?T)))     (modalAttribute         (and             (greaterThan ?START ?A1)             (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 25553-25569	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month and equal an integer and (49 and another integer) and equal a third integer and (52 and the other integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the integer and the third integer is greater than the time point has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?H                 (ImpairedBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (modalAttribute         (not ?F) Likely))	Merge.kif 18434-18444	If impaired body part fn a class is an attribute of an object holds during a time position and the classI is an instance of the class and the classI is a part of the object and the classI has the purpose a formula, then the statement the formula has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?H ChronicFatigueSyndrome))         (instance ?R RecreationOrExercise)         (agent ?R ?H)         (during             (WhenFn ?R) ?T))     (modalAttribute         (and             (holdsDuring ?T2                 (attribute ?H PostExertionalMalaise))             (earlier                 (WhenFn ?R) ?T2)) Likely))	Medicine.kif 1492-1504	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?X Booting))         (holdsDuring ?T2             (attribute ?X HostReady))         (equal ?T2             (ImmediateFutureFn                 (WhenFn ?T)))         (instance ?DIS ComputerDisplay)         (connectedEngineeringComponents ?DIS ?X))     (modalAttribute         (exists (?HS)             (and                 (instance ?HS HomeScreen)                 (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3227-3241	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and equal the physical2 and immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2551-2567	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
(=>     (and         (holdsDuring ?T1             (attribute ?H Dieting))         (holdsDuring ?T2             (not                 (attribute ?H Dieting)))         (instance ?M1 Meal)         (instance ?E1 Eating)         (agent ?E1 ?H)         (resource ?E1 ?M1)         (during             (WhenFn ?E1) ?T1)         (measure ?M1             (MeasureFn ?C1 Calorie))         (instance ?M2 Meal)         (instance ?E2 Eating)         (agent ?E2 ?H)         (resource ?E2 ?M2)         (during             (WhenFn ?E2) ?T2)         (measure ?M2             (MeasureFn ?C2 Calorie)))     (modalAttribute         (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 32582-32603	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
(=>     (and         (instance ?A AntibodyCOVIDTest)         (instrument ?M ?A)         (instance ?M Measuring)         (patient ?M ?H)         (instance ?CA COVIDAntibody)         (part ?CA ?H))     (modalAttribute         (knows ?H             (exists (?CA)                 (and                     (instance ?CA COVIDAntibody)                     (part ?CA ?H)))) Likely))	Medicine.kif 2764-2778	If an object is an instance of antigen COVID test and the object is an instrument for a process and the process is an instance of measuring and another object is a patient of the process and a third object is an instance of COVID antibody and the third object is a part of the other object, then the statement the other object knows there exists the third object such that the third object is an instance of COVID antibody and the third object is a part of the other object has the modal force of likely
(=>     (and         (instance ?A Biped)         (instance ?W Ambulating)         (agent ?W ?A))     (modalAttribute         (exists (?L1 ?L2)             (and                 (instance ?L1 Leg)                 (instance ?L2 Leg)                 (not                     (equal ?L1 ?L2))                 (part ?L1 ?A)                 (part ?L2 ?A)                 (instrument ?W ?L1)                 (instrument ?W ?L2))) Likely))	Mid-level-ontology.kif 4854-4870	If an agent is an instance of biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of leg and the other entity is an instance of leg and equal the entity and the other entity and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely
(=>     (and         (instance ?A RheumatoidArthritis)         (experiencer ?A ?H))     (modalAttribute         (exists (?JP)             (and                 (instance ?JP JointPain)                 (causes ?A ?JP))) Likely))	Medicine.kif 2228-2237	If a process is an instance of rheumatoid arthritis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of joint pain and the process causes the entity has the modal force of likely
(=>     (and         (instance ?AVU AngryVoiceUtterance)         (agent ?AVU ?A))     (modalAttribute         (causesProposition             (exists (?ANG)                 (and                     (instance ?ANG Anger)                     (experiencer ?ANG ?A)))             (and                 (instance ?AVU AngryVoiceUtterance)                 (agent ?AVU ?A))) Likely))	emotion.kif 1945-1958	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
(=>     (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 ?D Antidiuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (not             (equal ?U1 ?U2))         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 11378-11401	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and equal the time interval and the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
(=>     (and         (instance ?D Diuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 11348-11369	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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