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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attribute

 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 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 劃分 Attribute, InternalAttribute and RelationalAttribute
(subclass Attribute Abstract) Merge.kif 1700-1700 子類 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 2801-2801 例 BasicPH and Attribute
(instance Crosswind Attribute) Weather.kif 299-299 例 側風 and Attribute
(instance Headwind Attribute) Weather.kif 305-305 例 逆風 and Attribute
(instance OpenSea Attribute) Geography.kif 4705-4705 例 公海 and Attribute
(instance Paved Attribute) Mid-level-ontology.kif 15059-15059 例 鋪砌 and Attribute
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 492-492 例 RepresentativeSample and Attribute
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 2678-2678 例 StandardAmbientTemperaturePressure and Attribute
(instance Tailwind Attribute) Weather.kif 312-312 例 尾風 and Attribute
(instance Unpaved Attribute) Mid-level-ontology.kif 15060-15060 例 未鋪砌 and Attribute
(instance Vegan Attribute) Food.kif 3531-3531 例 Vegan and Attribute
(instance Vegetarian Attribute) Food.kif 3522-3522 例 Vegetarian and Attribute
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 643-643 子類 AccountAttribute and Attribute
(subclass AirQualityAQIAttribute Attribute) Weather.kif 3100-3100 子類 AirQualityAQIAttribute and Attribute
(subclass ClimateZone Attribute) Geography.kif 1269-1269 子類 氣候區 and Attribute
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4400-4400 子類 ExperimentAttribute and Attribute
(subclass InternalAttribute Attribute) Merge.kif 1804-1804 子類 InternalAttribute and Attribute
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 293-293 子類 ListingAttribute and Attribute
(subclass RelationalAttribute Attribute) Merge.kif 1815-1815 子類 RelationalAttribute and Attribute
(subclass TransactionAttribute Attribute) UXExperimentalTerms.kif 1630-1630 子類 TransactionAttribute and Attribute
(termFormat ChineseLanguage Attribute "属性") chinese_format.kif 855-855
(termFormat EnglishLanguage Attribute "attribute") english_format.kif 912-912
(termFormat FrenchLanguage Attribute "attribut") french_format.kif 531-531
(termFormat Hindi Attribute "visheshtaa") terms-hindi.txt 62-62

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 1670-1670 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
(domain AttrFn 2 Attribute) Merge.kif 1778-1778 域 attr, 2 and Attribute
(domain ExtensionFn 1 Attribute) Merge.kif 1761-1761 域 延期, 1 and Attribute
(domain attribute 2 Attribute) Merge.kif 1721-1721 域 attribute, 2 and Attribute
(domain contraryAttribute 1 Attribute) Merge.kif 457-457 域 相反的屬性, 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 489-489 域 詳盡的屬性, 2 and Attribute
(domain greaterThanByQuality 3 Attribute) Merge.kif 751-751 域 greaterThanByQuality, 3 and Attribute
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1405-1405 域 按職業劃分的勞動力比例, 2 and Attribute
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1387-1387 域 按職業期間劃分的勞動力比例, 2 and Attribute
(domain manner 2 Attribute) Merge.kif 1733-1733 域 方式, 2 and Attribute
(domain property 2 Attribute) Merge.kif 1709-1709 域 屬性, 2 and Attribute
(domain subAttribute 1 Attribute) Merge.kif 682-682 域 子屬性, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 683-683 域 子屬性, 2 and Attribute
(domain subjectiveAttribute 2 Attribute) Dining.kif 314-314 域 subjectiveAttribute, 2 and Attribute
(domain successorAttribute 1 Attribute) Merge.kif 704-704 域 繼承屬性, 1 and Attribute
(domain successorAttribute 2 Attribute) Merge.kif 705-705 域 繼承屬性, 2 and Attribute
(domain successorAttributeClosure 1 Attribute) Merge.kif 730-730 域 後繼屬性關閉, 1 and Attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 731-731 域 後繼屬性關閉, 2 and Attribute
(domain vegetationTypePattern 3 Attribute) Geography.kif 6219-6219 域 植被類型模式, 3 and Attribute
(domain windRelativePosition 2 Attribute) Weather.kif 292-292 域 風的相對位置, 2 and Attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 488-488 域子類 詳盡的屬性, 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 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


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

Show without tree


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