Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TimeAttribute(time attribute) |
| appearance as argument number 1 |
|
| (subclass TimeAttribute SubjectiveAssessmentAttribute) | Dining.kif 1025-1025 | Time attribute is a subclass of subjective assessment attribute |
| (documentation TimeAttribute EnglishLanguage "TimeAttribute refers to the class of attributes that include and assessment of how long it takes an agent to do something") | Dining.kif 1026-1027 | Time attribute is a subclass of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (instance Quick TimeAttribute) | Dining.kif 1035-1035 | Quick is an instance of time attribute |
| (instance Slow TimeAttribute) | Dining.kif 1042-1042 | Slow is an instance of time attribute |
| (termFormat EnglishLanguage TimeAttribute "time attribute") | domainEnglishFormat.kif 65607-65607 | Slow is an instance of time attribute |
| antecedent |
|
|
| (=> (and (subjectiveAttribute ?OBJ ?ATTR ?AGENT) (instance ?ATTR TimeAttribute)) (instance ?OBJ AutonomousAgent)) |
Dining.kif 1029-1033 | If X believes Y is Z and Z is an instance of time attribute, then Y is an instance of agent |
|