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

KB Term:  Term intersection
English Word: 

Sigma KEE - Attribute
Attribute(attribute)
more pictures...		CISC, E.S.P., ESP, God's_Will, High_Renaissance, Midas_touch, RISC, ability, absence, absolute, absolute_magnitude, absolution, accept, act_as, actinism, activity, add, address, admit, afford, age, agelessness, agree, air_alert, alert, alterability, ambiguity, amorality, amount, anchorage, anecdotist, anisotropy, annulment, answer, antecede, antecedence, antecedency, antedate, anteriority, appertain, aptness, arability, arise, artistic_style, ask, aspect, assailability, astringency, atmosphere, atmospheric_state...

appearance as argument number 1
-------------------------


s__subclass(s__Attribute,s__Abstract)

 Merge.kif 1793-1793 Attribute is a subclass of abstract
s__partition(s__Attribute,s__InternalAttribute,s__RelationalAttribute)

 Merge.kif 1795-1795 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__documentation(s__Attribute, s__EnglishLanguage, "Qualities which we cannot or choose not to reify into subclasses of_") Merge.kif 1797-1798 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/0/0b/Fiddler_crab.jpg")

 pictureList.kif 9894-9894 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/e/e3/Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg")

 pictureList.kif 10448-10448 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/0/04/NordJW-06_Mudpaws_Duke_Silver.jpg")

 pictureList.kif 10449-10449 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/3/3a/Young_and_old.jpg")

 pictureList.kif 10450-10450 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/0/0e/Big_ben.jpg")

 pictureList.kif 10451-10451 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/1/1b/Spicularia.PNG")

 pictureList.kif 10452-10452 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/4/4a/Tall_Sundew.jpg")

 pictureList.kif 10453-10453 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/4/4f/Stalinist_and_19_century_compare_sizes.jpg")

 pictureList.kif 10454-10454 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/0/03/Liberation_compare.png")

 pictureList.kif 10456-10456 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/6/6e/ASCII_notepad_acidview_compare.png")

 pictureList.kif 10457-10457 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__externalImage(s__Attribute,"http:
//upload.wikimedia.org/wikipedia/commons/7/70/Shroud_positive_negative_compare.jpg")

 pictureList.kif 10458-10458 Attribute is exhaustively partitioned into internal attribute and relational attribute

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


s__subclass(s__InternalAttribute,s__Attribute)

 Merge.kif 1895-1895 Internal attribute is a subclass of attribute
s__subclass(s__RelationalAttribute,s__Attribute)

 Merge.kif 1918-1918 Relational attribute is a subclass of attribute
s__instance(s__Windy,s__Attribute)

 Merge.kif 11540-11540 Windy is an instance of attribute
s__instance(s__Paved,s__Attribute)

 Mid-level-ontology.kif 16634-16634 Paved is an instance of attribute
s__instance(s__Unpaved,s__Attribute)

 Mid-level-ontology.kif 16635-16635 Unpaved is an instance of attribute
s__instance(s__Dorsal,s__Attribute)

 Anatomy.kif 1992-1992 Dorsal is an instance of attribute
s__instance(s__Ventral,s__Attribute)

 Anatomy.kif 2013-2013 Ventral is an instance of attribute
s__instance(s__SupplyPressure,s__Attribute)

 Economy.kif 6834-6834 Loose is an instance of attribute
s__instance(s__DemandPressure,s__Attribute)

 Economy.kif 6850-6850 Tight is an instance of attribute
s__instance(s__EquilibriumEconomics,s__Attribute)

 Economy.kif 6865-6865 Equilibrium is an instance of attribute
s__instance(s__ServiceInEconomics,s__Attribute)

 Economy.kif 6904-6904 Service is an instance of attribute
s__instance(s__BasicPH,s__Attribute)

 Food.kif 2830-2830 Basic pH is an instance of attribute
s__instance(s__Vegetarian,s__Attribute)

 Food.kif 3560-3560 Vegetarian is an instance of attribute
s__instance(s__Vegan,s__Attribute)

 Food.kif 3569-3569 Vegan is an instance of attribute
s__subclass(s__ClimateZone,s__Attribute)

 Geography.kif 2726-2726 Climate zone is a subclass of attribute
s__instance(s__OpenSea,s__Attribute)

 Geography.kif 6247-6247 Open sea is an instance of attribute
s__subclass(s__ListingAttribute,s__Attribute)

 UXExperimentalTerms.kif 293-293 Web listing attribute is a subclass of attribute
s__instance(s__RepresentativeSample,s__Attribute)

 UXExperimentalTerms.kif 492-492 Representative sample is an instance of attribute
s__subclass(s__AccountAttribute,s__Attribute)

 UXExperimentalTerms.kif 643-643 Account attribute is a subclass of attribute
s__subclass(s__TransactionAttribute,s__Attribute)

 UXExperimentalTerms.kif 1630-1630 Transaction attribute is a subclass of attribute
s__subclass(s__ExperimentAttribute,s__Attribute)

 UXExperimentalTerms.kif 4397-4397 Experiment attribute is a subclass of attribute
s__instance(s__Crosswind,s__Attribute)

 Weather.kif 271-271 Crosswind is an instance of attribute
s__instance(s__Headwind,s__Attribute)

 Weather.kif 277-277 Headwind is an instance of attribute
s__instance(s__Tailwind,s__Attribute)

 Weather.kif 284-284 Tailwind is an instance of attribute
s__instance(s__StandardAmbientTemperaturePressure,s__Attribute)

 Weather.kif 3945-3945 Standard ambient temperature and pressure is an instance of attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__contraryAttribute,n__1,s__Attribute)

 Merge.kif 449-449 The number 1 argument of contrary attribute is an instance of attribute
