Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ObjectAttitude(object attitude) |  | Graecophile, Graecophilic, misanthropic, misanthropical, misogynistic, misogynous, philhellene, philhellenic |
| appearance as argument number 1 |
|
|
| (subclass ObjectAttitude IntentionalRelation) | Merge.kif 2817-2817 | Object attitude is a subclass of intentional relation |
| (subclass ObjectAttitude InheritableRelation) | Merge.kif 2818-2818 | Object attitude is a subclass of inheritable relation |
| (disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2819-2819 | 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 2821-2822 | Object attitude is disjoint from propositional attitude |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2824-2828 | If X is an instance of object attitude and X Y and Z, then Z is an instance of physical |
|