(=>     (and         (instance ?VARIABLE Process)         (instance ?EXPERIMENT Experimenting)         (instance ?AGENT Agent)         (experiencer ?AGENT Agent)         (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))     (exists (?TREATMENT_GROUP)         (and             (instance ?TREATMENT_GROUP Collection)             (member ?AGENT ?TREATMENT_GROUP)             (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4177-4188	instance Process and Process instance Experimenting and Experimenting instance Process and Agent experiencer Process and Agent experimentalVariableProcess Experimenting and Process entity_GROUP instance entity_GROUP and Collection member Process and entity_GROUP treatmentGroup entity_GROUP and Experimenting
(=>     (and         (instance ?WATCH WatchItem)         (instance ?AGENT Agent)         (instance ?OBJ Object)         (agent ?WATCH ?AGENT)         (patient ?WATCH ?OBJ))     (inScopeOfInterest ?AGENT ?OBJ))	UXExperimentalTerms.kif 1803-1810	instance Process and WatchItem instance CognitiveAgent and Agent instance Entity and Object agent Process and CognitiveAgent patient Process and Entity inScopeOfInterest CognitiveAgent and Entity
(=>     (and         (names ?STRING ?OBJ)         (instance ?OBJ Agent))     (agentName ?STRING ?OBJ))	Media.kif 3415-3419	names SymbolicString and Agent instance Agent and Agent agentName SymbolicString and Agent
(=>     (and         (not             (instance ?A Agent))         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P Motion)                 (patient ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 29759-29770	instance Entity and Agent holdsDuring TimeInterval and attribute Entity and Motionless Process instance Process and Motion patient Process and Entity during WhenFn Process and TimeInterval
(=>     (and         (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)         (instance ?ATTR FoodRating)         (instance ?ENTITY Agent))     (exists (?FOOD ?COOK ?CLASSIFY)         (and             (instance ?COOK Cooking)             (agent ?COOK ?ENTITY)             (result ?COOK ?FOOD)             (instance ?CLASSIFY Classifying)             (agent ?CLASSIFY ?AGENT)             (destination ?CLASSIFY ?FOOD)             (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3058-3071	subjectiveAttribute Agent, Attribute and Agent instance Attribute and FoodRating instance Agent and Agent Entity Process and Process instance Process and Cooking agent Process and Agent result Process and Entity instance Process and Classifying agent Process and Agent destination Process and Entity patient Process and Attribute
(=>     (and         (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)         (instance ?ATTR ServiceRating)         (instance ?ENTITY Agent))     (exists (?SVC ?CLASSIFY)         (and             (instance ?SVC ServiceProcess)             (agent ?SVC ?ENTITY)             (instance ?CLASSIFY Classifying)             (agent ?CLASSIFY ?AGENT)             (destination ?CLASSIFY ?SVC)             (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3087-3099	subjectiveAttribute Agent, Attribute and Agent instance Attribute and ServiceRating instance Agent and Agent Process Process instance Process and ServiceProcess agent Process and Agent instance Process and Classifying agent Process and Agent destination Process and Process patient Process and Attribute
(=>     (and         (trafficableForTrafficType ?place ?type)         (subclass ?type Agent)         (instance ?mover ?type))     (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 2616-2621	trafficableForTrafficType Region and SelfConnectedObject subclass SelfConnectedObject and Agent instance Object and SelfConnectedObject capableAtLocation Translocation, agent, Object and Region
(=>     (instance ?AGENT Agent)     (exists (?PROC)         (capability ?PROC agent ?AGENT)))	Merge.kif 1509-1512	instance Object and Agent Process capability Process, agent and Object

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