s__domainSubclass(s__exhaustiveAttribute,n__1,s__Attribute)

 Merge.kif 480-480 The number 1 argument of exhaustive attribute is a subclass of attribute
s__domain(s__exhaustiveAttribute,n__2,s__Attribute)

 Merge.kif 481-481 The number 2 argument of exhaustive attribute is an instance of attribute
s__domain(s__subAttribute,n__1,s__Attribute)

 Merge.kif 674-674 The number 1 argument of sub attribute is an instance of attribute
s__domain(s__subAttribute,n__2,s__Attribute)

 Merge.kif 675-675 The number 2 argument of sub attribute is an instance of attribute
s__domain(s__successorAttribute,n__1,s__Attribute)

 Merge.kif 696-696 The number 1 argument of successor attribute is an instance of attribute
s__domain(s__successorAttribute,n__2,s__Attribute)

 Merge.kif 697-697 The number 2 argument of successor attribute is an instance of attribute
s__domain(s__successorAttributeClosure,n__1,s__Attribute)

 Merge.kif 722-722 The number 1 argument of successor attribute closure is an instance of attribute
s__domain(s__successorAttributeClosure,n__2,s__Attribute)

 Merge.kif 723-723 The number 2 argument of successor attribute closure is an instance of attribute
s__domain(s__greaterThanByQuality,n__3,s__Attribute)

 Merge.kif 743-743 The number 3 argument of greater than by quality is an instance of attribute
s__disjointDecomposition(s__Abstract,s__Quantity,s__Attribute,s__Relation,s__Proposition,s__List)

 Merge.kif 1763-1763 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
s__domain(s__property,n__2,s__Attribute)

 Merge.kif 1802-1802 The number 2 argument of property is an instance of attribute
s__domain(s__attribute,n__2,s__Attribute)

 Merge.kif 1813-1813 The number 2 argument of attribute is an instance of attribute
s__domain(s__manner,n__2,s__Attribute)

 Merge.kif 1824-1824 The number 2 argument of manner is an instance of attribute
s__domain(s__ExtensionFn,n__1,s__Attribute)

 Merge.kif 1852-1852 The number 1 argument of extension is an instance of attribute
s__domain(s__AttrFn,n__2,s__Attribute)

 Merge.kif 1869-1869 The number 2 argument of attr is an instance of attribute
s__domain(s__contraryAttributeWRT,n__1,s__Attribute)

 ComputerInput.kif 17-17 The number 1 argument of contrary attribute WRT is an instance of attribute
s__domain(s__contraryAttributeWRT,n__2,s__Attribute)

 ComputerInput.kif 18-18 The number 2 argument of contrary attribute WRT is an instance of attribute
s__domain(s__subjectiveAttribute,n__2,s__Attribute)

 Dining.kif 314-314 The number 2 argument of subjective attribute is an instance of attribute
s__domain(s__laborForceFractionByOccupationInPeriod,n__2,s__Attribute)

 Economy.kif 1507-1507 The number 2 argument of labor force fraction by occupation in period is an instance of attribute
s__domain(s__laborForceFractionByOccupation,n__2,s__Attribute)

 Economy.kif 1525-1525 The number 2 argument of labor force fraction by occupation is an instance of attribute
s__domain(s__vegetationTypePattern,n__3,s__Attribute)

 Geography.kif 7818-7818 The number 3 argument of vegetation type pattern is an instance of attribute
s__domain(s__musicGenre,n__2,s__Attribute)

 Music.kif 343-343 The number 2 argument of music genre is an instance of attribute
