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
greaterThanOrEqualTo
Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo
appearance as argument number 1
(
documentation
greaterThanOrEqualTo
ChineseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
多于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1735-1736
(
documentation
greaterThanOrEqualTo
EnglishLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1881-1883
(
documentation
greaterThanOrEqualTo
JapaneseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以上の場合に当てはまる。")
japanese_format.kif 343-344
(
domain
greaterThanOrEqualTo
1
RealNumber
)
Merge.kif 1877-1877
greaterThanOrEqualTo
の数値 1 引数は
実数
の
instance
では %n
(
domain
greaterThanOrEqualTo
2
RealNumber
)
Merge.kif 1878-1878
greaterThanOrEqualTo
の数値 2 引数は
実数
の
instance
では %n
(
instance
greaterThanOrEqualTo
BinaryPredicate
)
Merge.kif 1873-1873
greaterThanOrEqualTo
は
2進述語
の
instance
では %n
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
greaterThanOrEqualTo
は
半順序関係
の
instance
では %n
(
instance
greaterThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1875-1875
greaterThanOrEqualTo
は
数量に拡張された関係
の
instance
では %n
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
greaterThanOrEqualTo
は
lessThanOrEqualTo
の
inverse
では %n
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greaterThanOrEqualTo
は
実数
で
trichotomizing
されて %n
appearance as argument number 2
(
format
ChineseLanguage
greaterThanOrEqualTo
"%1 %n 是
greaterThanOrEqualTo
%2")
chinese_format.kif 113-113
(
format
EnglishLanguage
greaterThanOrEqualTo
"%1 is %n greater than or equal to %2")
english_format.kif 113-113
(
format
FrenchLanguage
greaterThanOrEqualTo
"%1 est %n plus grand ou �gal � %2")
french_format.kif 78-78
(
format
ItalianLanguage
greaterThanOrEqualTo
"%1 è %n più grande di o uguale a %2")
relations-it.txt 122-122
(
format
JapaneseLanguage
greaterThanOrEqualTo
"%1 は %2 greater では %n")
japanese_format.kif 1905-1905
(
format
PortugueseLanguage
greaterThanOrEqualTo
"%1 e' %n maior ou igual a %2")
portuguese_format.kif 30-30
(
format
cz
greaterThanOrEqualTo
"%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2")
relations-cz.txt 79-79
(
format
de
greaterThanOrEqualTo
"%1 ist groesserAlsOderGleich %2 %n{nicht}")
relations-de.txt 130-130
(
format
hi
greaterThanOrEqualTo
"%1 %2 se badaa yaa baraabara %n hai")
relations-hindi.txt 162-162
(
format
ro
greaterThanOrEqualTo
"%1 %n{nu} este greater%t{mai mare} sau egal decât %2")
relations-ro.kif 97-97
(
format
sv
greaterThanOrEqualTo
"%1 är %n{inte} större än eller lika med %2")
relations-sv.txt 77-77
(
format
tg
greaterThanOrEqualTo
"%1 %n ay mas malaki sa o pareho sa %2")
relations-tg.txt 250-250
(
termFormat
ChineseLanguage
greaterThanOrEqualTo
"大于或等于")
chinese_format.kif 114-114
(
termFormat
ChineseTraditionalLanguage
greaterThanOrEqualTo
"大於或等於")
domainEnglishFormat.kif 26537-26537
(
termFormat
EnglishLanguage
greaterThanOrEqualTo
"greater than or equal to")
domainEnglishFormat.kif 26536-26536
(
termFormat
de
greaterThanOrEqualTo
"groesserAlsOderGleich")
terms-de.txt 38-38
(
termFormat
tg
greaterThanOrEqualTo
"mas malaki sa o pareho sa")
relations-tg.txt 251-251
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7469-7479
オブジェクト
は
ParticulateMatter
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
の
part
では %n
approximateDiameter
自己接続オブジェクト
and
実数
の
Micrometer
(s)
実数
は 2.5
greater
では %n
オブジェクト
25
オブジェクト
25 は
FineParticulateMatter
の
instance
では %n
オブジェクト
25 は
オブジェクト
の
part
では %n
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
実数
は
実数
greater
では %n
実数
は
実数
と
equal
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
実数
は
面積測定
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
ArableLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
Gas
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
沸騰
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
climateTypeInArea
地理的地域
and
TropicalClimateZone
月
は
月
の
instance
では %n
averageRainfallForPeriod
地理的地域
,
月
and
実数
の 1 の
thousandth
Meter
(s)
実数
は 60.0
greater
では %n
climateTypeInArea
地理的地域
and
WetTropicalClimateZone
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 18
greater
では %n
エンティティー
は
HumanAdult
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2165-2176
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
土地面積
の
instance
では %n
地理的地域
は
ArableLand
の
instance
では
地理的地域
は
PermanentCropLand
の
instance
では
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2125-2136
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
PermanentCropLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
工程
工程
は
VotingFn
Election
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
consequent
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
実数
は
非負実数
の
instance
では %n
実数
は 0
greater
では %n
実数
は
実数
の
instance
では %n
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
Healthy
は
哺乳動物
の
attribute
では %n
restingBreathingRate
哺乳動物
and
整数
整数
は 12
greater
では %n 16 は
整数
greater
では %n
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
CollegeJunior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 2
greater
では %n
実数
は 3 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
CollegeSenior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 3
greater
では %n
実数
は 4 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
CollegeSophomore
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1
greater
では %n
実数
は 2 より
less
では %n
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
人[人間]
は
国民
% の
citizen
では %n
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
RegionalLawFn
国民
は
人[人間]
が
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
地理的地域
and
TemperateClimateZone
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は -3.0
greater
では %n
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
グラフノード
と
グラフノード
間の
lowest
cost
path
は
グラフパス
と
equal
では %n
グラフパス
の
value
は
実数
と
equal
では %n
グラフパス
2 は
グラフノード
と
グラフノード
間のパスの
set
の
instance
では %n
グラフパス
2 の
value
は
実数
と
equal
では %n
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
オブジェクト
は
Airport
の
instance
では %n
LongRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 2438
greater
では %n
実数
は 3047 より
less
または同等 では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
オブジェクト
は
Airport
の
instance
では %n
MediumLengthRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 1524
greater
では %n
実数
は 2437 より
less
または同等 では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
オブジェクト
は
Airport
の
instance
では %n
ShortRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 914
greater
では %n
実数
は 1523 より
less
または同等 では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
地域
は
地理的地域
の
instance
では %n
工程
は
PartlyCloudyWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では %n
非負実数
は 0.7 より
less
または同等 では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
地域
は
地理的地域
の
instance
では %n
工程
は
PartlyCloudyWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では %n
非負実数
は 0.7 より
less
または同等 では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8045-8052
地政学的地域
は
地政学的地域
の
instance
では %n
整数
は
CitizenryFn
地政学的地域
の
instances
の数 と
equal
では %n
整数
は
ResidentFn
地政学的地域
の
instances
の数 と
equal
では %n
整数
は
整数
greater
では %n
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
時点
and
実数
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
agreementEffectiveDate
FinancialAccount
and
時点
金融取引
の
date
は
時点
では
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Food
は
CoffeeBean
の
instance
では %n
DarkRoast
は
Food
の
attribute
では %n
roastedToTemperature
Food
and
実数
実数
は 225
greater
では %n
実数
は 245 より
less
または同等 では %n
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Food
は
CoffeeBean
の
instance
では %n
LightRoast
は
Food
の
attribute
では %n
roastedToTemperature
Food
and
実数
実数
は 196
greater
では %n
実数
は 205 より
less
または同等 では %n
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Food
は
CoffeeBean
の
instance
では %n
MediumRoast
は
Food
の
attribute
では %n
roastedToTemperature
Food
and
実数
実数
は 210
greater
では %n
実数
は 219 より
less
または同等 では %n
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
工程
は
沸騰
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
オブジェクト
は
CoffeeArabica
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.008
greater
では %n
実数
は 0.014 より
less
または同等 では %n
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
オブジェクト
は
CoffeeRobusta
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.017
greater
では %n
実数
は 0.04 より
less
または同等 では %n
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
オブジェクト
は
Crystal
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
Solid
は
自己接続オブジェクト
の
attribute
では %n
PolyCrystalline
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
LNT
整数
and
オブジェクト
オブジェクト
LNT は
コレクション
の
instance
では %n
memberCount
オブジェクト
LNT and
整数
整数
は 4
greater
では %n
オブジェクト
は
オブジェクト
LNT の
member
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
オブジェクト
は
FlatWhite
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
物質
の
part
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
実数
は 1.0
greater
では %n
実数
は 20.0 より
less
または同等 では %n
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
UnitOfVolume
の
instance
では %n
オブジェクト
は
エンティティー
を
contain
s %n{ない}
エンティティー
の
measure
は
エンティティー
の
エンティティー
(s) では %n
EngineFlooded
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
エンティティー
2
エンティティー
エンティティー
2 は
Fuel
の
instance
では %n
オブジェクト
は
エンティティー
2 を
contain
s %n{ない}
エンティティー
2 の
measure
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
greater
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
工程
は
VotingFn
Election
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
suffrageAgeMinimum
AutonomousAgent
and
実数
の
YearDuration
(s)
AutonomousAgent
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT は ?POLITY% の
citizen
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?AGENT の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?AGENT は
VotingFn
?ELECTION を
agent
として行う
capable
では %n
は
UniversalSuffrageLaw
の情報を
contain
s %n{ない}
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER は ?POLITY% の
citizen
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?VOTER の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?VOTING ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
は
CompulsorySuffrageLaw
の情報を
contain
s %n{ない}
(
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
AvailableForMilitaryServiceMaleFn
地政学的地域
は
エンティティー
class
の
instances
の数 と
equal
では %n
(
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
FitForMilitaryServiceMaleFn
地政学的地域
は
エンティティー
class
の
instances
の数 と
equal
では %n
appearance as argument number 0
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
TwelveApostles
の
instances
の数 は 11
greater
では %n
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