|
| (=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT)))) |
Mid-level-ontology.kif 29962-29972 | |
| (=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))) |
TransportDetail.kif 153-172 | |
| (=> (and (cardCode ?Code ?Card) (cardAccount ?Card ?Account)) (exists (?Encoding) (and (instance ?Encoding Encoding) (patient ?Encoding ?Account)))) |
FinancialOntology.kif 3504-3511 | |
| (=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))))) |
Hotel.kif 684-695 | |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 504-520 | |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 | |
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 | |
| (=> (and (equal ?S (SongFn ?MC ?LC)) (realization ?S ?MUSIC)) (exists (?MM ?MV) (and (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC)))) |
Music.kif 867-876 | |
| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 811-832 | |
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 | |
| (=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4427-4444 | |
| (=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME-NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME-NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME-NATION) (temporalPart ?T1 (WhenFn ?TRANS))))) |
MilitaryPersons.kif 151-167 | |
| (=> (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (instance ?T1 TimeInterval)) (exists (?WED) (and (instance ?WED Wedding) (patient ?WED ?P1) (patient ?WED ?P2) (earlier (WhenFn ?WED) ?T1)))) |
Mid-level-ontology.kif 7971-7981 | |
| (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12281-12290 | |
| (=> (and (instance ?APR AirPhotographicReconnaissance) (agent ?APR ?AGENT) (patient ?APR ?HOSTILE)) (exists (?PHOTOGRAPHING) (and (instance ?PHOTOGRAPHING Photographing) (subProcess ?PHOTOGRAPHING ?APR) (agent ?PHOTOGRAPHING ?AGENT) (patient ?PHOTOGRAPHING ?HOSTILE)))) |
MilitaryProcesses.kif 753-763 | |
| (=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT)) |
MilitaryProcesses.kif 89-103 | |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2309-2317 | |
| (=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M)))) |
Mid-level-ontology.kif 16765-16775 | |
| (=> (and (instance ?ATC AddToCart) (instance ?USER AutonomousAgent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 1312-1324 | |
| (=> (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT)) |
Merge.kif 13431-13440 | |
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 16199-16211 | |
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 76-84 | |
| (=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA)))) |
Medicine.kif 80-94 | |
| (=> (and (instance ?B Object) (roastedToTemperature ?B ?T)) (exists (?H) (and (instance ?H Heating) (patient ?H ?B) (holdsDuring (EndFn (WhenFn ?H)) (measure ?B (MeasureFn ?T CelsiusDegree)))))) |
Food.kif 468-478 | |
| (=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B))))) |
Mid-level-ontology.kif 3416-3426 | |
| 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