(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (accountAtSite ?A ?S)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3972-3986
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (deviceAccount ?A ?C)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3988-4002
(=>     (and         (instance ?ORDER Ordering)         (patient ?ORDER ?FORMULA))     (modalAttribute ?FORMULA Obligation))	Merge.kif 13188-13192
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (exists (?D)             (and                 (instance ?D Diarrhoea)                 (experiencer ?D ?H1)                 (causes ?P ?D))) Likely))	Medicine.kif 2735-2747
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (located ?P ?SI) Likely))	Medicine.kif 2725-2733
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (modalAttribute         (holdsDuring             (FutureFn                 (WhenFn ?I))             (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 8624-8635
(=>     (and         (instance ?POLICY ChildrenPolicy)         (policyOwner ?AGENT ?POLICY)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?CUST1)                     (and                         (customer ?CUST1 ?AGENT)                         (instance ?CUST1 HumanChild))) Possibility))         (containsInformation ?POLICY             (not                 (modalAttribute                     (exists (?CUST2)                         (and                             (customer ?CUST2 ?AGENT)                             (instance ?CUST2 HumanChild))) Possibility)))))	Hotel.kif 2535-2553
(=>     (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 2654-2674
(=>     (and         (instance ?POLICY NoHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY)         (attribute ?AGENT TravelerAccommodation))     (modalAttribute         (exists (?GUEST ?ROOM)             (and                 (guest ?GUEST ?AGENT)                 (holdsDuring                     (WhenFn                         (stays ?GUEST ?ROOM))                     (not                         (exists (?CLEAN)                             (and                                 (instance ?CLEAN RoomCleaningService)                                 (patient ?CLEAN ?ROOM))))))) Likely))	Hotel.kif 2681-2697
(=>     (and         (instance ?POLICY PetPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET1)                     (and                         (instance ?PET1 DomesticAnimal)                         (located ?PET1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET2)                     (and                         (instance ?PET2 DomesticAnimal)                         (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2512-2528
(=>     (and         (instance ?POLICY SmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE1)                     (and                         (instance ?SMOKE1 Smoking)                         (located ?SMOKE1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE2)                     (and                         (instance ?SMOKE2 Smoking)                         (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2489-2505
(=>     (and         (instance ?POLICY WithHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY)         (attribute ?AGENT TravelerAccommodation))     (modalAttribute         (exists (?GUEST ?ROOM)             (and                 (guest ?GUEST ?AGENT)                 (holdsDuring                     (WhenFn                         (stays ?GUEST ?ROOM))                     (exists (?CLEAN)                         (and                             (instance ?CLEAN RoomCleaningService)                             (patient ?CLEAN ?ROOM)))))) Likely))	Hotel.kif 2704-2719
(=>     (and         (instance ?PV PhysicalViolence)         (agent ?PV ?A))     (modalAttribute         (holdsDuring             (WhenFn ?PV)             (attribute ?A Anger)) Likely))	emotion.kif 1646-1654
(=>     (and         (instance ?R Renting)         (agent ?R ?A)         (patient ?R ?O))     (holdsDuring         (WhenFn ?R)         (modalAttribute             (uses ?O ?A) Permission)))	Mid-level-ontology.kif 22426-22433
(=>     (and         (instance ?REST Restaurant)         (instance ?DR DiningRoom)         (attribute ?DR PrivateAttribute)         (possesses ?REST ?DR)         (customer ?GRP1 ?REST)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople))     (modalAttribute         (not             (exists (?GRP2 ?E2)                 (and                     (customer ?GRP2 ?REST)                     (not                         (equal ?GRP1 ?GRP2))                     (instance ?E2 Eating)                     (agent ?E2 ?GRP2)                     (holdsDuring                         (WhenFn ?E1)                         (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246
(=>     (and         (instance ?S Laughing)         (experiencer ?S ?A))     (modalAttribute         (holdsDuring             (WhenFn ?S)             (attribute ?A Happiness)) Likely))	emotion.kif 1626-1634
(=>     (and         (instance ?S LegalSummons)         (patient ?S ?O)         (destination ?S ?P))     (exists (?C ?T)         (and             (instance ?C CourtRoom)             (containsInformation ?O                 (modalAttribute                     (holdsDuring ?T                         (located ?P ?C)) Law)))))	Mid-level-ontology.kif 16227-16239
(=>     (and         (instance ?S SkinRash)         (experiencer ?S ?H))     (modalAttribute         (exists (?I)             (and                 (instance ?I Itching)                 (experiencer ?I ?H)                 (during                     (WhenFn ?I)                     (WhenFn ?S)))) Likely))	Mid-level-ontology.kif 5749-5759
(=>     (and         (instance ?S Smiling)         (experiencer ?S ?A))     (modalAttribute         (holdsDuring             (WhenFn ?S)             (attribute ?A Happiness)) Likely))	emotion.kif 1614-1622
(=>     (and         (instance ?S Spamming)         (instance ?G GroupOfPeople)         (memberCount ?G ?N)         (destination ?S ?G))     (modalAttribute         (greaterThan ?N 100) Likely))	ComputingBrands.kif 4187-4195
(=>     (and         (instance ?S Spamming)         (result ?S ?SPAM)         (instance ?S Spam)         (instance ?H Human)         (destination ?S ?H))     (not         (modalAttribute             (wants ?H ?SPAM) Likely)))	ComputingBrands.kif 4210-4220
(=>     (and         (instance ?S Speaking)         (instance ?J Jaw)         (agent ?S ?H)         (part ?J ?H))     (modalAttribute         (exists (?M)             (and                 (instance ?M BodyMotion)                 (objectTransferred ?M ?J)                 (during                     (WhenFn ?M)                     (WhenFn ?S)))) Likely))	Anatomy.kif 1664-1676
(=>     (and         (instance ?STEM PlantStem)         (instance ?ROOT PlantRoot))     (modalAttribute         (orientation ?STEM ?ROOT Above) Likely))	Mid-level-ontology.kif 9539-9544
(=>     (and         (instance ?T TimePeriod)         (duration ?T             (MeasureFn ?N MinuteDuration))         (greaterThan ?N 5.0)         (instance ?H Human)         (not             (exists (?B)                 (and                     (instance ?B Breathing)                     (during                         (WhenFn ?B) ?T)                     (patient ?B ?H)))))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (experiencer ?D ?H)                 (meetsTemporally ?T                     (WhenFn ?D)))) Likely))	Medicine.kif 5997-6017
(=>     (and         (instance ?T Trespassing)         (agent ?T ?H)         (patient ?T ?P))     (and         (not             (possesses ?H ?P))         (modalAttribute             (located ?H ?P) Illegal)))	Mid-level-ontology.kif 18291-18301
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