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
price
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 7739-7740
(
domain
price
1
Physical
)
Mid-level-ontology.kif 7736-7736
域
價錢
, 1 and
Physical
(
domain
price
2
CurrencyMeasure
)
Mid-level-ontology.kif 7737-7737
域
價錢
, 2 and
CurrencyMeasure
(
domain
price
3
AutonomousAgent
)
Mid-level-ontology.kif 7738-7738
域
價錢
, 3 and
AutonomousAgent
(
instance
price
TernaryPredicate
)
Mid-level-ontology.kif 7735-7735
例
價錢
and
TernaryPredicate
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
子關係
問價格
and
價錢
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
子關係
競標價格
and
價錢
(
termFormat
ChineseLanguage
price
"价钱")
domainEnglishFormat.kif 47282-47282
(
termFormat
ChineseTraditionalLanguage
price
"價錢")
domainEnglishFormat.kif 47281-47281
(
termFormat
EnglishLanguage
price
"price")
domainEnglishFormat.kif 47280-47280
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
out
資兂短缺
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
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
的錢
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
out
資兂短缺
(=>
(
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
例
Process
and
打勾
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
and
SetMenu
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
已準備食物
例
Physical
and
Class
例
Physical
and
Entity
等於
Physical
and
Physical
Physical
是 對於
AutonomousAgent
1 的
price
CurrencyMeasure
Physical
是 對於
AutonomousAgent
2 的
price
CurrencyMeasure
等於
CurrencyMeasure
and
CurrencyMeasure
(=>
(
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
例
Process
and
上揚
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
entity
and
CognitiveAgent
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7742-7749
Physical
是 對於
AutonomousAgent
的
price
CurrencyMeasure
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
患者
FinancialTransaction
and
Physical
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
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
Physical
是
free
對於顧客出租
HotelFunctionRoom
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
Object
是 對於
AutonomousAgent
的
price
測量
0 and
美國美元
(=>
(
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
Physical
的使用是對於
AutonomousAgent
免費
例
Process
and
Physical
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Process
agent
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
擁有
AutonomousAgent
and
Process
例
Process
and
Object
使用
Process
and
CognitiveAgent
Process
是 對於
AutonomousAgent
的
price
測量
0 and
美國美元
(=>
(
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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Object
是 對於
Human
的
price
測量
0 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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 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
例
Process
and
打勾
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 7848-7862
例
Process
and
廉價出售
患者
Process
and
Entity
例
Entity
and
Object
RealNumber
RealNumber
,
entity
,
entity
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
不久的過去
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
持有期間
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
上揚
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
(=>
(
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
HotelFunctionRoom
的 承租人 能
pay
去使用
Physical
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
RealNumber
UnitOfMeasure
Object
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
(=>
(
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
AutonomousAgent
的 承租人 能
pay
去使用
Physical
例
Process
and
Physical
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Process
agent
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
擁有
AutonomousAgent
and
Process
例
Process
and
Object
使用
Process
and
CognitiveAgent
RealNumber
UnitOfMeasure
Process
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
(=>
(
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
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
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
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
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
HotelMiniBar
是
amenity
在
HotelUnit
Object
Collection
and
AutonomousAgent
例
Object
and
HotelUnit
元件
Object
and
屬性
AutonomousAgent
例
Collection
and
HotelMiniBar
位於
Collection
and
Object
Physical
會員
Physical
and
Collection
CurrencyMeasure
Physical
是 對於
AutonomousAgent
的
price
CurrencyMeasure
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