|
| (=> (and (instance ?T Trespassing) (agent ?T ?H) (patient ?T ?P)) (and (not (possesses ?H ?P)) (modalAttribute (located ?H ?P) Illegal))) |
Mid-level-ontology.kif 18318-18328 | |
| (=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 6898-6902 | |
| (=> (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 30980-30995 | |
| (=> (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 30922-30932 | |
| (=> (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 30947-30962 | |
| (=> (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 30997-31011 | |
| (=> (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 30936-30945 | |
| (=> (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 30964-30978 | |
| (=> (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 433-435 | |
| (=> (dislikes ?AGENT ?OBJECT) (desires ?AGENT (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7459-7461 | |
| (=> (element ?OBJ (PropertyFn ?PERSON)) (possesses ?PERSON ?OBJ)) |
Merge.kif 4281-4284 | |
| (=> (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 25199-25205 | |
| (=> (holdsDuring ?TIME (attribute ?SLAVE HumanSlave)) (exists (?PERSON) (and (instance ?PERSON Human) (not (equal ?PERSON ?SLAVE)) (holdsDuring ?TIME (possesses ?PERSON ?SLAVE))))) |
Mid-level-ontology.kif 169-176 | |
| (=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7480-7485 | |
| (=> (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 3375-3382 | |
| (=> (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 2493-2502 | |
| 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