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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - attribute
attribute

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


s__documentation(s__attribute__m,s__ChineseLanguage,'(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如:(&%attribute MyLittleRedWagon Red)。')

Merge.kif 1767-1768
s__documentation(s__attribute__m,s__EnglishLanguage,'(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).')

Merge.kif 1764-1766
s__domain(s__attribute__m,1,s__Object)

Merge.kif 1763-1763
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 1759-1759
s__instance(s__attribute__m,s__IrreflexiveRelation)

Merge.kif 1760-1760
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 1761-1761
s__subrelation(s__attribute__m,s__property__m)

Merge.kif 1762-1762

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


s__disjointRelation(s__manner__m,s__attribute__m)

Merge.kif 1775-1775
s__format(s__ChineseLanguage,s__attribute__m,'%2 %n 是 %1 的 attribute')

chinese_format.kif 59-59
s__format(s__EnglishLanguage,s__attribute__m,'%2 is %n an attribute of %1')

english_format.kif 56-56
s__format(s__FrenchLanguage,s__attribute__m,'%2 est %n un attribut de %1')

french_format.kif 56-56
s__format(s__PortugueseLanguage,s__attribute__m,'%2 e %n um atributo de %1')

portuguese_format.kif 8-8
s__format(s__ar__m,s__attribute__m,'%2 هو %n صِفَة لِـ %1')

arabic_format.kif 6-6
s__format(s__cz__m,s__attribute__m,'%2 %p{je} %n{nen�} atributem %1')

relations-cz.txt 73-73
s__format(s__de__m,s__attribute__m,'%2 ist ein attribut von %1 %n{nicht}')

relations-de.txt 65-65
s__format(s__hi__m,s__attribute__m,'%1 kii eka visheshhataa %2 %n hai')

relations-hindi.txt 73-73
s__format(s__tg__m,s__attribute__m,'%1 %n may katangian ng %2')

relations-cb.txt 63-63
s__subrelation(s__bondRating__m,s__attribute__m)

FinancialOntology.kif 2433-2433
s__subrelation(s__color__m,s__attribute__m)

Mid-level-ontology.kif 17080-17080
s__subrelation(s__creditRanking__m,s__attribute__m)

FinancialOntology.kif 2424-2424
s__subrelation(s__developmentalForm__m,s__attribute__m)

Merge.kif 14295-14295
s__subrelation(s__deviceState__m,s__attribute__m)

Mid-level-ontology.kif 2342-2342
s__subrelation(s__economyType__m,s__attribute__m)

Economy.kif 86-86
s__subrelation(s__governmentType__m,s__attribute__m)

Government.kif 130-130
s__subrelation(s__hasGUEState__m,s__attribute__m)

ComputerInput.kif 1527-1527
s__subrelation(s__hasMolecularStructuralAttribute__m,s__attribute__m)

VirusProteinAndCellPart.kif 118-118
s__subrelation(s__hostStatus__m,s__attribute__m)

QoSontology.kif 2072-2072
s__subrelation(s__musicGenre__m,s__attribute__m)

Music.kif 344-344
s__subrelation(s__organizationalObjective__m,s__attribute__m)

Government.kif 2542-2542
s__termFormat(s__ChineseLanguage,s__attribute__m,'属于')

chinese_format.kif 60-60
s__termFormat(s__ar__m,s__attribute__m,'«صِفَة»')

arabic_format.kif 456-456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__INDIVIDUAL,V__CH] :
   ((s__attribute(V__INDIVIDUAL,V__CH)
     &
     s__instance(V__CH,s__Christian))
   <=>
   s__member(V__INDIVIDUAL,s__Christianity))
)

People.kif 797-801
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))
     <=>
     (? [V__ATTR] :
       (s__instance(V__ATTR,s__ConsciousnessAttribute) &
         s__attribute(V__AGENT,V__ATTR))))
)

Merge.kif 18649-18656
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28252-28262
( ! [V__H] :
   (s__attribute(V__H,s__LiteracyAttribute) <=>
     (s__hasSkill(s__Reading,V__H)
     &
     s__hasSkill(s__Writing,V__H)))
)

