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
located
Sigma KEE - located
located
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2111-2112
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4078-4080
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 763-764
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4075-4075
位于
的 1 数量 是
物理
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4076-4076
位于
的 2 数量 是
客体
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4070-4070
位于
是
反对称关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4072-4072
位于
是
总值关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4071-4071
位于
是
传递关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4073-4073
位于
是
有一部分位于
的
subrelation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 145-145
No TPTP formula. May not be expressible in strict first order.
english_format.kif 146-146
No TPTP formula. May not be expressible in strict first order.
french_format.kif 94-94
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 170-170
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1921-1921
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 46-46
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 176-176
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 208-208
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 113-113
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 93-93
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 339-339
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3868-3868
时间
和
位于
是 内部相关
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4134-4134
恰好位于
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14046-14046
地理分区域
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7576-7576
组织总部
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17404-17404
在船上
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9974-9974
部分填入
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24758-24758
postCity
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24701-24701
postCountry
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24742-24742
postDistrict
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24670-24670
postNeighborhood
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24784-24784
postPostcodeArea
是
位于
的
subrelation
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 146-146
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24790-24795
PostalPlace
是
located
在
PostcodeArea
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 PostcodeArea
是
PostcodeArea
的
instance
若且唯若
那个 PostalPlace
是在
post
code
那个 PostcodeArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24763-24768
PostalPlace
是
located
在
城市
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 城市
是
城市
的
instance
若且唯若
那个 PostalPlace
是在
那个 城市
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24676-24681
PostalPlace
是
located
在
Neighborhood
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 Neighborhood
是
Neighborhood
的
instance
若且唯若
那个 PostalPlace
是在
那个 Neighborhood
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24747-24752
PostalPlace
是
located
在
州或省
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 州或省
是
州或省
的
instance
若且唯若
那个 PostalPlace
是在
那个 州或省
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24713-24720
PostalPlace
是
located
在
地缘政治区域
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 地缘政治区域
是
国家
的
instance
或
那个 地缘政治区域
是
依赖或特殊主权领域
的
instance
若且唯若
那个 PostalPlace
是在
那个 地缘政治区域
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20601-20623
如果
Waiter
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
人类
的
instance
和
施事体
employs
那个 有认知的主事
和
那个 施事体
是
餐厅
的
instance
和
那个 施事体
是
另一个 有认知的主事
的
customer
和
那个 另外 有认知的主事
是
located
在
客体
和
那个 客体
是
表
的
instance
,
然后 有存在
另一个 客体
,
实体
,, ,
另一个 实体
, and 和
第三 客体
这样
那个 施事体
possesses
那个 第三 客体
和
那个 第三 客体
是
KitchenArea
的
instance
和
那个 另外 客体
是
DiningArea
的
instance
和
那个 客体
是
located
在
那个 另外 客体
和
那个 有认知的主事
的 目的 是
那个 实体
是
携带
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 第三 客体
是
那个 实体
的源头 和
那个 实体
在
那个 客体
结束 和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
food
for
人类
的
instance
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-172
如果
机构
能够担当
主事
的角色做
ValetParking
和
那个 机构
是
有认知的主事
的
customer
和
那个 机构
是
located
在
客体
和
过程
是
到达
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
那个 客体
结束,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
ValetParking
的
instance
和
那个 人类
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
在
那个 第三 实体
结束 和
那个 第三 实体
是
ParkingRegion
的
instance
的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 703-711
如果
chromosomeNumber
真核细胞
and
整数
和
客体
是
那个 真核细胞
的
part
和
那个 客体
是
细胞核
的
instance
和
那个 真核细胞
OLL 是
群体
的
instance
和
那个 真核细胞
OLL 是
located
在
那个 客体
和
Chromosome
是
那个 真核细胞
OLL 的
member
类别,
然后
那个 整数
是
那个 真核细胞
OLL 的
member
计数
No TPTP formula. May not be expressible in strict first order.
Military.kif 772-778
如果
人类
是
国家
的
citizen
和 不存在
客体
这样
那个 人类
是
located
在
那个 客体
,
然后
那个 人类
是
located
在
那个 国家
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1907-1912
如果
长度测量
是
客体
的
elevation
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
地理区域
的
instance
,
然后
那个 另外 客体
是
行星地球
的
superficialPart
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 346-361
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后
那个 客体
是 对于
那个 人类
的
price
0
美国美元
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 364-378
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后
那个 过程
是 对于
那个 人类
的
price
0.0
美国美元
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 794-803
如果
haploidNumber
Gamete
and
整数
和
那个 Gamete
是
Gamete
的
instance
和
客体
是
那个 Gamete
的
part
和
那个 客体
是
细胞核
的
instance
和
群体
是
群体
的
instance
和
那个 群体
是
located
在
那个 客体
和
Chromosome
是
那个 群体
的
member
类别,
然后
那个 整数
是
那个 群体
的
member
计数
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 26-47
如果
平民流离失所
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
地理区域
在
时距
holdsDuring
和
那个 地理区域
是
地理区域
的
instance
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 时距
,
第三 实体
-PLACE, and 和
那个 第三 实体
-RES 这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 第三 实体
-RES 是
客体
的
instance
和
那个 第三 实体
-PLACE 是
地缘政治区域
的
instance
和
那个 第三 实体
-RES 是
located
在
那个 第三 实体
-PLACE 和
那个 地理区域
不
equal
那个 第三 实体
-PLACE 和
那个 另外 实体
不
equal
那个 第三 实体
-RES 和
那个 地理区域
不 是
那个 第三 实体
-PLACE 的
geographic
次要地区 和
那个 第三 实体
-PLACE 不 是
那个 地理区域
的
geographic
次要地区 和
那个 实体
住在
那个 第三 实体
-RES 在
那个 另外 时距
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1008-1019
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25035-25044
如果
实体
是
人类
的
instance
和
另一个 实体
有
number
第三 实体
和
那个 第三 实体
是
那个 实体
的
telephone
number
和
那个 另外 实体
是
located
在
第四 实体
和
那个 第四 实体
是
住宅
的
instance
在
时间位置
holdsDuring
,
然后
那个 实体
住在
那个 第四 实体
在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1879-1884
如果
客体
是
地理区域
的
instance
和
物理
是
地质断层
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 665-671
如果
过程
是
防表面操作
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实体
是
水域
的
instance
No TPTP formula. May not be expressible in strict first order.
Dining.kif 586-602
如果
过程
是
CateringService
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 施事体
是
located
在
客体
和
那个 施事体
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
另一个 客体
,
然后
那个 客体
不
equal
那个 另外 客体
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2309-2328
如果
协议
是
民政协议
的
instance
和
那个 协议
是
实体
_MIL_THIS 的
party
协议 和
那个 实体
_MIL_THIS 是
军事组织
的
instance
和
另一个 实体
_THIS 是
那个 实体
_MIL_THIS 的
military
区域 和
那个 另外 实体
_THIS 是
国家
的
instance
和
那个 实体
_MIL_THIS 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 另外 实体
_FRIENDLY 是
国家
的
instance
,
然后
那个 另外 实体
_THIS 不
equal
那个 另外 实体
_FRIENDLY 和
enemy
那个 另外 实体
_THIS and
那个 另外 实体
_FRIENDLY 和 有存在
那个 实体
_FRIENDLY 这样
那个 实体
_FRIENDLY 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 协议
是
那个 实体
_FRIENDLY 的
party
协议 和
那个 实体
_FRIENDLY 不 是
军事组织
的
instance
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2244-2252
如果
过程
是
民政运作
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
命题
是
那个 地缘政治区域
的
regional
法律 的
instance
和
那个 过程
表示
另一个 命题
的内容,
然后
那个 另外 命题
是
那个 命题
的
consistent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1004-1023
如果
客体
是
HexaploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
,
第三 群体
, and 和
第四 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第四 群体
是
HomologousChromosomeSet
的
instance
和
那个 第四 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 773-782
如果
真核细胞
是
MonoploidCell
的
instance
和
chromosomeNumber
那个 真核细胞
and
整数
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
那个 真核细胞
的
part
和
monoploidNumber
那个 MonoploidChromosomeSet
and
另一个 整数
,
然后
那个 整数
equal
那个 另外 整数
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 974-984
如果
客体
是
PentaploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 5
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 951-966
如果
客体
是
TetraploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
和
第三 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
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.
People.kif 1528-1539
百分之
实数
在
信仰团体
的人相信
那个 信仰团体
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
地理区域
和
那个 物理
是
那个 信仰团体
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
No TPTP formula. May not be expressible in strict first order.
People.kif 1547-1558
实数
percent
的人在
地理区域
是
民族群组
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
那个 地理区域
和
那个 物理
是
那个 民族群组
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
No TPTP formula. May not be expressible in strict first order.
People.kif 1566-1577
百分之
实数
的人在
地理区域
speak
语言
若且唯若 有存在
群体
,
另一个 群体
,, ,
有感知的主事
,, ,
那个 有感知的主事
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 有感知的主事
是
located
在
那个 地理区域
和
那个 有感知的主事
是
那个 群体
的
member
和
那个 语言
是
那个 有感知的主事
的
speaks
语言 和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 有感知的主事
2 是
located
在
那个 地理区域
和
那个 有感知的主事
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
长度测量
是
地理区域
的轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
长度测量
是
地理区域
的原油管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
长度测量
是
地理区域
的双轨规格
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
长度测量
是
地理区域
的电场轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
长度测量
是
地理区域
的高速公路系统
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
长度测量
是
地理区域
的多轨铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
长度测量
是
地理区域
的短规格铁路的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
长度测量
是
地理区域
的 天然瓦斯管线的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
长度测量
是
地理区域
的铺设铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
长度测量
是
地理区域
的石油产品管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
长度测量
地理区域
的 标准规格管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
长度测量
是
地理区域
的未分类规格轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
长度测量
是
地理区域
的未铺设高速公路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23308-23310
客体
对于
另一个 客体
在时间
时间位置
located
若且唯若
那个 客体
是
located
在
那个 另外 客体
在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1277-1287
地理区域
是 对于
非负整数
在地区 和
机场有着铺设跑道
对应的
Class
的
total
设施类别 若且唯若 有存在
符号串
和
实体
这样
那个 非负整数
是
那个 符号串
所描述的类别 的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1221-1228
地理区域
是 对于
非负整数
在地区
类
的
total
设施类别 若且唯若
那个 非负整数
是
符号串
所描述的类别 的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 484-491
长度测量
是
地理区域
的
total
高速公路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
长度测量
是
地理区域
的
total
铁路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 685-692
长度测量
是 在地区
地理区域
的
total
管线 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 599-604
如果
施事体
can
hold
有点 过程
的种类,
然后 有存在
客体
这样
那个 客体
是
那个 施事体
的财产 的
element
和
那个 客体
能够担当
位于
的角色做
有点 过程
No TPTP formula. May not be expressible in strict first order.
naics.kif 8120-8130
如果
深海沿岸和大湖泊水运
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
运输公司
的
instance
,
然后 有存在
服务
和
客体
这样
那个 服务
是
WaterTransportationService
的
instance
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 服务
是
located
在
那个 客体
和
那个 客体
是
水域
的
instance
和
那个 有认知的主事
是
located
在
北美
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1478-1491
如果
DutyFree
是
客体
的
attribute
和
那个 客体
是
商店
的
instance
,
然后 有存在
地缘政治区域
,
实体
,, ,
另一个 有点 客体
, and 和
过程
这样
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 客体
是
located
在
那个 地缘政治区域
和
另一个 有点 客体
是
客体
的
subclass
和
那个 另外 有点 客体
是
那个 地缘政治区域
的
import
商品种类 和
那个 实体
是
那个 另外 有点 客体
的
instance
和
那个 过程
是
出售
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
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.
Mid-level-ontology.kif 18202-18219
有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是
PaperShredder
的
instance
和 ?CUT 是
切开
的
instance
和 ?X 是导致 ?CUT 的
instrument
和 ?PAPER 是
纸
的
instance
和 ?PAPER 是 ?CUT 的
patient
和 ?CBO 是
located
在 ?PAPER 和 ?CBO 是
VisualContentBearingObject
的
instance
和 ?CBO
contains
?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是
解读
的
instance
和 ?INFO 是 ?READ 的
patient
和 ?CUT 出现 的
time
比?READ 出现 的
time
发生的
earlier
发生的机率
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
生物
and
地理区域
equal
那个 生物
I 所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Media.kif 1920-1920
JesusOfNazareth
是
located
在
巴勒斯坦
在
JesusOfNazareth
出现 的
time
holdsDuring
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2563-2563
AalandIslands
是
located
在
波罗的海
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4695-4695
南极极地电流
是
located
在
南部海洋
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 588-588
法国南部和南极的土地
是
located
在
南
和
印度洋
的
directional
次要地区
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 586-586
法国南部和南极的土地
是
located
在
印度洋
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 231-231
圣海伦娜
是
located
在
南大西洋
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