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
or
Sigma KEE - or
or
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42382-42382
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24712-24719
位於
PostalPlace
and
GeopoliticalArea
例
PostalPlace
and
PostalPlace
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
依賴或特殊主權領域
PostalPlace
是在
GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14078-14088
CognitiveAgent
有義務去做在
協議
的
Proposition
DeonticAttribute
等於
DeonticAttribute
and
義務
等於
DeonticAttribute
and
諾言
模態屬性
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
容易
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 26147-26159
attribute
Object
and
WheelchairAccessible
例
Object
and
Building
例
Object
and
Room
模態屬性
entity
entity
例
entity
and
Motion
儀器
entity
and
entity
例
entity
and
Wheelchair
entity
是
located
在
Object
and
可能性
No TPTP formula. May not be expressible in strict first order.
Biography.kif 730-740
attribute
AutonomousAgent
and
作家
例
Entity
and
ContentBearingObject
子類
ContentBearingObject
and
Text
子類
ContentBearingObject
and
Document
例
Process
and
Writing
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
作者
AutonomousAgent
and
ContentBearingObject
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
例
TimeInterval
and
Minute
Integer
例
Integer
and
RecreationOrExercise
agent
Integer
and
AutonomousAgent
期間
TimeInterval
and
何時
Integer
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
人類成人
比較多
Integer
and 16
少於
Integer
and 12
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Healthy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2112-2121
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2156-2165
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2202-2211
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1980-1989
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5993-6006
等於
路徑重量
GraphPath
and
RealNumber
圖形部分
GraphArc
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
GraphElement
and
GraphArc
等於
路徑重量
GraphPath
and
加成
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5979-5991
等於
路徑重量
GraphPath
and
RealNumber
子圖
GraphPath
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
RealNumber
and
加成
路徑重量
GraphPath
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4532-4543
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2277-2286
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
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.
Anatomy.kif 1838-1860
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2123-2130
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2167-2174
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2213-2220
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1991-1998
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2288-2295
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2594-2601
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸入
例
TimePosition
and
TimeInterval
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
import
全部
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4768-4779
等於
絕對值
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
RealNumber
例
NonnegativeRealNumber
and
RealNumber
例
RealNumber
and
NonnegativeRealNumber
等於
RealNumber
and
NonnegativeRealNumber
例
RealNumber
and
NegativeRealNumber
等於
NonnegativeRealNumber
and
減法
0.0 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Government.kif 1400-1404
attribute
Object
and
女王
attribute
Object
and
QueenRegnant
attribute
Object
and
QueenConsort
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1885-1889
大於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1601-1607
持有期間
TimePosition
and
attribute
entity
and
LegalAgent
持有期間
TimePosition
and
能力
LegalAction
,
agent
and
entity
能力
LegalAction
,
患者
and
entity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11681-11688
例
Object
and
Bone
Object
例
Object
and
骨架
例
Object
and
外骨骼
部分
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3504-3513
例
Entity
and
Continent
等於
非洲
and
Entity
等於
北美
and
Entity
等於
南美洲
and
Entity
等於
南極洲
and
Entity
等於
歐洲
and
Entity
等於
亞洲
and
Entity
等於
大洋洲
and
Entity
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3488-3494
例
Entity
and
半球
等於
Entity
and
北半球
等於
Entity
and
南半球
等於
Entity
and
東半球
等於
Entity
and
西半球
No TPTP formula. May not be expressible in strict first order.
Government.kif 108-115
例
Organization
and
政府組織
例
Organization
and
Government
Organization
例
Organization
and
Government
子組織
Organization
and
Organization
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1867-1871
小於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17125-17129
方位
Object
,
Object
and
鄰
方位
Object
,
Object
and
近
連接的
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17113-17117
方位
Object
,
Object
and
下面
方位
Object
,
Object
and
上
方位
Object
,
Object
and
以上
No TPTP formula. May not be expressible in strict first order.
Government.kif 738-753
Proposition
agreement
對於
Proposition
的修改日期
TimePosition
TimePosition
例
TimePosition
and
TimePosition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 655-667
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31383-31390
applicableRelation
Object
and
Relation
例
Object
and
Object
C
域
Relation
, 1 and
Class
等於
Object
C and
Class
子類
Object
C and
Class
No TPTP formula. May not be expressible in strict first order.
Military.kif 286-297
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
委任軍官級別
Process
Object
例
Process
and
Managing
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
軍事組織
attribute
Object
and
士兵
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2881-2897
attribute
協議
and
FOK訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2917-2933
attribute
協議
and
GTC訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2854-2870
attribute
協議
and
國際奧委會訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25736-25749
attribute
AutonomousAgent
and
Multilingual
例
Process
and
說話
agent
Process
and
AutonomousAgent
模態屬性
entity
entity
例
entity
and
口語人類語言
例
entity
and
口語人類語言
等於
entity
and
entity
患者
Process
and
entity
患者
Process
and
entity
and
可能性
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13863-13876
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Entity
and
PureSubstance
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
大於或等於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
加油站
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Boiling
患者
Process
and
Entity
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2392-2407
AutonomousAgent
是
CognitiveAgent
的
customer
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
Porter
擁有
CognitiveAgent
and
Object
例
Object
and
旅行集裝箱
Object
Process
例
Object
and
HotelUnit
例
Process
and
攜帶
agent
Process
and
CognitiveAgent
目的地
Process
and
Object
起源
Process
and
Object
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 522-538
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
No TPTP formula. May not be expressible in strict first order.
Merge.kif 221-227
域
Relation
,
PositiveInteger
and
Class
域
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 244-250
域子類
Relation
,
PositiveInteger
and
Class
域子類
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Military.kif 933-946
等於
GeopoliticalArea
和
年
每年的
reaching
軍事男性年齡 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
等於
entity
and
減法
entity
and 1
持有期間
年
and
年齡
SymbolicString
and
entity
年齡
SymbolicString
and
entity
等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
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