Sigma KB Term Intersection

(=> (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 (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

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