Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Attribute
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 1714-1715
(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 1712-1712 劃分 Attribute, InternalAttribute and RelationalAttribute
(subclass Attribute Abstract) Merge.kif 1710-1710 子類 Attribute and Abstract

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 例 BasicPH and Attribute
(instance Crosswind Attribute) Weather.kif 287-287 例 側風 and Attribute
(instance DemandPressure Attribute) Economy.kif 6839-6839 例 DemandPressure and Attribute
(instance Dorsal Attribute) Anatomy.kif 2004-2004 例 Dorsal and Attribute
(instance EquilibriumEconomics Attribute) Economy.kif 6853-6853 例 EquilibriumEconomics and Attribute
(instance Headwind Attribute) Weather.kif 293-293 例 逆風 and Attribute
(instance OpenSea Attribute) Geography.kif 5083-5083 例 公海 and Attribute
(instance Paved Attribute) Mid-level-ontology.kif 16432-16432 例 鋪砌 and Attribute
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 492-492 例 RepresentativeSample and Attribute
(instance ServiceInEconomics Attribute) Economy.kif 6888-6888 例 ServiceInEconomics and Attribute
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 3507-3507 例 StandardAmbientTemperaturePressure and Attribute
(instance SupplyPressure Attribute) Economy.kif 6823-6823 例 SupplyPressure and Attribute
(instance Tailwind Attribute) Weather.kif 300-300 例 尾風 and Attribute
(instance Unpaved Attribute) Mid-level-ontology.kif 16433-16433 例 未鋪砌 and Attribute
(instance Vegan Attribute) Food.kif 3538-3538 例 Vegan and Attribute
(instance Vegetarian Attribute) Food.kif 3529-3529 例 Vegetarian and Attribute
(instance Ventral Attribute) Anatomy.kif 2025-2025 例 Ventral and Attribute
(instance Windy Attribute) Merge.kif 11409-11409 例 Windy and Attribute
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 643-643 子類 AccountAttribute and Attribute
(subclass AirQualityAQIAttribute Attribute) Weather.kif 3931-3931 子類 AirQualityAQIAttribute and Attribute
(subclass ClimateZone Attribute) Geography.kif 1571-1571 子類 氣候區 and Attribute
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4400-4400 子類 ExperimentAttribute and Attribute
(subclass InternalAttribute Attribute) Merge.kif 1814-1814 子類 InternalAttribute and Attribute
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 293-293 子類 ListingAttribute and Attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1680-1680 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
(domain AttrFn 2 Attribute) Merge.kif 1788-1788 域 attr, 2 and Attribute
(domain ExtensionFn 1 Attribute) Merge.kif 1771-1771 域 延期, 1 and Attribute
(domain attribute 2 Attribute) Merge.kif 1731-1731 域 attribute, 2 and Attribute
(domain contraryAttribute 1 Attribute) Merge.kif 450-450 域 相反的屬性, 1 and Attribute
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17 域 contraryAttributeWRT, 1 and Attribute
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 域 contraryAttributeWRT, 2 and Attribute
(domain exhaustiveAttribute 2 Attribute) Merge.kif 482-482 域 詳盡的屬性, 2 and Attribute
(domain greaterThanByQuality 3 Attribute) Merge.kif 744-744 域 greaterThanByQuality, 3 and Attribute
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1530-1530 域 按職業劃分的勞動力比例, 2 and Attribute
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1512-1512 域 按職業期間劃分的勞動力比例, 2 and Attribute
(domain manner 2 Attribute) Merge.kif 1743-1743 域 方式, 2 and Attribute
(domain musicGenre 2 Attribute) Music.kif 343-343 域 musicGenre, 2 and Attribute
(domain property 2 Attribute) Merge.kif 1719-1719 域 屬性, 2 and Attribute
(domain subAttribute 1 Attribute) Merge.kif 675-675 域 子屬性, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 676-676 域 子屬性, 2 and Attribute
(domain subjectiveAttribute 2 Attribute) Dining.kif 314-314 域 subjectiveAttribute, 2 and Attribute
(domain successorAttribute 1 Attribute) Merge.kif 697-697 域 繼承屬性, 1 and Attribute
(domain successorAttribute 2 Attribute) Merge.kif 698-698 域 繼承屬性, 2 and Attribute
(domain successorAttributeClosure 1 Attribute) Merge.kif 723-723 域 後繼屬性關閉, 1 and Attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 724-724 域 後繼屬性關閉, 2 and Attribute
(domain vegetationTypePattern 3 Attribute) Geography.kif 6659-6659 域 植被類型模式, 3 and Attribute
(domain windRelativePosition 2 Attribute) Weather.kif 280-280 域 風的相對位置, 2 and Attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 481-481 域子類 詳盡的屬性, 1 and Attribute

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners