Sigma KB Term Intersection

(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ)) (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT))	Catalog.kif 136-145	offersAtTime Agent, Catalog and TimeInterval catalogItem Entity and Catalog subclass Entity and Object instance Process and Process subclass Process and Process instance Entity and Entity patient Process and Entity capabilityDuring Process, agent, Agent and TimeInterval
(=> (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 784-805	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn Agent instance Process and Renting patient Process and Entity agent Process and Agent destination Process and Entity subclass Physical and Object modalAttribute entity entity instance entity and Physical instance entity and Process resource entity and entity instrument entity and entity patient entity and entity agent entity and Entity experiencer entity and Entity and Possibility
(=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R))))))	Hotel.kif 276-287	roomAmenity HotelUnit and Physical subclass Physical and Object Object instance Object and HotelUnit Physical instance Object and HotelUnit instance Physical and Physical located Physical and Object
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 16083-16104	instance Physical and Protecting hasPurpose Physical and entity instance entity and Object patient Physical and Object subclass entity and KappaFn entity and instance entity and CriminalAction instance entity and Damaging holdsDuring entity and patient entity and entity holdsDuring entity and patient Physical and entity prevents Physical and entity hinders Physical and entity
(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2670-2679	subclass Process and Process instance Process and Process eventLocated Process and Region instance CaseRole and CaseRole instance Object and Object instance Region and GeographicArea CaseRole Process and Object capableAtLocation Process, CaseRole, Object and Region
(=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L))))	Transportation.kif 2009-2014	instance TransportationDevice and Truck Object subclass Object and Object cargoType TransportationDevice and Object
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT))	Catalog.kif 97-106	offers Agent and Catalog catalogItem Entity and Catalog subclass Entity and Object instance Process and Process subclass Process and Process instance Entity and Entity patient Process and Entity capability Process, agent and Agent
(=> (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	guest Human and CognitiveAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight entity agent entity and Human instrument entity and Physical patient entity and Physical resource entity and Physical, CognitiveAgent and Human
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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 480-496	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Object instance Entity and Physical confersRight entity instance entity and Process resource entity and Entity instrument entity and Entity patient entity and Entity agent entity and CognitiveAgent experiencer entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (=> (and (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?O) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (and (price ?P ?PRICE ?HOTEL) (greaterThan ?PRICE (MeasureFn 0 UnitedStatesDollar)))))	Hotel.kif 374-394	paidRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human located Process and Object patient Process and Object instrument Process and Object resource Process and Object price Process, ProcessRICE and Agent greaterThan ProcessRICE and MeasureFn 0 and UnitedStatesDollar
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))))	Geography.kif 2218-2225	naturalHazardTypeInArea GeographicArea and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and GeographicArea
(subclass Object Physical)	Merge.kif 811-811	subclass Object and Physical
(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 5112-5112	subclass TwoDimensionalObject and Object
(subclass TransitwayObstacle Object)	Mid-level-ontology.kif 12938-12938	subclass TransitwayObstacle and Object
(subclass PreparedFood Object)	Mid-level-ontology.kif 19190-19190	subclass PreparedFood and Object
(subclass ContactSite Object)	Mid-level-ontology.kif 22336-22336	subclass ContactSite and Object
(subclass SphericalObject Object)	Mid-level-ontology.kif 23540-23540	subclass SphericalObject and Object
(subclass SelfConnectedObject Object)	Merge.kif 819-819	subclass SelfConnectedObject and Object
(subclass Region Object)	Merge.kif 1141-1141	subclass Region and Object
(subclass Collection Object)	Merge.kif 1155-1155	subclass Collection and Object
(subclass Agent Object)	Merge.kif 1432-1432	subclass Agent and Object
(subclass AstronomicalBody Object)	Merge.kif 12974-12974	subclass AstronomicalBody and Object
(subclass Artifact Object)	Merge.kif 14500-14500	subclass Artifact and Object
(subclass Magnet Object)	Cars.kif 3839-3839	subclass Magnet and Object

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