Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Motionless(motionless) |  | becalmed, fixed, frozen, inactive, inert, motionless, motionlessly, nonmoving, rigid, rooted, set, sitting, static, stationary, still, stock-still, unmoving |
| appearance as argument number 1 |
|
|
| (instance Motionless RelationalAttribute) | Mid-level-ontology.kif 32872-32872 | Motionless is an instance of relational attribute |
| (documentation Motionless EnglishLanguage "A state of being without any intentional motion for an AutonomousAgent or any macroscopic-level motion for an Object") | Mid-level-ontology.kif 32873-32874 | Motionless is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Motionless "motionless") | domainEnglishFormat.kif 65196-65196 |
| antecedent |
|
|
| (=> (and (instance ?A AutonomousAgent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32876-32887 | If X is an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of body motion, Z is an instance of intentional process, X is an agent of Z, and the time of existence of Z takes place during Y |
| (=> (and (not (instance ?A AutonomousAgent)) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P Motion) (patient ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32889-32900 | If X is not an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of motion, X is a patient of Z, and the time of existence of Z takes place during Y |
|