consequent

(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
(=>     (and         (holdsDuring ?TIME             (attribute ?ORG Larval))         (instance ?BIRTH Birth)         (equal ?BW             (WhenFn ?BIRTH))         (experiencer ?BIRTH ?ORG))     (meetsTemporally ?BW ?TIME))	Merge.kif 18390-18396	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	If a process is an instance of dodging and an agent is an agent of the process and equal the processT and the time of existence of the process, then the process has the purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
(=>     (and         (instance ?DAY1             (DayFn ?NUMBER1 ?MONTH))         (instance ?DAY2             (DayFn ?NUMBER2 ?MONTH))         (equal             (SubtractionFn ?NUMBER2 ?NUMBER1) 1))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8738-8743	If a time interval is an instance of the day a positive integer of month a kind of month and another time interval is an instance of the day another positive integer of month a kind of month and equal (the other positive integer and the positive integer) and 1, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Friday)         (instance ?DAY2 Saturday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9443-9450	If a time interval is an instance of Friday and another time interval is an instance of Saturday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Monday)         (instance ?DAY2 Tuesday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9391-9398	If a time interval is an instance of Monday and another time interval is an instance of Tuesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Saturday)         (instance ?DAY2 Sunday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (not         (meetsTemporally ?DAY1 ?DAY2)))	Merge.kif 9456-9463	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval doesn't meet the other time interval
(=>     (and         (instance ?DAY1 Saturday)         (instance ?DAY2 Sunday)         (instance ?WEEK1 Week)         (instance ?WEEK2 Week)         (temporalPart ?DAY1 ?WEEK1)         (temporalPart ?DAY2 ?WEEK2)         (meetsTemporally ?WEEK1 ?WEEK2))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9465-9474	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Sunday)         (instance ?DAY2 Monday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9378-9385	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Thursday)         (instance ?DAY2 Friday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9430-9437	If a time interval is an instance of Thursday and another time interval is an instance of Friday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Tuesday)         (instance ?DAY2 Wednesday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9404-9411	If a time interval is an instance of Tuesday and another time interval is an instance of Wednesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DAY1 Wednesday)         (instance ?DAY2 Thursday)         (instance ?WEEK Week)         (temporalPart ?DAY1 ?WEEK)         (temporalPart ?DAY2 ?WEEK))     (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9417-9424	If a time interval is an instance of Wednesday and another time interval is an instance of Thursday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=>     (and         (instance ?DISCOVER Discovering)         (patient ?DISCOVER ?OBJ))     (exists (?PURSUE)         (and             (instance ?PURSUE Pursuing)             (meetsTemporally                 (WhenFn ?PURSUE)                 (WhenFn ?DISCOVER)))))	Merge.kif 12136-12143	If a process is an instance of discovering and an entity is a patient of the process, then there exists a physical such that the physical is an instance of pursuing and the time of existence of the physical meets the time of existence of the process
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3251-3267	If a process is an instance of downtick and a physical is a patient of the process and equal the time of existence of the process and an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and equal the time of existence of the other process and the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
(=>     (and         (instance ?ESCAPE Escaping)         (agent ?ESCAPE ?AGENT))     (exists (?CONFINE)         (and             (instance ?CONFINE Confining)             (patient ?CONFINE ?AGENT)             (meetsTemporally                 (WhenFn ?CONFINE)                 (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 18818-18826	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
(=>     (and         (instance ?EVE Evening)         (instance ?AFT Afternoon)         (instance ?D Day)         (during ?EVE ?D)         (during ?AFT ?D))     (meetsTemporally ?AFT ?EVE))	Merge.kif 9057-9064	If a time interval is an instance of evening and another time interval is an instance of afternoon and a third time interval is an instance of day and the time interval takes place during the third time interval and the other time interval takes place during the third time interval, then the other time interval meets the time interval
(=>     (and         (instance ?FL FlashingLight)         (origin ?FL ?L))     (exists (?I1 ?T2 ?I3)         (and             (instance ?I1 RadiatingLight)             (instance ?T2 TimeInterval)             (instance ?I3 RadiatingLight)             (meetsTemporally                 (WhenFn ?I1) ?T2)             (meetsTemporally ?T2                 (WhenFn ?I3))             (not                 (exists (?I2)                     (and                         (instance ?I2 RadiatingLight)                         (origin ?I2 ?L)                         (during                             (WhenFn ?I2) ?T2))))             (subProcess ?I1 ?FL)             (subProcess ?I3 ?FL))))	Mid-level-ontology.kif 636-654	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets the time interval and the time interval meets the time of existence of the third process and there doesn't exist a fourth process such that the fourth process is an instance of radiating light and the fourth process originates at the object and the time of existence of the fourth process takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
(=>     (and         (instance ?HOUR1             (HourFn ?NUMBER1 ?DAY))         (instance ?HOUR2             (HourFn ?NUMBER2 ?DAY))         (equal             (SubtractionFn ?NUMBER2 ?NUMBER1) 1))     (meetsTemporally ?HOUR1 ?HOUR2))	Merge.kif 8764-8769	If a time interval is an instance of the hour a nonnegative integer and another time interval is an instance of the hour another nonnegative integer and equal (the other nonnegative integer and the nonnegative integer) and 1, then the time interval meets the other time interval
(=>     (and         (instance ?MINUTE1             (MinuteFn ?NUMBER1 ?HOUR))         (instance ?MINUTE2             (MinuteFn ?NUMBER2 ?HOUR))         (equal             (SubtractionFn ?NUMBER2 ?NUMBER1) 1))     (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8791-8796	If a time interval is an instance of the minute a nonnegative integer and another time interval is an instance of the minute another nonnegative integer and equal (the other nonnegative integer and the nonnegative integer) and 1, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn April ?YEAR))         (instance ?MONTH2             (MonthFn May ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9243-9247	If a time interval is an instance of the month April and another time interval is an instance of the month May, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn August ?YEAR))         (instance ?MONTH2             (MonthFn September ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9299-9303	If a time interval is an instance of the month August and another time interval is an instance of the month September, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn December ?YEAR1))         (instance ?MONTH2             (MonthFn January ?YEAR2))         (instance ?Y1 ?YEAR1)         (instance ?Y2 ?YEAR2)         (meetsTemporally ?Y1 ?Y2))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9356-9363	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn February ?YEAR))         (instance ?MONTH2             (MonthFn March ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9215-9219	If a time interval is an instance of the month February and another time interval is an instance of the month March, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn January ?YEAR))         (instance ?MONTH2             (MonthFn February ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9191-9195	If a time interval is an instance of the month January and another time interval is an instance of the month February, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn July ?YEAR))         (instance ?MONTH2             (MonthFn August ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9285-9289	If a time interval is an instance of the month July and another time interval is an instance of the month August, then the time interval meets the other time interval
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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

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