|
| (=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C)) |
Military.kif 772-778 | |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?HOTEL) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHY) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 495-510 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1))))) |
Government.kif 4585-4594 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG ?AGENT1)))) |
Government.kif 4595-4604 | |
| (=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1080-1093 | |
| (=> (and (employs ?HOTEL ?ATHLETE) (attribute ?HOTEL TravelerAccommodation) (attribute ?ATHLETE TennisProfessional) (guest ?CUST ?HOTEL)) (modalAttribute (exists (?TENNIS ?LOC) (and (instance ?TENNIS Tennis) (contestParticipant ?TENNIS ?ATHLETE) (contestParticipant ?TENNIS ?CUST) (located ?TENNIS ?LOC) (located ?HOTEL ?LOC))) Possibility)) |
Hotel.kif 1466-1479 | |
| (=> (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 289-308 | |
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 | |
| (=> (and (instance ?AREA (MaritimeClaimsTerritorialSeaFn ?PLACE)) (width ?AREA (MeasureFn ?WIDTH ?UNIT)) (distance ?OBJ ?PLACE (MeasureFn ?DISTANCE ?UNIT)) (lessThanOrEqualTo ?DISTANCE ?WIDTH)) (located ?OBJ ?AREA)) |
Geography.kif 860-866 | |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization)))))) |
MilitaryProcesses.kif 2276-2295 | |
| (=> (and (instance ?CLOTHING OutdoorClothing) (holdsDuring ?TIME (wears ?PERSON ?CLOTHING))) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (holdsDuring ?TIME (located ?PERSON ?BUILDING)))))) |
Mid-level-ontology.kif 5344-5351 | |
| (=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE))))) |
Merge.kif 11929-11938 | |
| (=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD)) |
ComputerInput.kif 414-420 | |
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E ?LM)) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 ?D) (greaterThan ?D ?LM))))) |
Cars.kif 1932-1951 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2450-2457 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))))) |
Economy.kif 2435-2448 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (holdsDuring (EndFn (WhenFn ?EXPORT)) (not (located ?ITEM ?AREA)))) |
Economy.kif 2424-2433 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2415-2422 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (instance ?AREA2 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2459-2469 | |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2481-2489 | |
| (=> (and (instance ?FARMING Farming) (agent ?FARMING ?FARMER)) (exists (?FARM) (and (instance ?FARM Farm) (holdsDuring (WhenFn ?FARMING) (located ?FARMER ?FARM))))) |
Mid-level-ontology.kif 18221-18228 | |
| (=> (and (instance ?FID ForeignInternalDefense) (agent ?FID ?MIL) (experiencer ?FID ?HN)) (hasPurpose ?FID (exists (?ORG ?LEARNING) (and (instance ?LEARNING Learning) (experiencer ?LEARNING ?ORG) (agent ?LEARNING ?MIL) (or (militaryOfArea ?ORG ?HN) (and (instance ?ORG MilitaryForce) (located ?ORG ?HN))))))) |
MilitaryProcesses.kif 1928-1943 | |
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 943-954 | |
| (=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 14604-14616 | |
| (=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?PLACE)))))) |
Merge.kif 12114-12122 | |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners