possesses |
(=> (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 | |
(=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 6871-6875 | |
(=> (and (instance ?X PhotocopyingService) (serviceProvider ?X ?AGENT)) (exists (?DEVICE) (and (instance ?DEVICE Photocopier) (possesses ?AGENT ?DEVICE) (instrument ?X ?DEVICE)))) |
Hotel.kif 2138-2146 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30956-30971 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30898-30908 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30923-30938 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30973-30987 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?G) (and (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30912-30921 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30940-30954 | |
(=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2777-2782 | |
(=> (attribute ?Agent Investor) (exists (?Investment) (and (instance ?Investment Investment) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1786-1791 | |
(=> (attribute ?X PassengerCarRental) (hasPurpose ?X (exists (?RENT ?CAR ?CUST) (and (customer ?CUST ?X) (instance ?CAR Automobile) (instance ?RENT Renting) (possesses ?X ?CAR) (agent ?RENT ?CUST))))) |
naics.kif 9711-9720 | |
(=> (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 3691-3711 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA)) |
Government.kif 469-471 | |
(=> (dislikes ?AGENT ?OBJECT) (desires ?AGENT (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7432-7434 | |
(=> (element ?OBJ (PropertyFn ?PERSON)) (possesses ?PERSON ?OBJ)) |
Merge.kif 4280-4283 | |
(=> (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 3735-3755 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 25142-25148 | |
(=> (holdsDuring ?TIME (attribute ?SLAVE HumanSlave)) (exists (?PERSON) (and (instance ?PERSON Human) (not (equal ?PERSON ?SLAVE)) (holdsDuring ?TIME (possesses ?PERSON ?SLAVE))))) |
Mid-level-ontology.kif 176-183 | |
(=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7453-7458 | |
(=> (instance ?AAU AssaultAmphibianUnit) (exists (?AAV) (and (instance ?AAV AAV) (possesses ?AAU ?AAV)))) |
MilitaryPersons.kif 642-647 | |
(=> (instance ?AB ArtilleryBattery) (exists (?AC) (and (instance ?AC ArtilleryCannon) (possesses ?AB ?AC)))) |
MilitaryPersons.kif 494-499 | |
(=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC ExplosiveMine)) (possesses ?AB ?AC)))) |
Military.kif 676-685 | |
(=> (instance ?AIRLINE Airline) (exists (?FLEET ?AIRCRAFT) (and (instance ?FLEET Fleet) (possesses ?AIRLINE ?FLEET) (instance ?AIRCRAFT Aircraft) (member ?AIRCRAFT ?FLEET)))) |
Transportation.kif 3323-3330 | |
(=> (instance ?C CruiseShip) (hasPurpose ?C (exists (?E ?A ?O) (and (instance ?E RecreationOrExercise) (possesses ?O ?C) (agent ?E ?A) (customer ?O ?A) (eventLocated ?E ?C))))) |
Transportation.kif 2471-2480 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |