![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Barefoot EnglishLanguage "A state where someone doesn't wears Shoes.") | Mid-level-ontology.kif 29528-29528 | |
(instance Barefoot RelationalAttribute) | Mid-level-ontology.kif 29527-29527 |
antecedent |
![]() |
(<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S)))))) |
Mid-level-ontology.kif 29530-29538 |
![]() |
![]() |