Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Sigma KEE - IntentionalRelation
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
有意图的关系
这是 Agent 和一个或以上的 Entity 之间 的 Relation Class,这个 Relation 要求 AgentEntity 有认知。
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children 对象态度The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.
 命题态度The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.
Instances同居(holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home.
 国内的合作伙伴(holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union.
 朋友(holdsDuring ?T1 (friend ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests.
 感兴趣这是一个十分笼统的 Predicate, (inScopeOfInterest ?AGENT ?ENTITY) 的意思是 ?ENTITY 在 ?AGENT 的留意范围之内。注:这注意可以是 正面或负面的,也就是说 ?AGENT 可以是有意图要避开或是推荐 ?ENTITY。
 拥有(prefers ?AGENT ?FORMULA1 ?FORMULA2) 的意思是 在所有条件相同的情况下, CognitiveAgent ?AGENT 喜欢 ?FORMULA1 所描述的事态多于 ?FORMULA2 所描述 的事态。
 服务供应者(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.
 受服务者(serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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