s__domain(s__windRelativePosition,n__2,s__Attribute)

 Weather.kif 264-264 The number 2 argument of wind relative position is an instance of attribute

antecedent
-------------------------


! [V__AGENT : $i,V__ATTR : $i] : (((s__offers(V__AGENT, V__ATTR) & s__instance(V__ATTR, s__Attribute)) => s__modalAttribute(( ? [V__OBJ:$i, V__SELL:$i] : ((s__instance(V__SELL, s__Selling) & s__attribute(V__OBJ, V__ATTR) & s__patient(V__SELL, V__OBJ) & s__agent(V__SELL, V__AGENT)))), s__Possibility))) Catalog.kif 109-119 If X offers items for sale in Y and Y is an instance of attribute, then the statement there exist Z, W such that W is an instance of selling, Y is an attribute of Z, Z is a patient of W, and X is an agent of W has the modal force of possibility
! [V__AGENT : $i,V__ATTR : $i,V__TIMEINT : $i] : (((s__offersAtTime(V__AGENT, V__ATTR, V__TIMEINT) & s__instance(V__ATTR, s__Attribute)) => s__holdsDuring(V__TIMEINT, s__offers(V__AGENT, V__ATTR)))) Catalog.kif 152-157 If X offers items for sale in Y during Z and Y is an instance of attribute, then X offers items for sale in Y holds during Z
! [V__ATT1 : $i,V__ATT2 : $i,V__PRED : $i] : (((s__instance(V__ATT1, s__Attribute) & s__instance(V__ATT2, s__Attribute) & s__subrelation(V__PRED, s__attribute)) => ~((s__contraryAttributeWRT(V__ATT1, V__ATT2, V__PRED) & s__?PRED(V__ENTITY, V__ATT1) & s__?PRED(V__ENTITY, V__ATT2))))) ComputerInput.kif 43-52 If X is an instance of attribute, Y is an instance of attribute, and Z is a subrelation of attribute, then At least one of the following holds: (1) ~{ X and Y are mutually exclusive for Z } (2) ~{ Z W and X } (3) ~{ Z W and Y }

consequent
-------------------------


! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3,V__ROW4)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute) &
       s__instance(V__ROW6,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ELEMENT] :
((s__instance(V__ROW1,s__Attribute) =>
     (s__contraryAttribute(V__ROW1)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ROW2,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ELEMENT] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute) &
       s__instance(V__ROW6,s__Attribute) &
       s__instance(V__ROW7,s__Attribute))
     =>
     (s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
   =>
   s__instance(V__ELEMENT,s__Attribute))))
)

 Merge.kif 456-460 Assuming @ROW is the opposite of, it follows that: if Y is a member of (@ROW), then Y is an instance of attribute
! [V__CLASS,V__ROW1,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute) &
       s__instance(V__ROW6,s__Attribute) &
       s__instance(V__ROW7,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW4,s__Attribute) &
       s__instance(V__ROW5,s__Attribute) &
       s__instance(V__ROW6,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2)))
=>
s__instance(V__ATTR,s__Attribute)))
)

! [V__CLASS,V__ROW1,V__ROW2,V__ROW3,V__ATTR] :
(((s__subclass(V__CLASS,s__Attribute) &
       s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute))
     =>
     ((s__exhaustiveAttribute(V__CLASS,V__ROW1,V__ROW2,V__ROW3)
       &
       s__inList(V__ATTR,s__ListFn(V__ROW1,V__ROW2,V__ROW3)))
=>
s__instance(V__ATTR,s__Attribute)))
)

 Merge.kif 489-493 If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of attribute
! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT,V__AGENT] :
(((s__instance(V__SAMPLE_COLL,s__Collection) &
       s__instance(V__POP_COLL,s__Collection) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__CognitiveAgent) &
       s__agent(V__EXPERIMENT,V__AGENT)
     &
     s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
=>
(! [V__ATTRIBUTE] :
   (((s__instance(V__ATTRIBUTE,s__Attribute) &
         s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
       &
       s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
     &
     ~((V__ATTRIBUTE = s__RepresentativeSample)))
     =>
     s__property(V__POP_COLL,V__ATTRIBUTE)))))
)

 UXExperimentalTerms.kif 501-517 If All of the following hold: (1) ?SAMPLE_COLL is an instance of collection (2) ?POP_COLL is an instance of collection (3) Z is an instance of experimenting (4) W is an instance of cognitive agent (5) W is an agent of Z (6) ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then For all Attribute V: if ?SAMPLE_COLL the attribute V, W is interested in V, and equal V and representative sample, then ?POP_COLL the attribute V


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners