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
lessThan
Sigma KEE - lessThan
lessThan
appearance as argument number 1
(
documentation
lessThan
ChineseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要少。")
chinese_format.kif 1729-1730
(
documentation
lessThan
EnglishLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than the
Quantity
?NUMBER2.")
Merge.kif 1839-1840
(
documentation
lessThan
JapaneseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2 より小さい場合に当てはまる。")
japanese_format.kif 337-338
(
domain
lessThan
1
RealNumber
)
Merge.kif 1836-1836
lessThan
の数値 1 引数は
実数
の
instance
では %n
(
domain
lessThan
2
RealNumber
)
Merge.kif 1837-1837
lessThan
の数値 2 引数は
実数
の
instance
では %n
(
instance
lessThan
BinaryPredicate
)
Merge.kif 1831-1831
lessThan
は
2進述語
の
instance
では %n
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
lessThan
は
非反射関係
の
instance
では %n
(
instance
lessThan
RelationExtendedToQuantities
)
Merge.kif 1834-1834
lessThan
は
数量に拡張された関係
の
instance
では %n
(
instance
lessThan
TransitiveRelation
)
Merge.kif 1832-1832
lessThan
は
推移関係
の
instance
では %n
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
は
実数
で
trichotomizing
されて %n
appearance as argument number 2
(
format
ChineseLanguage
lessThan
"%1 %n 是
lessThan
%2")
chinese_format.kif 141-141
(
format
EnglishLanguage
lessThan
"%1 is %n less than %2")
english_format.kif 142-142
(
format
FrenchLanguage
lessThan
"%1 est %n moins que %2")
french_format.kif 92-92
(
format
ItalianLanguage
lessThan
"%1 è %n meno di%2")
relations-it.txt 163-163
(
format
JapaneseLanguage
lessThan
"%1 は %2 より less では %n")
japanese_format.kif 1919-1919
(
format
PortugueseLanguage
lessThan
"%1 e' %n menos que %2")
portuguese_format.kif 44-44
(
format
cz
lessThan
"%1 %p{je} %n{nen�} men�� ne� %2")
relations-cz.txt 76-76
(
format
de
lessThan
"%1 ist kleinerAls %2 %n{nicht}")
relations-de.txt 172-172
(
format
hi
lessThan
"%1 %2 se kama %n hai")
relations-hindi.txt 202-202
(
format
ro
lessThan
"%1 %n{nu} este less%t{mai mic} decât %2")
relations-ro.kif 111-111
(
format
sv
lessThan
"%1 är %n{inte} mindre än %2")
relations-sv.txt 91-91
(
format
tg
lessThan
"%1 %n ay meno ng %2")
relations-tg.txt 325-325
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
greaterThan
は
lessThan
の
inverse
では %n
(
termFormat
ChineseLanguage
lessThan
"少于")
chinese_format.kif 142-142
(
termFormat
ChineseTraditionalLanguage
lessThan
"少於")
domainEnglishFormat.kif 34144-34144
(
termFormat
EnglishLanguage
lessThan
"less than")
domainEnglishFormat.kif 34143-34143
(
termFormat
de
lessThan
"kleinerAls")
terms-de.txt 52-52
(
termFormat
tg
lessThan
"meno ng")
relations-tg.txt 326-326
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
approximateDiameter
自己接続オブジェクト
and
実数
の
Micrometer
(s) 500.0 は
実数
より
less
では %n
自己接続オブジェクト
は
Droplet
の
instance
では %n
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
outOfTheMoney
Agreement
and
AutonomousAgent
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では %n
整数
整数
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
整数
の
agent
では %n
時間間隔
は
整数
の
time
の existence の
during
に takes %n{ない}
HumanAdult
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
整数
は 16 より
greater
では %n
整数
は 12 より
less
では %n
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
currentAccountBalance
FinancialAccount
,
日
and
実数
の
UnitedStatesDollar
(s)
実数
は 0 より
less
では %n
実数
は (0 +
実数
) と
equal
では %n
overdraft
FinancialAccount
,
実数
の
UnitedStatesDollar
(s) and
日
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
記号文字列
は
ReverseFn
記号文字列
と
equal
では %n
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は 1 より
greater
では %n
非負整数
は 0 より
greater
では %n
非負整数
は
非負整数
より
less
では %n
整数
は (
非負整数
+ 1) + 2 の
ceiling
と
equal
では %n
非負整数
EW は ((
整数
+
非負整数
) +
整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
and (1 +
非負整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
EW and (1 +
非負整数
EW) と
equal
では %n
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
UsingAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
currentAccountBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
の
date
は
日
では
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
LiabilityAccount
は
LiabilityAccount
の
instance
では %n
minimumPayment
LiabilityAccount
,
実数
の
測定単位
(s) and
MonthDuration
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
時間間隔
時間間隔
は
月
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
paymentsPerPeriod
LiabilityAccount
,
実数
の
測定単位
(s) and
時間間隔
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 12 より
greater
では %n
実数
は 20 より
less
では %n
エンティティー
は
Teenager
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 18 より
less
では %n
エンティティー
は
HumanYouth
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
エンティティー
は
純物質
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
meltingPoint
純物質
and
実数
の
測定単位
(s)
測定単位
は
UnitOfTemperature
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
less
では %n
Liquid
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
溶融
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
エンティティー
は
純物質
の
instance
では %n
meltingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
より
less
では %n
Solid
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
凍結
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2667-2673
水域
は
Waterway
の
instance
では %n
depth
物理
,
水域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
less
では %n
navigableForDraft
水域
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
less
では %n
Liquid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.92 より
greater
では %n
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
less
では %n
Solid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
物理
は (@ROW) の
member
では %n
物理
は (@ROW) の
member
では %n (@ROW) の
エンティティー
element
は
物理
と
equal
では %n (@ROW) の
エンティティー
element
は
物理
と
equal
では %n
正の整数
は
正の整数
より
less
では %n
物理
の
time
の existence は
物理
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
エンティティー
,
実数
の
測定単位
(s) and
認識エージェント
測定単位
は
UnitOfCurrency
の
instance
では %n
publishedPrice
エンティティー
,
実数
の
測定単位
(s),
認識エージェント
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
エンティティー
の
instance
では %n
工程
は
購買
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
immediate
の インスタンス では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
実数
は
実数
より
less
では %n
ステートメント
transactionAmount
工程
and
実数
には
Likely
の
modal
force
が ある
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
エンティティー
は
哺乳動物
の
instance
では %n
実数
2 + 2.0 は
実数
より
greater
では %n
実数
2 は 0.8 +
実数
より
less
では %n
SevereBloodLoss
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
エンティティー
は
哺乳動物
の
instance
では %n
実数
2 + 2.0 は
実数
より
less
では %n
CatastrophicBloodLoss
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
oxygenSaturation
?H ?N)
(
lessThan
?N 92.0)))
(
holdsDuring
?T
(
attribute
?H
Hypoxia
)))
Medicine.kif 1240-1246
oxygenSaturation
エンティティー
and
エンティティー
エンティティー
は 92.0 より
less
では %n は
時間位置
の
during
holds %n{ない}
Hypoxia
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
consequent
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
DeathsPerThousandLiveBirthsFn
地政学的地域
and
年
は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
実数
は
負の実数
の
instance
では %n
実数
は 0 より
less
では %n
実数
は
実数
の
instance
では %n
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
実数
は
実数
より
less
または同等 では %n
実数
は
実数
と
equal
では %n
実数
は
実数
より
less
では %n
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 12 より
less
では %n
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Male
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 13 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
CollegeFreshman
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1 より
less
では %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
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
HeartHealthyFood
は
エンティティー
の
attribute
では %n が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では %n の
probability
HeartHealthyFood
は
エンティティー
の
attribute
では が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では %n の
probability
実数
は
実数
より
less
では %n
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
公式
は
公式
を
decrease
s 可能性がある
公式
の
probability
は
実数
と
equal
では %n
公式
が
実数
では 場合の
公式
の
probability
実数
は
実数
より
less
では %n
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ .5 より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
オブジェクト
の
instance
では %n
Sphere
は
オブジェクト
の
attribute
では %n
ステートメント
実数
ADIUS
sphereRadius
オブジェクト
and
実数
ADIUS の
測定単位
(s)
実数
ADIUS は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
@ROW の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
less
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
instance
?A
AcuteAngle
)
(
angularMeasure
?A ?N))
(
lessThan
?N 90.0))
Mid-level-ontology.kif 4868-4872
TwoDimensionalAngle
は
AcuteAngle
の
instance
では %n
angularMeasure
TwoDimensionalAngle
and
実数
実数
は 90.0 より
less
では %n
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
potentialCustomer
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
は
Reserving
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} には
Necessity
の
modal
force
が ある
customer
認識エージェント
and
AutonomousAgent
が
実数
では 場合の
エンティティー
ES1
エンティティー
ES1 は
Reservation
の
instance
では %n
reservingEntity
認識エージェント
and
エンティティー
ES1
fulfillingEntity
AutonomousAgent
and
エンティティー
ES1 の
probability
customer
認識エージェント
and
AutonomousAgent
が
実数
では 場合の
エンティティー
ES2
エンティティー
ES2 は
Reservation
の
instance
では %n
reservingEntity
認識エージェント
and
エンティティー
ES2
fulfillingEntity
AutonomousAgent
and
エンティティー
ES2 の
probability
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
オブジェクト
は
Airport
の
instance
では %n
VeryShortRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 914 より
less
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationLowPointFn
地理的地域
and
地理的地域
測定単位
は
UnitOfLength
の
instance
では %n
elevation
ElevationLowPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationLowPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
地域
は
地理的地域
の
instance
では %n
工程
は
ClearWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
地域
は
地理的地域
の
instance
では %n
工程
は
ClearWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では %n
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
自己接続オブジェクト
は
Bottle
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
工程
は
冷却
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
実数
and
実数
エンティティー
は
温度測定
の
instance
では %n
エンティティー
の
エンティティー
(s) は
実数
と
equal
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
エンティティー
(s) は
実数
と
equal
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
工程
は
CPR
の
instance
では %n
motion
は
Compressing
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
% の
subprocess
では %n
オブジェクト
の
length
は
実数
の
Centimeter
(s) では
実数
は 5.0 より
greater
では %n
実数
は 6.0 より
less
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6099-6106
グラフパス
グラフパス
グラフパス
は
グラフ
を2つの別々のグラフに分割するパスの
set
の
instance
では %n
グラフパス
は
グラフ
を2つの別々のグラフに分割する最小パスの
set
の
instance
では %n
グラフパス
の
length
は
正の整数
では %n
グラフパス
の
length
は
正の整数
では %n
正の整数
は
正の整数
より
less
では %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