![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2721-2721 | Object attitude is disjoint from propositional attitude |
(documentation ObjectAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 Agent 对 Physical 的实例有认知。") | chinese_format.kif 1927-1928 | Object attitude is disjoint from propositional attitude |
(documentation ObjectAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.") | Merge.kif 2723-2724 | Object attitude is disjoint from propositional attitude |
(documentation ObjectAttitude JapaneseLanguage "Agent が Physical のインスタンスを認識 している IntentionalRelation の Class。") | japanese_format.kif 554-555 | Object attitude is disjoint from propositional attitude |
(subclass ObjectAttitude InheritableRelation) | Merge.kif 2720-2720 | Object attitude is a subclass of inheritable relation |
(subclass ObjectAttitude IntentionalRelation) | Merge.kif 2719-2719 | Object attitude is a subclass of intentional relation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2726-2730 |
|
![]() |
![]() |