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 1681-1682 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Liberation-compare.png") | pictureList.kif 10468-10468 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") | pictureList.kif 10461-10461 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") | pictureList.kif 9903-9903 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") | pictureList.kif 10463-10463 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") | pictureList.kif 10464-10464 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") | pictureList.kif 10462-10462 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") | pictureList.kif 10465-10465 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") | pictureList.kif 10466-10466 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") | pictureList.kif 10469-10469 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") | pictureList.kif 10470-10470 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") | pictureList.kif 10460-10460 | |
(partition Attribute InternalAttribute RelationalAttribute) | Merge.kif 1679-1679 | |
(subclass Attribute Abstract) | Merge.kif 1677-1677 |
appearance as argument number 2 |
![]() |
(instance BasicPH Attribute) | Food.kif 744-744 | |
(instance CanopiedVegetation Attribute) | Geography.kif 6133-6133 | |
(instance Crosswind Attribute) | Weather.kif 299-299 | |
(instance DenseVegetation Attribute) | Geography.kif 6138-6138 | |
(instance GroundCoverVegetation Attribute) | Geography.kif 6143-6143 | |
(instance Headwind Attribute) | Weather.kif 305-305 | |
(instance OpenSea Attribute) | Geography.kif 4615-4615 | |
(instance Paved Attribute) | Mid-level-ontology.kif 14906-14906 | |
(instance RepresentativeSample Attribute) | UXExperimentalTerms.kif 619-619 | |
(instance ScatteredVegetation Attribute) | Geography.kif 6148-6148 | |
(instance SparseVegetation Attribute) | Geography.kif 6153-6153 | |
(instance StandardAmbientTemperaturePressure Attribute) | Weather.kif 2678-2678 | |
(instance Tailwind Attribute) | Weather.kif 312-312 | |
(instance Unpaved Attribute) | Mid-level-ontology.kif 14907-14907 | |
(instance Vegan Attribute) | Food.kif 940-940 | |
(instance Vegetarian Attribute) | Food.kif 931-931 | |
(subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 798-798 | |
(subclass ClimateZone Attribute) | Geography.kif 1276-1276 | |
(subclass ExperimentAttribute Attribute) | UXExperimentalTerms.kif 4606-4606 | |
(subclass InternalAttribute Attribute) | Merge.kif 1781-1781 | |
(subclass ListingAttribute Attribute) | UXExperimentalTerms.kif 368-368 | |
(subclass RelationalAttribute Attribute) | Merge.kif 1792-1792 | |
(subclass TransactionAttribute Attribute) | UXExperimentalTerms.kif 1836-1836 | |
(termFormat ChineseLanguage Attribute "属性") | chinese_format.kif 855-855 | |
(termFormat EnglishLanguage Attribute "attribute") | english_format.kif 912-912 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (instance ?ATT1 Attribute) (instance ?ATT2 Attribute) (subrelation ?PRED attribute)) (not (and (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED) (?PRED ?ENTITY ?ATT1) (?PRED ?ENTITY ?ATT2)))) |
ComputerInput.kif 43-52 | |
(=> (and (offers ?AGENT ?ATTR) (instance ?ATTR Attribute)) (modalAttribute (exists (?OBJ ?SELL) (and (instance ?SELL Selling) (attribute ?OBJ ?ATTR) (patient ?SELL ?OBJ) (agent ?SELL ?AGENT))) Possibility)) |
Catalog.kif 109-119 | |
(=> (and (offersAtTime ?AGENT ?ATTR ?TIMEINT) (instance ?ATTR Attribute)) (holdsDuring ?TIMEINT (offers ?AGENT ?ATTR))) |
Catalog.kif 152-157 |
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 629-645 | |
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 464-468 |
![]() |
![]() |