color |
appearance as argument number 1 |
(domain color 1 Object) | Mid-level-ontology.kif 19358-19358 | Il numero 1 argomenti di color è un istanza di Oggetto |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19359-19359 | Il numero 2 argomenti di color è un istanza di AttributoDiColore |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19355-19355 | color è un' istanza di PredicatoBinario |
(subrelation color attribute) | Mid-level-ontology.kif 19357-19357 | color è una sottorelazione di attribute |
appearance as argument number 2 |
(format ChineseLanguage color "%1 是 %2 的 color ") | domainEnglishFormat.kif 3038-3038 | |
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ") | domainEnglishFormat.kif 3037-3037 | |
(format EnglishLanguage color "%1 is the color %2") | domainEnglishFormat.kif 3036-3036 | |
(termFormat EnglishLanguage color "color") | domainEnglishFormat.kif 65795-65795 |
antecedent |
consequent |
(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 19361-19367 |
|
(=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1093-1095 | |
(=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 25617-25619 |