Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
CoatingEngravingHeatTreatingAndAlliedActivities
Sigma KEE - equal
equal
appearance as argument number 1
(
documentation
equal
ChineseLanguage
"假如 ?ENTITY1 等于 ?ENTITY2的话,那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。")
chinese_format.kif 1391-1392
(
documentation
equal
JapaneseLanguage
"(equal ?ENTITY1 ?ENTITY2) は、万が一に備え、?ENTITY1が ?ENTITY2と同じある場合に当てはまる。")
japanese_format.kif 48-49
(
documentation
equal
SpanishLanguage
"(equal ?ENTITY1 ?ENTITY2) es verdadero por si acaso ?ENTITY1 es idéntico a ?ENTITY2.")
spanish_format.kif 53-54
appearance as argument number 2
(
format
ChineseLanguage
equal
"%1 %n
equal
%2")
chinese_format.kif 297-297
(
format
EnglishLanguage
equal
"%1 is %n
equal
to %2")
english_format.kif 302-302
(
format
FrenchLanguage
equal
"%1 est %n �gal � %2")
french_format.kif 171-171
(
format
ItalianLanguage
equal
"%1 is %n uguale a %2")
relations-it.txt 96-96
(
format
JapaneseLanguage
equal
"%1 は %2 と
equal
では %n")
japanese_format.kif 1991-1991
(
format
PortugueseLanguage
equal
"%1 e' %n igual a %2")
portuguese_format.kif 123-123
(
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
ro
equal
"%1 %n{nu} este
equal
%t{egal} cu %2")
relations-ro.kif 191-191
(
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
ChineseLanguage
equal
"等于")
chinese_format.kif 298-298
(
termFormat
ChineseTraditionalLanguage
equal
"等於")
domainEnglishFormat.kif 22317-22317
(
termFormat
EnglishLanguage
equal
"equal")
domainEnglishFormat.kif 22316-22316
(
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 4769-4780
等於
絕對值
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
RealNumber
例
NonnegativeRealNumber
and
RealNumber
例
RealNumber
and
NonnegativeRealNumber
等於
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
NegativeRealNumber
等於
NonnegativeRealNumber
and
減法
0.0 and
RealNumber
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
例
金融賬戶
and
金融賬戶
擁有
CognitiveAgent
and
金融資產
等於
金融賬戶
and
金融資產
的帳號
CognitiveAgent
持有
account
金融賬戶
(<=>
(
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
年
年
EAR
等於
GeopoliticalArea
和
年
的
male
出生估計壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
男
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千的
births
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千裡的
deaths
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千個生存出生裡的
deaths
and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and 1000 and
RealNumber
等於
entity
DEATHCOUNT and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
年齡
entity
and
測量
entity
and
年持續時間
少於
entity
and 1
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
的
female
出生預期壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
的出生預期
life
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千的
migrants
and
RealNumber
等於
減法
Integer
and
Integer
and 1
例
Entity
and
年
Integer
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
減法
Integer
and
Integer
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
(<=>
(
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
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的
population
成長 and
RealNumber
等於
減法
Integer
and
Integer
P and 1
例
TimePosition
and
年
Integer
P
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
持有期間
TimePosition
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
等於
減法
RealNumber
and 1 and
RealNumber
(<=>
(
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
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 1492-1497
等於
RealNumber
and
StandardDeviationFn
List
等於
RealNumber
and
平方根
VarianceFn
List
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1685-1691
等於
FunctionQuantity
and
測量
RealNumber
and
MilesPerHour
等於
FunctionQuantity
and
速度
測量
RealNumber
and
英里
and
測量
1 and
小時
(<=>
(
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 3034-3042
金融工具
金融工具
Price and
CurrencyMeasure
例
協議
and
選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
金融工具
Price
CurrencyMeasure
是
協議
的
strike
價錢
等於
金融工具
Price and
CurrencyMeasure
AutonomousAgent
是
協議
at
的錢
(=>
(
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 14106-14116
CognitiveAgent
有義務去做在
協議
的
Proposition
DeonticAttribute
等於
DeonticAttribute
and
義務
等於
DeonticAttribute
and
諾言
模態屬性
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
容易
(=>
(
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 2080-2090
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
RealNumber
and
AreaMeasure
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
(=>
(
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
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
女
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 12
(=>
(
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
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
男
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 13
(=>
(
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
attribute
AutonomousAgent
and
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
(=>
(
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 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
等於
AutonomousAgent
and
AutonomousAgent
例
Process
and
Class
例
Process
and
Class
子類
Class
and
IntentionalPsychologicalProcess
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持續時間
何時
Process
and
TimeDuration
持續時間
何時
Process
and
TimeDuration
模態屬性
比較多
TimeDuration
and
TimeDuration
and
容易
(=>
(
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
attribute
SelfConnectedObject
and
凹
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
等於
Object
and
Object
和
Object
之間線路
等於
Object
and
Object
部分
Object
and
Object
方位
Object
,
SelfConnectedObject
and
外
(=>
(
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
attribute
SelfConnectedObject
and
凸
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
等於
Object
and
Object
和
Object
之間線路
等於
Object
and
Object
部分
Object
and
Object
方位
Object
,
SelfConnectedObject
and
內
(=>
(
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 4071-4088
attribute
Object
and
幾何圖
例
Object
and
FourPosterBed
例
幾何圖
and
四邊形
圖的一面
一維圖
and
幾何圖
圖的一面
一維圖
and
幾何圖
等於
一維圖
and
一維圖
Object
Object
,
幾何點
and
Object
部分
Object
and
Object
例
Object
and
地板
方位
Object
,
Object
and
上
方位
Object
,
Object
and
垂直
一維圖
是 對於
幾何點
的 交接點
一維圖
attribute
Object
and
幾何點
空間的符合
Object
and
Object
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8122-8130
之前
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
and
(
codeMapping
ISO-4217-A
?A3 ?CURRENCY)
(
codeMapping
ISO-3166-1-alpha-2
?A2 ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
equal
?A2
(
SubstringFn
?A3 0 2)))
(
currencyType
?AREA ?CURRENCY))
Media.kif 2889-2895
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
SymbolicString
在
ISO-3166-1-alpha-2
denotes
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
等於
SymbolicString
and
SymbolicString
的
sub
-string 從 0 對於 2
UnitOfCurrency
是
GeopoliticalArea
的
currency
類別
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 4769-4780
等於
絕對值
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
RealNumber
例
NonnegativeRealNumber
and
RealNumber
例
RealNumber
and
NonnegativeRealNumber
等於
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
NegativeRealNumber
等於
NonnegativeRealNumber
and
減法
0.0 and
RealNumber
(<=>
(
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 26362-26373
例
Process
and
Photocopying
患者
Process
and
內容承載物理
例
內容承載物理
and
VisualContentBearingObject
包含信息
內容承載物理
and
Proposition
內容承載物理
Proposition
結果
Process
and
內容承載物理
例
內容承載物理
and
VisualContentBearingObject
包含信息
內容承載物理
and
Proposition
等於
Proposition
and
Proposition
(<=>
(
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
年
年
EAR
等於
GeopoliticalArea
和
年
的
male
出生估計壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
男
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千的
births
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千裡的
deaths
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千個生存出生裡的
deaths
and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and 1000 and
RealNumber
等於
entity
DEATHCOUNT and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
年齡
entity
and
測量
entity
and
年持續時間
少於
entity
and 1
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
的
female
出生預期壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
的出生預期
life
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
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
年
Integer
等於
GeopoliticalArea
和
年
每一千的
migrants
and
RealNumber
等於
減法
Integer
and
Integer
and 1
例
Entity
and
年
Integer
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
減法
Integer
and
Integer
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
(<=>
(
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
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的
population
成長 and
RealNumber
等於
減法
Integer
and
Integer
P and 1
例
TimePosition
and
年
Integer
P
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
持有期間
TimePosition
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
等於
減法
RealNumber
and 1 and
RealNumber
(<=>
(
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
attribute
Object
and
和弦音樂
Process
Process
例
Object
and
MakingMusic
例
Process
and
MakingMusic
例
Process
and
MakingMusic
子過程
Process
and
Object
子過程
Process
and
Object
等於
Process
and
Process
一同發生
Process
and
Object
一同發生
Process
and
Object
(<=>
(
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
RealNumber
是
List
的
average
List
PositiveInteger
等於
列表長度
List
and
列表長度
List
等於
清單順序
List
and 1 and
清單順序
List
and 1
PositiveInteger
在列表中
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
比較多
RealNumber
and 1
小於或等於
RealNumber
and
列表長度
List
等於
清單順序
List
and
PositiveInteger
and
RealNumber
在列表中
PositiveInteger
and
List
等於
RealNumber
and
清單順序
List
and
PositiveInteger
在列表中
PositiveInteger
and
List
等於
RealNumber
MINUSONE and
減法
RealNumber
and 1
等於
RealNumber
MINUSONE and
清單順序
List
and
PositiveInteger
等於
PositiveInteger
and
加成
PositiveInteger
and
PositiveInteger
等於
PositiveInteger
and
列表長度
List
等於
RealNumber
and
部
清單順序
List
and
PositiveInteger
and
PositiveInteger
(<=>
(
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 1528-1539
百分之
RealNumber
在
信仰團體
的人相信
信仰團體
Collection
Collection
,
Physical
,
Physical
,
RealNumber
1 and
RealNumber
2
位於
Physical
and
GeographicArea
會員
Physical
and
信仰團體
會員
Physical
and
Collection
RealNumber
1 是
Collection
的
member
計數
位於
Physical
and
GeographicArea
會員
Physical
and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1911-1916
compressionRatio
發動機
and
RealNumber
minCylinderVolume
發動機
and
測量
RealNumber
and
UnitOfMeasure
maxCylinderVolume
發動機
and
測量
UnitOfMeasure
AX and
UnitOfMeasure
等於
RealNumber
and
部
RealNumber
and
UnitOfMeasure
AX
(<=>
(
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
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 1492-1497
等於
RealNumber
and
StandardDeviationFn
List
等於
RealNumber
and
平方根
VarianceFn
List
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1685-1691
等於
FunctionQuantity
and
測量
RealNumber
and
MilesPerHour
等於
FunctionQuantity
and
速度
測量
RealNumber
and
英里
and
測量
1 and
小時
(<=>
(
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 1547-1558
RealNumber
percent
的人在
GeographicArea
是
EthnicGroup
Collection
Collection
,
Physical
,
Physical
,
RealNumber
1 and
RealNumber
2
位於
Physical
and
GeographicArea
會員
Physical
and
EthnicGroup
會員
Physical
and
Collection
RealNumber
1 是
Collection
的
member
計數
位於
Physical
and
GeographicArea
會員
Physical
and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
大於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(<=>
(
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 30247-30260
持有期間
TimeInterval
and
attribute
Entity
and
Alone
Entity
2
Process
等於
Entity
and
Entity
2
例
Entity
2 and
AutonomousAgent
例
Process
and
SocialInteraction
期間
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
Entity
2 是事件
Process
的
involved
(<=>
(
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 3504-3513
例
Entity
and
Continent
等於
非洲
and
Entity
等於
北美
and
Entity
等於
南美洲
and
Entity
等於
南極洲
and
Entity
等於
歐洲
and
Entity
等於
亞洲
and
Entity
等於
大洋洲
and
Entity
(<=>
(
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 6472-6482
例
Entity
and
共軛物質
Object
Object
and
Process
例
Object
and
CompoundSubstance
例
Object
and
CompoundSubstance
等於
Object
and
Object
例
Process
and
ChemicalSynthesis
資源
Process
and
Object
資源
Process
and
Object
結果
Process
and
Entity
(<=>
(
instance
?HEMISPHERE
Hemisphere
)
(
or
(
equal
?HEMISPHERE
NorthernHemisphere
)
(
equal
?HEMISPHERE
SouthernHemisphere
)
(
equal
?HEMISPHERE
EasternHemisphere
)
(
equal
?HEMISPHERE
WesternHemisphere
)))
Geography.kif 3488-3494
例
Entity
and
半球
等於
Entity
and
北半球
等於
Entity
and
南半球
等於
Entity
and
東半球
等於
Entity
and
西半球
(<=>
(
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 1566-1577
百分之
RealNumber
的人在
GeographicArea
speak
Language
Collection
Collection
,
SentientAgent
,
SentientAgent
2,
RealNumber
1 and
RealNumber
2
位於
SentientAgent
and
GeographicArea
會員
SentientAgent
and
Collection
Language
是
SentientAgent
的
speaks
語言
RealNumber
1 是
Collection
的
member
計數
位於
SentientAgent
2 and
GeographicArea
會員
SentientAgent
2 and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
小於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
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
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每個女人生的
children
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
SymbolicString
agent
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
持有期間
年
and
棲息
entity
and
GeopoliticalArea
(
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 924-937
等於
GeopoliticalArea
和
年
每年的
reaching
軍事男性年齡 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
等於
entity
and
減法
entity
and 1
持有期間
年
and
年齡
SymbolicString
and
entity
年齡
SymbolicString
and
entity
等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
forall
(?NUMBER)
(
equal
(
MeasureFn
?NUMBER
OunceMass
)
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13360-13363
RealNumber
等於
測量
RealNumber
and
OunceMass
and
測量
部
RealNumber
and 16.0 and
磅質量
(
forall
(?NUMBER)
(
equal
(
PredecessorFn
?NUMBER)
(
SubtractionFn
?NUMBER 1)))
Merge.kif 4737-4738
Integer
等於
前任
Integer
and
減法
Integer
and 1
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4721-4722
Integer
等於
接班人
Integer
and
加成
Integer
and 1
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3038-3041
@ROW
Entity
等於
列表長度
名單
@ROW and
entity
and
接班人
列表長度
名單
@ROW
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3043-3047
@ROW
Entity
等於
清單順序
名單
@ROW and
Entity
and
列表長度
名單
@ROW and
Entity
and
Entity
(
not
(
equal
BigSix
GroupOf6
))
Government.kif 2879-2879
等於
大六
and
6人小組
appearance as argument number 0
(
equal
(
ArcCosineFn
(
CosineFn
?X)) ?X)
Merge.kif 5266-5266
等於
ArcCosineFn
餘弦
RealNumber
and
RealNumber
(
equal
(
ArcSineFn
(
SineFn
?X)) ?X)
Merge.kif 5276-5276
等於
ArcSineFn
正弦
RealNumber
and
RealNumber
(
equal
(
ArcTangentFn
(
TangentFn
?X)) ?X)
Merge.kif 5256-5256
等於
ArcTangentFn
切線
RealNumber
and
RealNumber
(
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 863-872
等於
GeopoliticalArea
的
available
軍事服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE
Triangle
))) 3)
Mid-level-ontology.kif 4888-4891
等於
基數
卡帕
SymbolicString
and
圖的一面
SymbolicString
and
三角形
and 3
(
equal
(
CardinalityFn
Continent
) 7)
Merge.kif 14228-14228
等於
基數
Continent
and 7
(
equal
(
CardinalityFn
NativityMagi
) 3)
Media.kif 2003-2003
等於
基數
NativityMagi
and 3
(
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 886-897
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
MeasureFn
1
KilowattHour
)
(
MeasureFn
3.6
(
MegaFn
Joule
)))
Economy.kif 2008-2008
等於
測量
1 and
千瓦時
and
測量
3.6 and
兆
焦耳
(
equal
(
MeasureFn
1
KilowattHour
)
(
MeasureFn
3600000.0
Joule
))
Economy.kif 2009-2009
等於
測量
1 and
千瓦時
and
測量
3600000.0 and
焦耳
(
equal
(
MeasureFn
1
WeekDuration
)
(
MeasureFn
7
DayDuration
))
Merge.kif 7113-7115
等於
測量
1 and
週持續時間
and
測量
7 and
一天長度
(
equal
(
MeasureFn
1
YearDuration
)
(
MeasureFn
365
DayDuration
))
Merge.kif 7140-7142
等於
測量
1 and
年持續時間
and
測量
365 and
一天長度
(
equal
(
MeasureFn
1.0
AngularDegree
)
(
MeasureFn
60.0
ArcMinute
))
Geography.kif 382-382
等於
測量
1.0 and
圓周角度
and
測量
60.0 and
弧分
(
equal
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
60.0
ArcSecond
))
Geography.kif 401-401
等於
測量
1.0 and
弧分
and
測量
60.0 and
弧秒
(
equal
(
MeasureFn
1.0
Fathom
)
(
MeasureFn
6.0
FootLength
))
Geography.kif 3842-3842
等於
測量
1.0 and
推測
and
測量
6.0 and
腳長
(
equal
(
MeasureFn
1.0
MetricTon
)
(
MeasureFn
2205.0
PoundMass
))
Mid-level-ontology.kif 13628-13630
等於
測量
1.0 and
公噸
and
測量
2205.0 and
磅質量
(
equal
(
MeasureFn
1.0
NauticalMile
)
(
MeasureFn
1852.0
Meter
))
Geography.kif 3865-3867
等於
測量
1.0 and
海裡
and
測量
1852.0 and
儀表
(
equal
(
MeasureFn
1.0
NauticalMile
)
(
MeasureFn
6076.1
FootLength
))
Geography.kif 3861-3863
等於
測量
1.0 and
海裡
and
測量
6076.1 and
腳長
(
equal
(
MeasureFn
1.0
SquareMile
)
(
PerFn
(
MeasureFn
1.0
Mile
)
(
MeasureFn
1.0
Mile
)))
Mid-level-ontology.kif 13723-13727
等於
測量
1.0 and
平方英里
and
測量
1.0 and
英里
是
測量
1.0 and
英里
的
per
(
equal
(
MeasureFn
1.0
SquareYard
)
(
PerFn
(
MeasureFn
1.0
YardLength
)
(
MeasureFn
1.0
YardLength
)))
Mid-level-ontology.kif 13733-13737
等於
測量
1.0 and
方碼
and
測量
1.0 and
院子長度
是
測量
1.0 and
院子長度
的
per
(
equal
(
MeasureFn
?DEG
ArcMinute
)
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
))
Geography.kif 402-402
等於
測量
RealNumber
and
弧分
and
測量
乘法
60.0 and
RealNumber
and
弧秒
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
等於
測量
RealNumber
and
圓周角度
and
測量
乘法
60.0 and
RealNumber
and
弧分
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7152-7154
等於
測量
RealNumber
and
amu
and
測量
乘法
RealNumber
and 1.6605402E-24 and
公克
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7174-7176
等於
測量
RealNumber
and
埃
and
測量
乘法
RealNumber
and 1.0E-10 and
儀表
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7368-7370
等於
測量
RealNumber
and
圓周角度
and
測量
乘法
RealNumber
and
部
Pi
and 180.0 and
弧度
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