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
KappaFn
Sigma KEE - KappaFn
KappaFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2318-2322
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5586-5594
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 991-995
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5582-5582
域
卡帕
, 1 and
SymbolicString
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5583-5583
域
卡帕
, 2 and
Formula
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5580-5580
例
卡帕
and
BinaryFunction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5581-5581
例
卡帕
and
PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5584-5584
範圍
卡帕
and
Class
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.
english_format.kif 513-513
No TPTP formula. May not be expressible in strict first order.
french_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 157-157
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2074-2074
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 249-249
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 662-662
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 318-318
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 325-325
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 315-315
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32125-32125
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32124-32124
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32123-32123
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
例
Entity
and
個人賬戶
比較多
基數
卡帕
SymbolicString
and
SymbolicString
持有
account
Entity
and 1
例
Entity
and
聯名賬戶
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3239-3259
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
price
and
部
RealNumber
and
Integer
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3282-3302
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
selling
price
and
部
RealNumber
and
Integer
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
例
年
and
年
年
EAR
等於
GeopoliticalArea
和
年
的
male
出生估計壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
男
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千的
births
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千裡的
deaths
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千個生存出生裡的
deaths
and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and 1000 and
RealNumber
等於
entity
DEATHCOUNT and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
年齡
entity
and
測量
entity
and
年持續時間
少於
entity
and 1
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
entity
DEATHCOUNT and
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的
female
出生預期壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的出生預期
life
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 156-187
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千的
migrants
and
RealNumber
等於
減法
Integer
and
Integer
and 1
例
Entity
and
年
Integer
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
減法
Integer
and
Integer
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
People.kif 206-223
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
LengthMeasure
是
GeographicArea
的軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
寬軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
LengthMeasure
是
GeographicArea
的原油管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
原油管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
LengthMeasure
是
GeographicArea
的雙軌規格
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
DualGaugeRailway
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
LengthMeasure
是
GeographicArea
的電場軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
電氣化鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
LengthMeasure
是
GeographicArea
的高速公路系統
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
高速公路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
LengthMeasure
是
GeographicArea
的多軌鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
多軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
LengthMeasure
是
GeographicArea
的短規格鐵路的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
窄軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
LengthMeasure
是
GeographicArea
的 天然瓦斯管線的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
天然氣管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
LengthMeasure
是
GeographicArea
的鋪設鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
浮出水面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
LengthMeasure
是
GeographicArea
的石油產品管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
石油產品管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
LengthMeasure
GeographicArea
的 標準規格管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
標準軌距鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
LengthMeasure
是
GeographicArea
的未分類規格軌道
length
length
卡帕
SymbolicString
and
位於
SymbolicString
and
GeographicArea
例
SymbolicString
and
聯盟
標準軌距鐵路
and
聯盟
寬軌鐵路
and
聯盟
DualGaugeRailway
and
窄軌鐵路
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
LengthMeasure
是
GeographicArea
的未鋪設高速公路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
沒有鋪面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1277-1287
GeographicArea
是 對於
NonnegativeInteger
在地區
延期
機場有著鋪設跑道
的
total
設施類別
SymbolicString
entity
NonnegativeInteger
是
卡帕
SymbolicString
and
例
SymbolicString
and
飛機場
例
entity
and
鋪好的跑道
部分
entity
and
SymbolicString
位於
SymbolicString
and
GeographicArea
的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1221-1228
GeographicArea
是 對於
NonnegativeInteger
在地區
Class
的
total
設施類別
NonnegativeInteger
是
卡帕
SymbolicString
and
例
SymbolicString
and
Class
位於
SymbolicString
and
GeographicArea
的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 484-491
LengthMeasure
是
GeographicArea
的
total
高速公路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
LengthMeasure
是
GeographicArea
的
total
鐵路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
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.
People.kif 456-469
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每個女人生的
children
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
SymbolicString
agent
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
持有期間
年
and
棲息
entity
and
GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.
Military.kif 872-881
等於
GeopoliticalArea
的
available
軍事服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.
Military.kif 895-906
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31734-31739
等於
OrganismPopulationFn
Organism
and
GeographicArea
and
基數
卡帕
Organism
I and
例
Organism
I and
Organism
位於
Organism
I and
GeographicArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31712-31717
等於
GeopoliticalArea
的
population
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
棲息
SymbolicString
and
GeopoliticalArea
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