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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7739-7740
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7736-7736
域
價錢
, 1 and
Physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7737-7737
域
價錢
, 2 and
CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7738-7738
域
價錢
, 3 and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7735-7735
例
價錢
and
TernaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2038-2038
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2037-2037
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1924-1924
子關係
問價格
and
價錢
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1904-1904
子關係
競標價格
and
價錢
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47282-47282
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47281-47281
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47280-47280
antecedent
No TPTP formula. May not be expressible in strict first order.
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
資兂短缺
No TPTP formula. May not be expressible in strict first order.
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
金錢
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3034-3042
金融工具
金融工具
Price and
CurrencyMeasure
例
協議
and
選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
金融工具
Price
CurrencyMeasure
是
協議
的
strike
價錢
等於
金融工具
Price and
CurrencyMeasure
AutonomousAgent
是
協議
at
的錢
No TPTP formula. May not be expressible in strict first order.
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
金錢
No TPTP formula. May not be expressible in strict first order.
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
資兂短缺
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
美國美元
No TPTP formula. May not be expressible in strict first order.
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
美國美元
No TPTP formula. May not be expressible in strict first order.
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
美國美元
No TPTP formula. May not be expressible in strict first order.
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
美國美元
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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