Mid-level-ontology.kif 12702-12706
( ! [V__HOLE1] :
   (s__attribute(V__HOLE1,s__Fillable) <=>
     (? [V__HOLE2] :
       (s__instance(V__HOLE2,s__Hole) &
         s__part(V__HOLE1,V__HOLE2))))
)

Merge.kif 9934-9939
( ! [V__I,V__BG] :
   (s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))
<=>
s__member(V__I,V__BG))
)

People.kif 678-680
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Agnostic) <=>
     s__member(V__INDIVIDUAL,s__Agnosticism))
   )

People.kif 704-706
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim) <=>
     s__member(V__INDIVIDUAL,s__AhmadiyyaSect))
   )

People.kif 1348-1350
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Anglican) <=>
     s__member(V__INDIVIDUAL,s__Anglicanism))
   )

People.kif 1227-1229
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Anglican) <=>
     s__member(V__INDIVIDUAL,s__ChurchOfEngland))
   )

People.kif 1235-1237
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Atheist) <=>
     s__member(V__INDIVIDUAL,s__Atheism))
   )

People.kif 722-724
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Bahai) <=>
     s__member(V__INDIVIDUAL,s__Bahaism))
   )

People.kif 759-761
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Buddhist) <=>
     s__member(V__INDIVIDUAL,s__Buddhism))
   )

People.kif 771-773
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Confucianist) <=>
     s__member(V__INDIVIDUAL,s__Confucianism))
   )

People.kif 1308-1310
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__DruzeMuslim) <=>
     s__member(V__INDIVIDUAL,s__DruzeSect))
   )

People.kif 1361-1363
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian) <=>
     s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity))
   )

People.kif 1249-1251
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Hindu) <=>
     s__member(V__INDIVIDUAL,s__Hinduism))
   )

People.kif 1320-1322
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Jain) <=>
     s__member(V__INDIVIDUAL,s__Jainism))
   )

People.kif 1409-1411
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Muslim) <=>
     s__member(V__INDIVIDUAL,s__Islam))
   )

People.kif 1332-1334
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Neopaganismist) <=>
     s__member(V__INDIVIDUAL,s__Neopaganism))
   )

People.kif 1455-1457
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Protestant) <=>
     s__member(V__INDIVIDUAL,s__Protestantism))
   )

People.kif 1263-1265
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__ReligiousJew) <=>
     s__member(V__INDIVIDUAL,s__Judaism))
   )

People.kif 1426-1428
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__RomanCatholic) <=>
     s__member(V__INDIVIDUAL,s__RomanCatholicChurch))
   )

People.kif 1285-1287
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__RomanCatholic) <=>
     s__member(V__INDIVIDUAL,s__RomanCatholicism))
   )

People.kif 1277-1279
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__ShiaMuslim) <=>
     s__member(V__INDIVIDUAL,s__ShiiteSect))
   )

People.kif 1376-1378

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))
     <=>
     (? [V__ATTR] :
       (s__instance(V__ATTR,s__ConsciousnessAttribute) &
         s__attribute(V__AGENT,V__ATTR))))
)

Merge.kif 18649-18656
( ! [V__PERSON] :
   ((s__instance(V__PERSON,s__Human) &
       (! [V__ORG] :
         (~ s__employs(V__ORG,V__PERSON))))
   <=>
   s__attribute(V__PERSON,s__Unemployed))
)

Merge.kif 17552-17558
( ! [V__Q] :
   (s__attribute(V__Q,s__Queen) <=>
     (s__attribute(V__Q,s__QueenRegnant) |
       s__attribute(V__Q,s__QueenConsort)))
   )

Government.kif 1360-1364
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 221-238
( ! [V__REGION] :
   ((? [V__EMIT] :
       (s__instance(V__EMIT,s__RadiatingLight) &
         s__patient(V__EMIT,V__REGION)
       &
       s__instance(V__REGION,s__Region)))
   <=>
   s__attribute(V__REGION,s__Illuminated))
)

Merge.kif 13569-13575
( ! [V__B] :
   (s__instance(V__B,s__Bull) <=>
     (s__instance(V__B,s__Cow) &
       s__attribute(V__B,s__Male)))
   )

