consequent

(=>     (and         (birthdate ?A ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (birthday ?A ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25871-25881	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=>     (and         (equal ?FY             (FiscalYearStartingFn ?PLACE ?YEAR))         (fiscalYearPeriod ?PLACE ?PERIOD)         (instance ?FY ?PERIOD))     (exists (?DAY ?INST)         (and             (instance ?DAY Day)             (starts ?DAY ?FY)             (instance ?INST ?YEAR)             (temporalPart ?DAY ?INST))))	Economy.kif 4091-4101	If equal a time interval and the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent and the time interval is an instance of another kind of time interval, then there exist a third time interval and a time position such that the third time interval is an instance of day and the third time interval starts the time interval and the time position is an instance of a kind of year and the third time interval is a part of the time position
(=>     (and         (instance ?MONTH Month)         (duration ?MONTH             (MeasureFn ?NUMBER DayDuration)))     (equal         (CardinalityFn             (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9596-9600	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then equal the number of instances in decomposition of the time interval into days and the integer
(=>     (and         (instance ?POLICY DailyHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY))     (modalAttribute         (exists (?GUEST ?ROOM ?STAY)             (and                 (guest ?GUEST ?AGENT)                 (stays ?GUEST ?ROOM)                 (equal ?STAY                     (WhenFn                         (stays ?GUEST ?ROOM)))                 (holdsDuring ?STAY                     (forall (?DAY)                         (=>                             (and                                 (instance ?DAY Day)                                 (during ?DAY ?STAY))                             (exists (?RC)                                 (and                                     (instance ?RC RoomCleaningService)                                     (patient ?RC ?ROOM)                                     (during ?RC ?DAY)))))))) Likely))	Hotel.kif 2665-2685	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and equal the third entity and the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
(=>     (and         (instance ?REGION GeographicArea)         (located ?REGION AntarcticArea))     (exists (?DAY)         (and             (instance ?DAY Day)             (holdsDuring ?DAY                 (not                     (attribute ?REGION Illuminated))))))	Geography.kif 5022-5031	If a physical is an instance of geographic area and the physical is located at antarctic area, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=>     (and         (instance ?REGION GeographicArea)         (located ?REGION ArcticRegion))     (exists (?DAY)         (and             (instance ?DAY Day)             (holdsDuring ?DAY                 (not                     (attribute ?REGION Illuminated))))))	Geography.kif 4962-4971	If a physical is an instance of geographic area and the physical is located at arctic region, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=>     (and         (instance ?TEXT BirthCertificate)         (instance ?B Birth)         (instance ?A Human)         (experiencer ?B ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N)             (and                 (birthdate ?A ?DAY)                 (instance ?DAY Day)                 (birthplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)))))	Biography.kif 256-270	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=>     (and         (instance ?TEXT DeathCertificate)         (instance ?D Death)         (instance ?A Human)         (experiencer ?D ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N ?PROC)             (and                 (deathdate ?A ?DAY)                 (instance ?DAY Day)                 (deathplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)                 (causes ?PROC ?D)                 (instance ?PROC Process)))))	Biography.kif 287-303	If a content bearing physical is an instance of death certificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
(=>     (and         (instance ?TEXT MarriageCertificate)         (instance ?A Human)         (instance ?B Human)         (spouse ?A ?B))     (containsFormula ?TEXT         (exists (?DAY)             (and                 (weddingdate ?A ?B ?DAY)                 (instance ?DAY Day)))))	Biography.kif 315-325	If a content bearing physical is an instance of marriage certificate and a human is an instance of human and another human is an instance of human and the human is the spouse of the other human, then the content bearing physical contains the formula there exists an entity such that the human and the other human were married on the entity and the entity is an instance of day
(=>     (and         (instance ?WED Wedding)         (date ?WED ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (weddingAnniversary ?WED ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25830-25841	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=>     (dayPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 6)             (lessThan ?Num 18)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3709-3729	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=>     (eveningPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 18)             (lessThan ?Num 6)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3753-3773	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=>     (instance ?C CalendarText)     (exists (?D)         (and             (instance ?D Day)             (refers ?C ?D))))	ComputingBrands.kif 2295-2300	If an entity is an instance of calendar, then there exists another entity such that the other entity is an instance of day and the entity includes a reference to the other entity
(=>     (instance ?M Midnight)     (exists (?D)         (and             (instance ?D Day)             (equal ?M                 (EndFn ?D)))))	Merge.kif 8891-8896	If a time point is an instance of midnight, then there exists a time interval such that the time interval is an instance of day and equal the time point and the end of the time interval
(=>     (instance ?WEEK Week)     (equal         (CardinalityFn             (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9602-9604	If a time interval is an instance of week, then equal the number of instances in decomposition of the time interval into days and 7
(=>     (instance ?X Iftar)     (exists (?R ?S ?D)         (and             (instance ?S Sunset)             (instance ?R Ramadan)             (instance ?D Day)             (during ?D ?R)             (during                 (WhenFn ?X) ?D)             (during ?S ?D)             (before ?S                 (WhenFn ?X)))))	ArabicCulture.kif 91-101	If a physical is an instance of iftar, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunset and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the other time interval happens before the time of existence of the physical
(=>     (instance ?X Suhur)     (exists (?R ?S ?D)         (and             (instance ?S Sunrise)             (instance ?R Ramadan)             (instance ?D Day)             (during ?D ?R)             (during                 (WhenFn ?X) ?D)             (during ?S ?D)             (before                 (WhenFn ?X) ?S))))	ArabicCulture.kif 36-46	If a physical is an instance of suhur, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunrise and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the time of existence of the physical happens before the other time interval

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