Attribute
|
|
appearance as argument number 1 |
(documentation Attribute ChineseLanguage "这是我们不能够或选择不去具体化为 Object 的子类别的 质量。") | chinese_format.kif 1710-1711 | |
(documentation Attribute EnglishLanguage "Qualities which we cannot or choose not to reify into subclasses of.") | Merge.kif 1704-1705 | |
(documentation Attribute JapaneseLanguage "サブクラスに再び取り入れることができないか、または 選択できない品質。") | japanese_format.kif 313-314 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Liberation-compare.png") | pictureList.kif 10458-10458 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") | pictureList.kif 10451-10451 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") | pictureList.kif 9895-9895 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") | pictureList.kif 10453-10453 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") | pictureList.kif 10454-10454 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") | pictureList.kif 10452-10452 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") | pictureList.kif 10455-10455 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") | pictureList.kif 10456-10456 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") | pictureList.kif 10459-10459 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") | pictureList.kif 10460-10460 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") | pictureList.kif 10450-10450 | |
(partition Attribute InternalAttribute RelationalAttribute) | Merge.kif 1702-1702 | Attribut est compl�tement d�compos� en attribut interne + attribut relationnel |
(subclass Attribute Abstract) | Merge.kif 1700-1700 | Attribut est une sous-classe de abstrait |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
consequent |
(=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR Attribute)) |
Merge.kif 497-501 | |
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE)))) |
UXExperimentalTerms.kif 501-517 |
|
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 464-468 |