|
|
  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 30263-30264 | |
| (instance Motionless RelationalAttribute) | Mid-level-ontology.kif 30262-30262 | Motionless 是 关联属性 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Motionless "motionless") | domainEnglishFormat.kif 65195-65195 |
| 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 30266-30277 | |
| (=> (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 30279-30290 |
|
|
|