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
MarshallIslands
Sigma KEE - price
price
appearance as argument number 1
(
documentation
price
EnglishLanguage
"(
price
?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.")
Mid-level-ontology.kif 7766-7767
(
domain
price
1
Physical
)
Mid-level-ontology.kif 7763-7763
price
の数値 1 引数は
物理
の
instance
では %n
(
domain
price
2
CurrencyMeasure
)
Mid-level-ontology.kif 7764-7764
price
の数値 2 引数は
通貨測定
の
instance
では %n
(
domain
price
3
AutonomousAgent
)
Mid-level-ontology.kif 7765-7765
price
の数値 3 引数は
AutonomousAgent
の
instance
では %n
(
instance
price
TernaryPredicate
)
Mid-level-ontology.kif 7762-7762
price
は
3進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
price
"%1 %n 是 对于 %3 的
price
%2 ")
domainEnglishFormat.kif 2039-2039
(
format
ChineseTraditionalLanguage
price
"%1 %n 是 對於 %3 的
price
%2 ")
domainEnglishFormat.kif 2038-2038
(
format
EnglishLanguage
price
"%1 is %n
price
%2 for %3")
domainEnglishFormat.kif 2037-2037
(
subrelation
askPrice
price
)
FinancialOntology.kif 1924-1924
askPrice
は
price
の
subrelation
では %n
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
は
price
の
subrelation
では %n
(
termFormat
ChineseLanguage
price
"价钱")
domainEnglishFormat.kif 47284-47284
(
termFormat
ChineseTraditionalLanguage
price
"價錢")
domainEnglishFormat.kif 47283-47283
(
termFormat
EnglishLanguage
price
"price")
domainEnglishFormat.kif 47282-47282
antecedent
(<=>
(
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
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3034-3042
FinancialInstrument
FinancialInstrument
Price and
通貨測定
Agreement
は
Option
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
通貨測定
FinancialInstrument
Price は
通貨測定
と
equal
では %n
atTheMoney
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
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
工程
は
Downtick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
は
SetMenu
の
instance
では %n
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
PreparedFood
の
subclass
では %n
物理
は
クラス
の
instance
では %n
物理
は
エンティティー
の
instance
では %n
物理
は
物理
と
equal
では
price
物理
,
通貨測定
and
AutonomousAgent
price
物理
,
通貨測定
and
AutonomousAgent
通貨測定
は
通貨測定
と
equal
では %n
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
工程
は
Uptick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
では %n
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7769-7776
price
物理
,
通貨測定
and
AutonomousAgent
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
物理
は
金融取引
の
patient
では %n
transactionAmount
金融取引
and
通貨測定
consequent
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
オブジェクト
は
物理
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では %n
認識エージェント
は
オブジェクト
の
agent
では %n
認識エージェント
が
オブジェクト
を
experience
s %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
認識エージェント
は
オブジェクト
を
use
s %n{ない}
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
工程
を
possess
es %n{ない}
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
を
use
s %n{ない}
price
工程
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
物理
物理
は
オブジェクト
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
TemporaryResidence
に
located
して %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
resource
では %n
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
price
工程
, 0.0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
工程
は
Downtick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7875-7889
工程
は
BargainSale
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
実数
実数
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では %n
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
工程
は
Uptick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
では %n
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
オブジェクト
は
物理
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では %n
認識エージェント
は
オブジェクト
の
agent
では %n
認識エージェント
が
オブジェクト
を
experience
s %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
認識エージェント
は
オブジェクト
を
use
s %n{ない}
実数
測定単位
price
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は 0 より
greater
では %n
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
工程
を
possess
es %n{ない}
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
を
use
s %n{ない}
実数
測定単位
price
工程
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は 0 より
greater
では %n
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
物理
物理
は
オブジェクト
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
TemporaryResidence
に
located
して %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
工程
は
TemporaryResidence
に
located
して %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
resource
では %n
工程
RICE
測定単位
price
オブジェクト
,
工程
RICE の
測定単位
(s) and
人[人間]
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
RICE は 0 より
greater
では %n
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
工程
RICE
測定単位
price
工程
,
工程
RICE の
測定単位
(s) and
人[人間]
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
RICE は 0 より
greater
では %n
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1727-1739
roomAmenity
HotelUnit
and
HotelMiniBar
オブジェクト
コレクション
and
AutonomousAgent
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
コレクション
は
HotelMiniBar
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
物理
物理
は
コレクション
の
member
では %n
通貨測定
price
物理
,
通貨測定
and
AutonomousAgent
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