Mid-level-ontology.kif 17892-17896
( ! [V__C] :
   (s__instance(V__C,s__Calf) <=>
     (s__instance(V__C,s__Cow) &
       s__attribute(V__C,s__NonFullyFormed)))
   )

Mid-level-ontology.kif 17884-17888
( ! [V__COW] :
   (s__instance(V__COW,s__FemaleCow) <=>
     (s__instance(V__COW,s__Cow) &
       s__attribute(V__COW,s__Female)))
   )

Mid-level-ontology.kif 17901-17905
( ! [V__DV] :
   (s__instance(V__DV,s__DamagedVehicle) <=>
     (s__instance(V__DV,s__Vehicle) &
       s__attribute(V__DV,s__DeviceDamaged)))
   )

Mid-level-ontology.kif 28172-28176
( ! [V__H] :
   (s__instance(V__H,s__Hen) <=>
     (s__instance(V__H,s__Chicken) &
       s__attribute(V__H,s__Female)))
   )

Mid-level-ontology.kif 17918-17922
( ! [V__ICE] :
   (s__instance(V__ICE,s__Ice) <=>
     (s__instance(V__ICE,s__Water) &
       s__attribute(V__ICE,s__Solid)))
   )

Mid-level-ontology.kif 8652-8656
( ! [V__L] :
   (s__instance(V__L,s__Lamb) <=>
     (s__instance(V__L,s__Sheep) &
       s__attribute(V__L,s__NonFullyFormed)))
   )

Mid-level-ontology.kif 17871-17875
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__Substance) <=>
     (? [V__ATTR] :
       (s__instance(V__ATTR,s__PhysicalState) &
         s__attribute(V__OBJ,V__ATTR))))
)

Merge.kif 17954-17959
( ! [V__R] :
   (s__instance(V__R,s__Rooster) <=>
     (s__instance(V__R,s__Chicken) &
       s__attribute(V__R,s__Male)))
   )

Mid-level-ontology.kif 17927-17931
( ! [V__PKG,V__HOTEL] :
   (s__accommodationProvider(V__PKG,V__HOTEL)
   =>
   s__attribute(V__HOTEL,s__TravelerAccommodation))
)

Hotel.kif 2704-2706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14408-14417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18357-18364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16397
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
( ! [V__O,V__P] :
   ((s__attribute(V__O,V__P)
     &
     s__instance(V__P,s__Fingerprint) &
     (~ s__instance(V__O,s__Finger)))
   =>
   (? [V__PR,V__F] :
     (s__instrument(V__PR,V__F)
     &
     s__instance(V__F,s__Finger) &
     s__attribute(V__F,V__P)
   &
   s__patient(V__PR,V__O))))
)

Mid-level-ontology.kif 10255-10265
No TPTP formula. May not be expressible in strict first order. Merge.kif 17644-17657
( ! [V__OBJ,V__PART,V__COLOR] :
   ((s__attribute(V__OBJ,s__Monochromatic) &
       s__superficialPart(V__PART,V__OBJ)
     &
     s__attribute(V__PART,V__COLOR)
   &
   s__instance(V__COLOR,s__PrimaryColor))
=>
(! [V__ELEMENT] :
   (s__superficialPart(V__ELEMENT,V__OBJ)
   =>
   s__attribute(V__ELEMENT,V__COLOR))))
)

Merge.kif 18077-18086
( ! [V__OFFICER,V__COR] :
   ((s__attribute(V__OFFICER,V__COR)
     &
     s__instance(V__COR,s__CommissionedOfficerRank))
   =>
   (? [V__MANAGE,V__PATIENT] :
     (s__instance(V__MANAGE,s__Managing) &
       s__agent(V__MANAGE,V__OFFICER)
     &
     s__patient(V__MANAGE,V__PATIENT)
   &
   (s__instance(V__PATIENT,s__MilitaryOrganization) |
     s__attribute(V__PATIENT,s__Soldier)))))
)

Military.kif 286-297

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1202-1209
No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878
No TPTP formula. May not be expressible in strict first order. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. People.kif 462-472
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941
(? [V__MEAL,V__REGION] :
   s__attribute(V__MEAL,s__MealAttributeFn(V__MEAL,V__REGION)))

Food.kif 297-298
No TPTP formula. May not be expressible in strict first order. WMD.kif 761-767


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners