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 1652-1653
(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 1650-1650 partition Attribute, InternalAttribute and RelationalAttribute
(subclass Attribute Abstract) Merge.kif 1648-1648 subclass Attribute and Abstract

appearance as argument number 2
-------------------------


(instance BasicPH Attribute) Food.kif 744-744 instance BasicPH and Attribute
(instance CanopiedVegetation Attribute) Geography.kif 6122-6122 instance CanopiedVegetation and Attribute
(instance Crosswind Attribute) Weather.kif 299-299 instance Crosswind and Attribute
(instance DenseVegetation Attribute) Geography.kif 6127-6127 instance DenseVegetation and Attribute
(instance GroundCoverVegetation Attribute) Geography.kif 6132-6132 instance GroundCoverVegetation and Attribute
(instance Headwind Attribute) Weather.kif 305-305 instance Headwind and Attribute
(instance OpenSea Attribute) Geography.kif 4604-4604 instance OpenSea and Attribute
(instance Paved Attribute) Mid-level-ontology.kif 14578-14578 instance Paved and Attribute
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 619-619 instance RepresentativeSample and Attribute
(instance ScatteredVegetation Attribute) Geography.kif 6137-6137 instance ScatteredVegetation and Attribute
(instance SparseVegetation Attribute) Geography.kif 6142-6142 instance SparseVegetation and Attribute
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 2677-2677 instance StandardAmbientTemperaturePressure and Attribute
(instance Tailwind Attribute) Weather.kif 312-312 instance Tailwind and Attribute
(instance Unpaved Attribute) Mid-level-ontology.kif 14579-14579 instance Unpaved and Attribute
(instance Vegan Attribute) Food.kif 939-939 instance Vegan and Attribute
(instance Vegetarian Attribute) Food.kif 930-930 instance Vegetarian and Attribute
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 798-798 subclass AccountAttribute and Attribute
(subclass ClimateZone Attribute) Geography.kif 1275-1275 subclass ClimateZone and Attribute
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4606-4606 subclass ExperimentAttribute and Attribute
(subclass InternalAttribute Attribute) Merge.kif 1752-1752 subclass InternalAttribute and Attribute
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 368-368 subclass ListingAttribute and Attribute
(subclass RelationalAttribute Attribute) Merge.kif 1763-1763 subclass RelationalAttribute and Attribute
(subclass TransactionAttribute Attribute) UXExperimentalTerms.kif 1838-1838 subclass TransactionAttribute and Attribute
(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
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1618-1618 disjointDecomposition Abstract, Quantity, Attribute, Relation, Proposition and List
(domain AttrFn 2 Attribute) Merge.kif 1726-1726 domain AttrFn, 2 and Attribute
(domain ExtensionFn 1 Attribute) Merge.kif 1709-1709 domain ExtensionFn, 1 and Attribute
(domain attribute 2 Attribute) Merge.kif 1669-1669 domain attribute, 2 and Attribute
(domain contraryAttribute 1 Attribute) Merge.kif 457-457 domain contraryAttribute, 1 and Attribute
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17 domain contraryAttributeWRT, 1 and Attribute
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 domain contraryAttributeWRT, 2 and Attribute
(domain exhaustiveAttribute 2 Attribute) Merge.kif 491-491 domain exhaustiveAttribute, 2 and Attribute
(domain greaterThanByQuality 3 Attribute) Merge.kif 742-742 domain greaterThanByQuality, 3 and Attribute
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1416-1416 domain laborForceFractionByOccupation, 2 and Attribute
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1398-1398 domain laborForceFractionByOccupationInPeriod, 2 and Attribute
(domain manner 2 Attribute) Merge.kif 1681-1681 domain manner, 2 and Attribute
(domain property 2 Attribute) Merge.kif 1657-1657 domain property, 2 and Attribute
(domain subAttribute 1 Attribute) Merge.kif 673-673 domain subAttribute, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 674-674 domain subAttribute, 2 and Attribute
(domain subjectiveAttribute 2 Attribute) Dining.kif 310-310 domain subjectiveAttribute, 2 and Attribute
(domain successorAttribute 1 Attribute) Merge.kif 695-695 domain successorAttribute, 1 and Attribute
(domain successorAttribute 2 Attribute) Merge.kif 696-696 domain successorAttribute, 2 and Attribute
(domain successorAttributeClosure 1 Attribute) Merge.kif 721-721 domain successorAttributeClosure, 1 and Attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 722-722 domain successorAttributeClosure, 2 and Attribute
(domain vegetationTypePattern 3 Attribute) Geography.kif 6116-6116 domain vegetationTypePattern, 3 and Attribute
(domain windRelativePosition 2 Attribute) Weather.kif 292-292 domain windRelativePosition, 2 and Attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 490-490 domainSubclass exhaustiveAttribute, 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 499-503
(=>
    (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


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