Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
equal
Sigma KEE - equal
equal
appearance as argument number 2
(
format
ItalianLanguage
equal
"%1 is %n uguale a %2")
relations-it.txt 96-96
(
format
cz
equal
"%1 se %n{ne}rovn� %2")
relations-cz.txt 179-179
(
format
de
equal
"%1 ist gleich %2 %n{nicht}")
relations-de.txt 387-387
(
format
hi
equal
"%1 %2 ke baraabara %n hai")
relations-hindi.txt 136-136
(
format
sv
equal
"%1 är %n{inte} lika med %2")
relations-sv.txt 178-178
(
format
tg
equal
"%1 %n ay pareho sa %2")
relations-tg.txt 205-205
(
termFormat
tg
equal
"pareho")
relations-tg.txt 206-206
antecedent
(<=>
(
and
(
equal
(
AbsoluteValueFn
?NUMBER1) ?NUMBER2)
(
instance
?NUMBER1
RealNumber
)
(
instance
?NUMBER2
RealNumber
))
(
or
(
and
(
instance
?NUMBER1
NonnegativeRealNumber
)
(
equal
?NUMBER1 ?NUMBER2))
(
and
(
instance
?NUMBER1
NegativeRealNumber
)
(
equal
?NUMBER2
(
SubtractionFn
0.0 ?NUMBER1)))))
Merge.kif 4796-4807
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2338-2343
(<=>
(
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 357-390
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
(<=>
(
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 403-436
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?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
)
(
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 310-342
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
PopulationGrowthFn
?AREA ?YEAR) ?ADJUSTEDPERCENT))
(
and
(
equal
(
SubtractionFn
?Y ?YP) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?YP))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
holdsDuring
?PREVIOUSYEAR
(
equal
(
PopulationFn
?AREA) ?PREVIOUSPOPULATION))
(
equal
(
DivisionFn
?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(
equal
(
SubtractionFn
?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 52-64
(<=>
(
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 206-223
(<=>
(
equal
?ID
(
InfectionFn
?M))
(
biologicalAgentCarrier
?ID ?M))
Medicine.kif 2003-2005
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 2233-2238
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 2426-2432
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3059
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 15450-15460
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2238-2248
(=>
(
and
(
arcLength
?A ?L)
(
equal
?A
CircularArc
))
(
exists
(?P ?P2)
(
and
(
pointOfFigure
?P ?A)
(
pointOfFigure
?P2 ?A)
(
not
(
equal
?P ?P2))
(
geometricDistance
?P ?P2 ?L))))
Mid-level-ontology.kif 5684-5694
(=>
(
and
(
arcLength
?SEMI
(
MeasureFn
?L ?U))
(
equal
?SEMI
SemicircularArc
))
(
exists
(?CIR ?C)
(
and
(
equal
?CIR
Circle
)
(
geometricPart
?SEMI ?CIR)
(
circumference
?CIR
(
MeasureFn
?C ?U))
(
equal
?C
(
AdditionFn
?L ?L)))))
Mid-level-ontology.kif 5700-5710
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
(=>
(
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
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3987-4007
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
equal
(
AbsoluteValueFn
?NUMBER1) ?NUMBER2)
(
instance
?NUMBER1
RealNumber
)
(
instance
?NUMBER2
RealNumber
))
(
or
(
and
(
instance
?NUMBER1
NonnegativeRealNumber
)
(
equal
?NUMBER1 ?NUMBER2))
(
and
(
instance
?NUMBER1
NegativeRealNumber
)
(
equal
?NUMBER2
(
SubtractionFn
0.0 ?NUMBER1)))))
Merge.kif 4796-4807
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 28228-28239
(<=>
(
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 357-390
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
(<=>
(
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 403-436
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?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
)
(
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 310-342
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
PopulationGrowthFn
?AREA ?YEAR) ?ADJUSTEDPERCENT))
(
and
(
equal
(
SubtractionFn
?Y ?YP) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?YP))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
holdsDuring
?PREVIOUSYEAR
(
equal
(
PopulationFn
?AREA) ?PREVIOUSPOPULATION))
(
equal
(
DivisionFn
?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(
equal
(
SubtractionFn
?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 52-64
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 744-755
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1529-1540
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1912-1917
(<=>
(
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 206-223
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 2233-2238
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 2426-2432
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1548-1559
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 32141-32154
(<=>
(
instance
?CONTINENT
Continent
)
(
or
(
equal
Africa
?CONTINENT)
(
equal
NorthAmerica
?CONTINENT)
(
equal
SouthAmerica
?CONTINENT)
(
equal
Antarctica
?CONTINENT)
(
equal
Europe
?CONTINENT)
(
equal
Asia
?CONTINENT)
(
equal
Oceania
?CONTINENT)))
Geography.kif 3662-3671
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 7415-7425
(<=>
(
instance
?HEMISPHERE
Hemisphere
)
(
or
(
equal
?HEMISPHERE
NorthernHemisphere
)
(
equal
?HEMISPHERE
SouthernHemisphere
)
(
equal
?HEMISPHERE
EasternHemisphere
)
(
equal
?HEMISPHERE
WesternHemisphere
)))
Geography.kif 3646-3652
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1567-1578
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1877-1881
(<=>
(
stringConcatenation
?S1 ?S2 ?S3)
(
equal
?S3
(
StringConcatenateFn
?S1 ?S2)))
Mid-level-ontology.kif 26158-26160
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 456-469
(
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 1001-1014
(
forall
(?NUMBER)
(
equal
(
MeasureFn
?NUMBER
OunceMass
)
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 14672-14675
(
forall
(?NUMBER)
(
equal
(
PredecessorFn
?NUMBER)
(
SubtractionFn
?NUMBER 1)))
Merge.kif 4764-4765
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4748-4749
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3050-3053
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3055-3059
(
not
(
equal
BigSix
GroupOf6
))
Government.kif 2876-2876
appearance as argument number 0
(
equal
(
ArcCosineFn
(
CosineFn
?X)) ?X)
Merge.kif 5293-5293
(
equal
(
ArcSineFn
(
SineFn
?X)) ?X)
Merge.kif 5303-5303
(
equal
(
ArcTangentFn
(
TangentFn
?X)) ?X)
Merge.kif 5283-5283
(
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 940-949
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE
CircleSector
))) 3)
Mid-level-ontology.kif 5635-5638
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE
CircularSegment
))) 2)
Mid-level-ontology.kif 5910-5913
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE
Triangle
))) 3)
Mid-level-ontology.kif 5522-5525
(
equal
(
CardinalityFn
Continent
) 7)
Merge.kif 14335-14335
(
equal
(
CardinalityFn
NativityMagi
) 3)
Media.kif 2005-2005
(
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 963-974
(
equal
(
JankaHardnessFn
AspenTree
)
(
MeasureFn
350
PoundForce
))
Mid-level-ontology.kif 10422-10422
(
equal
(
JankaHardnessFn
BeechTree
)
(
MeasureFn
1300
PoundForce
))
Mid-level-ontology.kif 10425-10425
(
equal
(
JankaHardnessFn
PoplarTree
)
(
MeasureFn
540
PoundForce
))
Mid-level-ontology.kif 10423-10423
(
equal
(
JankaHardnessFn
RedOakTree
)
(
MeasureFn
1290
PoundForce
))
Mid-level-ontology.kif 10424-10424
(
equal
(
JankaHardnessFn
WhiteOakTree
)
(
MeasureFn
1360
PoundForce
))
Mid-level-ontology.kif 10426-10426
(
equal
(
MeasureFn
1
FEU
)
(
MeasureFn
2
TEU
))
Transportation.kif 3105-3107
(
equal
(
MeasureFn
1
KilowattHour
)
(
MeasureFn
3.6
(
MegaFn
Joule
)))
Economy.kif 2248-2248
(
equal
(
MeasureFn
1
KilowattHour
)
(
MeasureFn
3600000.0
Joule
))
Economy.kif 2249-2249
(
equal
(
MeasureFn
1
WeekDuration
)
(
MeasureFn
7
DayDuration
))
Merge.kif 7137-7139
(
equal
(
MeasureFn
1
YearDuration
)
(
MeasureFn
365
DayDuration
))
Merge.kif 7164-7166
(
equal
(
MeasureFn
1.0
AngularDegree
)
(
MeasureFn
60.0
ArcMinute
))
Geography.kif 552-552
(
equal
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
60.0
ArcSecond
))
Geography.kif 571-571
(
equal
(
MeasureFn
1.0
Fathom
)
(
MeasureFn
6.0
FootLength
))
Geography.kif 4093-4093
(
equal
(
MeasureFn
1.0
MetricTon
)
(
MeasureFn
2205.0
PoundMass
))
Mid-level-ontology.kif 14940-14942
(
equal
(
MeasureFn
1.0
NauticalMile
)
(
MeasureFn
1852.0
Meter
))
Geography.kif 4116-4118
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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