subjectiveAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - subjectiveAttribute

subjectiveAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 310-311
No TPTP formula. May not be expressible in strict first order.	Dining.kif 313-313	The number 1 argument of subjective attribute is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 314-314	The number 2 argument of subjective attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 315-315	The number 3 argument of subjective attribute is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 312-312	subjective attribute is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4694-4694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4693-4693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4692-4692
No TPTP formula. May not be expressible in strict first order.	Dining.kif 316-316

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1044-1059	If an agent believes another agent is quick and the agent believes a third agent is slow and a process is an instance of a class and another process is an instance of the class and the class is a subclass of process and the other agent is an agent of the process and the third agent is an agent of the other process, then an unit of measure is an instance of unit of duration and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3073-3086	If an agent believes another agent is an attribute and the attribute is an instance of food rating and the other agent is an instance of agent, then there exist an entity, a process and another process such that the process is an instance of cooking and the other agent is an agent of the process and the entity is a result of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the entity and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3041-3045	If an agent believes an object is an attribute and the attribute is an instance of hotel rating, then traveler accommodation is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3051-3055	If an agent believes an entity is an attribute and the attribute is an instance of restaurant rating, then the entity is an instance of restaurant
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3102-3114	If an agent believes another agent is an attribute and the attribute is an instance of service rating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	If an agent believes an entity is an attribute and the attribute is an instance of time attribute, then the entity is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	If a cognitive agent believes an entity is favorite and the entity is an instance of a class, then there exists another entity such that not the cognitive agent believes the other entity is favorite and the other entity is an instance of the class and the cognitive agent prefers the cognitive agent wants the entity over the cognitive agent wants the other entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	If an agent believes an object is won and the object is an instance of food for human, then there exist a contest, another agent and a process such that the other agent entered the object in the contest and the process is an instance of judging and the agent is an agent of the process and the process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 318-325	If an agent believes an entity is an attribute, then there exists a process such that the process is an instance of classifying and the agent is an agent of the process and the attribute is a patient of the process and the process ends up at the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	If a cognitive agent believes an entity is favorite and the entity is an instance of a class, then there exists another entity such that not the cognitive agent believes the other entity is favorite and the other entity is an instance of the class and the cognitive agent prefers the cognitive agent wants the entity over the cognitive agent wants the other entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	If an agent requires customers to wear an ambience, then the statement there exist an entity and another entity such that the entity is an instance of outfit and the agent believes the entity is the ambience and for all a third entity and a fourth entity the agent is a customer of the third entity and the third entity located at time the other entity for the agent and the fourth entity is a member of the entity and the third entity wears the fourth entity holds during the other entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1437-1445	If an entity is an instance of proliferation, then there exist a process, an agent and another entity such that the process is an instance of classifying and the agent is an agent of the process and the other entity is an instance of increasing and the process ends up at the other entity and the agent believes the other entity is quick

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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