| Barefoot | |
| appearance as argument number 1 |
|
|
| (documentation Barefoot EnglishLanguage "A state where someone doesn't wears Shoes.") | Mid-level-ontology.kif 32024-32024 | |
| (instance Barefoot RelationalAttribute) | Mid-level-ontology.kif 32023-32023 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Barefoot "barefoot") | domainEnglishFormat.kif 64514-64514 |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (attribute ?A Barefoot) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))))) |
Mid-level-ontology.kif 32026-32037 |
| consequent |
|
|
| (=> (holdsDuring ?T (and (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (attribute ?A Barefoot))) |
Mid-level-ontology.kif 32039-32050 |
|
|
|