|
|
  Motionless
|
|
|
| appearance as argument number 1 |
|
|
| (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 30227-30228 | |
| (instance Motionless RelationalAttribute) | Mid-level-ontology.kif 30226-30226 | Motionless 是 关联属性 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Motionless "motionless") | domainEnglishFormat.kif 65193-65193 |
| 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 30230-30241 | |
| (=> (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 30243-30254 |
|
|
|