Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
attribute
Sigma KEE - attribute
attribute
appearance as argument number 1
(
documentation
attribute
ChineseLanguage
"(
attribute
?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的
Attribute
。例如:(
attribute
MyLittleRedWagon
Red
)。")
chinese_format.kif 1714-1715
(
documentation
attribute
EnglishLanguage
"(
attribute
?OBJECT ?PROPERTY) means that ?PROPERTY is a
Attribute
of ?OBJECT. For example, (
attribute
MyLittleRedWagon
Red
).")
Merge.kif 1700-1702
(
domain
attribute
1
Object
)
Merge.kif 1697-1697
(
domain
attribute
2
Attribute
)
Merge.kif 1698-1698
(
instance
attribute
AsymmetricRelation
)
Merge.kif 1692-1692
(
instance
attribute
BinaryPredicate
)
Merge.kif 1695-1695
(
instance
attribute
IrreflexiveRelation
)
Merge.kif 1693-1693
(
instance
attribute
TotalValuedRelation
)
Merge.kif 1694-1694
(
subrelation
attribute
property
)
Merge.kif 1696-1696
appearance as argument number 2
(
disjointRelation
manner
attribute
)
Merge.kif 1711-1711
(
format
ChineseLanguage
attribute
"%2 %n 是 %1 的
attribute
")
chinese_format.kif 59-59
(
format
EnglishLanguage
attribute
"%2 is %n an
attribute
of %1")
english_format.kif 59-59
(
subrelation
bondRating
attribute
)
FinancialOntology.kif 2524-2524
(
subrelation
color
attribute
)
Mid-level-ontology.kif 19140-19140
(
subrelation
creditRanking
attribute
)
FinancialOntology.kif 2515-2515
(
subrelation
developmentalForm
attribute
)
Merge.kif 14180-14180
(
subrelation
deviceState
attribute
)
Mid-level-ontology.kif 1845-1845
(
subrelation
economyType
attribute
)
Economy.kif 86-86
(
subrelation
governmentType
attribute
)
Government.kif 130-130
(
subrelation
hasGUEState
attribute
)
ComputerInput.kif 1882-1882
(
subrelation
hasMolecularStructuralAttribute
attribute
)
VirusProteinAndCellPart.kif 118-118
(
subrelation
hostStatus
attribute
)
QoSontology.kif 2109-2109
(
subrelation
musicGenre
attribute
)
Music.kif 341-341
(
subrelation
organizationalObjective
attribute
)
Government.kif 2595-2595
(
termFormat
ChineseLanguage
attribute
"属于")
chinese_format.kif 60-60
(
termFormat
EnglishLanguage
attribute
"attribute")
domainEnglishFormat.kif 65875-65875
antecedent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 30094-30104
(<=>
(
attribute
?H
LiteracyAttribute
)
(
and
(
hasSkill
Reading
?H)
(
hasSkill
Writing
?H)))
Mid-level-ontology.kif 14847-14851
(<=>
(
attribute
?HOLE1
Fillable
)
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?HOLE1 ?HOLE2))))
Merge.kif 9927-9932
(<=>
(
attribute
?I
(
BeliefGroupMemberFn
?BG))
(
member
?I ?BG))
People.kif 702-704
(<=>
(
attribute
?INDIVIDUAL
Agnostic
)
(
member
?INDIVIDUAL
Agnosticism
))
People.kif 728-730
(<=>
(
attribute
?INDIVIDUAL
AhmadiyyaMuslim
)
(
member
?INDIVIDUAL
AhmadiyyaSect
))
People.kif 1373-1375
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
Anglicanism
))
People.kif 1251-1253
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
ChurchOfEngland
))
People.kif 1259-1261
(<=>
(
attribute
?INDIVIDUAL
Atheist
)
(
member
?INDIVIDUAL
Atheism
))
People.kif 746-748
(<=>
(
attribute
?INDIVIDUAL
Bahai
)
(
member
?INDIVIDUAL
Bahaism
))
People.kif 783-785
(<=>
(
attribute
?INDIVIDUAL
Buddhist
)
(
member
?INDIVIDUAL
Buddhism
))
People.kif 795-797
(<=>
(
attribute
?INDIVIDUAL
Confucianist
)
(
member
?INDIVIDUAL
Confucianism
))
People.kif 1332-1334
(<=>
(
attribute
?INDIVIDUAL
DruzeMuslim
)
(
member
?INDIVIDUAL
DruzeSect
))
People.kif 1387-1389
(<=>
(
attribute
?INDIVIDUAL
EasternOrthodoxChristian
)
(
member
?INDIVIDUAL
EasternOrthodoxChristianity
))
People.kif 1273-1275
(<=>
(
attribute
?INDIVIDUAL
Hindu
)
(
member
?INDIVIDUAL
Hinduism
))
People.kif 1344-1346
(<=>
(
attribute
?INDIVIDUAL
Jain
)
(
member
?INDIVIDUAL
Jainism
))
People.kif 1437-1439
(<=>
(
attribute
?INDIVIDUAL
Muslim
)
(
member
?INDIVIDUAL
Islam
))
People.kif 1356-1358
(<=>
(
attribute
?INDIVIDUAL
Neopaganismist
)
(
member
?INDIVIDUAL
Neopaganism
))
People.kif 1483-1485
(<=>
(
attribute
?INDIVIDUAL
Protestant
)
(
member
?INDIVIDUAL
Protestantism
))
People.kif 1287-1289
(<=>
(
attribute
?INDIVIDUAL
ReligiousJew
)
(
member
?INDIVIDUAL
Judaism
))
People.kif 1454-1456
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicChurch
))
People.kif 1309-1311
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicism
))
People.kif 1301-1303
(<=>
(
attribute
?INDIVIDUAL
ShiaMuslim
)
(
member
?INDIVIDUAL
ShiiteSect
))
People.kif 1403-1405
(<=>
(
attribute
?INDIVIDUAL
Shintoist
)
(
member
?INDIVIDUAL
Shinto
))
People.kif 1498-1500
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1513-1515
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 383-416
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 429-462
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1400-1404
(<=>
(
equal
(
MaleToFemaleRatioFn
?AREA) ?REALNUMBER)
(
and
(
equal
?MALECOUNT
(
CardinalityFn
(
KappaFn
?MALE
(
and
(
instance
?MALE
Human
)
(
attribute
?MALE
Male
)
(
inhabits
?MALE ?AREA)))))
(
equal
?FEMALECOUNT
(
CardinalityFn
(
KappaFn
?FEMALE
(
and
(
instance
?FEMALE
Human
)
(
attribute
?FEMALE
Female
)
(
inhabits
?FEMALE ?AREA)))))
(
equal
(
DivisionFn
?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 232-249
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17105-17113
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cow
)
(
attribute
?B
Male
)))
Mid-level-ontology.kif 19975-19979
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cow
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 19966-19970
(<=>
(
instance
?COW
FemaleCow
)
(
and
(
instance
?COW
Cow
)
(
attribute
?COW
Female
)))
Mid-level-ontology.kif 19984-19988
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 30010-30014
(<=>
(
instance
?H
Hen
)
(
and
(
instance
?H
Chicken
)
(
attribute
?H
Female
)))
Mid-level-ontology.kif 19998-20002
(<=>
(
instance
?ICE
Ice
)
(
and
(
instance
?ICE
Water
)
(
attribute
?ICE
Solid
)))
Mid-level-ontology.kif 8939-8943
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 19952-19956
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20007-20011
(=>
(
accommodationProvider
?PKG ?HOTEL)
(
attribute
?HOTEL
TravelerAccommodation
))
Hotel.kif 2768-2770
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16695-16704
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20542-20549
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18619-18625
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12385-12395
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
patient
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17183-17196
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17530-17539
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19225-19235
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4038-4055
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25596-25605
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 482-495
(
containsInformation
(
forall
(?AGENT ?VOTER ?ELECTION ?VOTING)
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?AGENT))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
attribute
?VOTER
Male
)))
ExclusiveMaleSuffrage
)
Government.kif 1241-1248
(
decreasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentAntidote
?AGENT ?SUBSTANCE ?PROCESS)
(
instance
?SAMPLE ?SUBSTANCE)
(
instance
?THERAPY ?PROCESS)
(
experiencer
?THERAPY ?ORGANISM)
(
patient
?THERAPY ?SAMPLE))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 921-929
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 933-946
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 230-231
(
increasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentDelivery
?AGENT ?PROCESSTYPE)
(
instance
?PROCESS ?PROCESSTYPE)
(
experiencer
?PROCESS ?ORGANISM))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 767-773
appearance as argument number 0
(
attribute
SouthernOcean
PolarClimateZone
)
Geography.kif 4591-4591
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