Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Barefoot(barefoot) |  | barefoot, barefooted, discalceate, discalced, shoeless, unshod |
| appearance as argument number 1 |
|
|
| (instance Barefoot RelationalAttribute) | Mid-level-ontology.kif 32737-32737 | Barefoot is an instance of relational attribute |
| (documentation Barefoot EnglishLanguage "A state where someone doesn't wears Shoes.") | Mid-level-ontology.kif 32738-32738 | Barefoot is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Barefoot "barefoot") | domainEnglishFormat.kif 64523-64523 |
| 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 32740-32751 | If barefoot is an attribute of X, Y is an instance of foot, and Y is a part of X holds during Z, then there doesn't exist W such that W is an instance of clothing and W covers Y holds during Z |
| 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 32753-32764 | If there doesn't exist X such that X is an instance of clothing, X covers Y, Y is an instance of foot, and Y is a part of Z holds during W, then barefoot is an attribute of Z holds during W |
|