more pictures...
| Attribute
more pictures... | |
| 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 1699-1700 | |
| (documentation Attribute JapaneseLanguage "サブクラスに再び取り入れることができないか、または 選択できない品質。") | japanese_format.kif 313-314 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Liberation_compare.png") | pictureList.kif 10456-10456 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") | pictureList.kif 10449-10449 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") | pictureList.kif 9894-9894 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") | pictureList.kif 10451-10451 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") | pictureList.kif 10452-10452 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") | pictureList.kif 10450-10450 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") | pictureList.kif 10453-10453 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") | pictureList.kif 10454-10454 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") | pictureList.kif 10457-10457 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") | pictureList.kif 10458-10458 | |
| (externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") | pictureList.kif 10448-10448 | |
| (partition Attribute InternalAttribute RelationalAttribute) | Merge.kif 1697-1697 | |
| (subclass Attribute Abstract) | Merge.kif 1695-1695 |
| appearance as argument number 2 |
|
|
| (format ItalianLanguage Attribute "%2 è %n un attributo di %1") | relations-it.txt 29-29 | |
| (instance BasicPH Attribute) | Food.kif 2808-2808 | |
| (instance Crosswind Attribute) | Weather.kif 287-287 | |
| (instance DemandPressure Attribute) | Economy.kif 6839-6839 | |
| (instance Dorsal Attribute) | Anatomy.kif 2004-2004 | |
| (instance EquilibriumEconomics Attribute) | Economy.kif 6853-6853 | |
| (instance Headwind Attribute) | Weather.kif 293-293 | |
| (instance OpenSea Attribute) | Geography.kif 4775-4775 | |
| (instance Paved Attribute) | Mid-level-ontology.kif 16450-16450 | |
| (instance RepresentativeSample Attribute) | UXExperimentalTerms.kif 492-492 | |
| (instance ServiceInEconomics Attribute) | Economy.kif 6888-6888 | |
| (instance StandardAmbientTemperaturePressure Attribute) | Weather.kif 2660-2660 | |
| (instance SupplyPressure Attribute) | Economy.kif 6823-6823 | |
| (instance Tailwind Attribute) | Weather.kif 300-300 | |
| (instance Unpaved Attribute) | Mid-level-ontology.kif 16451-16451 | |
| (instance Vegan Attribute) | Food.kif 3538-3538 | |
| (instance Vegetarian Attribute) | Food.kif 3529-3529 | |
| (instance Ventral Attribute) | Anatomy.kif 2025-2025 | |
| (instance Windy Attribute) | Merge.kif 11394-11394 | |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 643-643 | |
| (subclass AirQualityAQIAttribute Attribute) | Weather.kif 3084-3084 | |
| (subclass ClimateZone Attribute) | Geography.kif 1263-1263 | |
| (subclass ExperimentAttribute Attribute) | UXExperimentalTerms.kif 4400-4400 | |
| (subclass InternalAttribute Attribute) | Merge.kif 1799-1799 | |
| (subclass ListingAttribute Attribute) | UXExperimentalTerms.kif 293-293 | |
| 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 490-494 | |
| (=> (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 457-461 |
|
|
|