| Barefoot | | barefoot, barefooted, discalceate, discalced, shoeless, unshod |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28346-28346 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28345-28345 | Barefoot is an instance of relational attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28347-28355 | Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity は % を wears %n{ない} holds during the time position |
|
|
|