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
(
documentation
located
ChineseLanguage
"(
located
?OBJ1 ?OBJ2) 的意思是 ?OBJ1
partlyLocated
在 ?OBJ2,而且没有一处 ?OBJ1的
part
不是
located
在?OBJ2。")
chinese_format.kif 2111-2112
(
documentation
located
EnglishLanguage
"(
located
?OBJ1 ?OBJ2) means that ?OBJ1 is
partlyLocated
at ?OBJ2, and there is no
part
of ?OBJ1 that is not
located
at ?OBJ2.")
Merge.kif 4078-4080
(
documentation
located
JapaneseLanguage
"(
located
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で
partlyLocated
であり、?OBJ2 で
located
ではない ?OBJ1 の
part
がないことを意味する。")
japanese_format.kif 763-764
(
domain
located
1
Physical
)
Merge.kif 4075-4075
位于
的 1 数量 是
物理
的
instance
(
domain
located
2
Object
)
Merge.kif 4076-4076
位于
的 2 数量 是
客体
的
instance
(
instance
located
AntisymmetricRelation
)
Merge.kif 4070-4070
位于
是
反对称关系
的
instance
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
位于
是
总值关系
的
instance
(
instance
located
TransitiveRelation
)
Merge.kif 4071-4071
位于
是
传递关系
的
instance
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
位于
是
有一部分位于
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
located
"%1 %n 是
located
在 %2")
chinese_format.kif 145-145
(
format
EnglishLanguage
located
"%1 is %n
located
at %2")
english_format.kif 146-146
(
format
FrenchLanguage
located
"%1 est %n situ� � %2")
french_format.kif 94-94
(
format
ItalianLanguage
located
"%1 è %n localizzato in %2")
relations-it.txt 170-170
(
format
JapaneseLanguage
located
"%1 は %2 に
located
して %n")
japanese_format.kif 1921-1921
(
format
PortugueseLanguage
located
"%1 e' %n situado em %2")
portuguese_format.kif 46-46
(
format
cz
located
"%1 %p{je} %n{nen�}
located
at %2")
relations-cz.txt 128-128
(
format
de
located
"%1 befindet sich an %n{nicht}")
relations-de.txt 176-176
(
format
hi
located
"%1 %2 para/men sthita %n hai")
relations-hindi.txt 208-208
(
format
ro
located
"%1 %n{nu} este
located
%t{localizat} la %2")
relations-ro.kif 113-113
(
format
sv
located
"%1 ligger %n{inte} vid %2")
relations-sv.txt 93-93
(
format
tg
located
"%1 %n ay sa %2")
relations-tg.txt 339-339
(
relatedInternalConcept
time
located
)
Merge.kif 3869-3869
时间
和
位于
是 内部相关
(
subrelation
exactlyLocated
located
)
Merge.kif 4134-4134
恰好位于
是
位于
的
subrelation
(
subrelation
geographicSubregion
located
)
Merge.kif 14101-14101
地理分区域
是
位于
的
subrelation
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7794-7794
组织总部
是
位于
的
subrelation
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17694-17694
在船上
是
位于
的
subrelation
(
subrelation
partiallyFills
located
)
Merge.kif 10020-10020
部分填入
是
位于
的
subrelation
(
subrelation
postCity
located
)
Mid-level-ontology.kif 25078-25078
postCity
是
位于
的
subrelation
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 25021-25021
postCountry
是
位于
的
subrelation
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 25062-25062
postDistrict
是
位于
的
subrelation
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 24990-24990
postNeighborhood
是
位于
的
subrelation
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 25104-25104
postPostcodeArea
是
位于
的
subrelation
(
termFormat
ChineseLanguage
located
"位于")
chinese_format.kif 146-146
postPostcodeArea
是
位于
的
subrelation
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
located
?PLACE ?AREA)
(
instance
?PLACE
PostalPlace
)
(
instance
?AREA
PostcodeArea
))
(
postPostcodeArea
?PLACE ?AREA))
Mid-level-ontology.kif 25110-25115
PostalPlace
是
located
在
PostcodeArea
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 PostcodeArea
是
PostcodeArea
的
instance
若且唯若
那个 PostalPlace
是在
post
code
那个 PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 25083-25088
PostalPlace
是
located
在
城市
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 城市
是
城市
的
instance
若且唯若
那个 PostalPlace
是在
那个 城市
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24996-25001
PostalPlace
是
located
在
Neighborhood
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 Neighborhood
是
Neighborhood
的
instance
若且唯若
那个 PostalPlace
是在
那个 Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 25067-25072
PostalPlace
是
located
在
州或省
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 州或省
是
州或省
的
instance
若且唯若
那个 PostalPlace
是在
那个 州或省
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 25033-25040
PostalPlace
是
located
在
地缘政治区域
和
那个 PostalPlace
是
PostalPlace
的
instance
和
那个 地缘政治区域
是
国家
的
instance
或
那个 地缘政治区域
是
依赖或特殊主权领域
的
instance
若且唯若
那个 PostalPlace
是在
那个 地缘政治区域
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20891-20913
如果
Waiter
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
人类
的
instance
和
施事体
employs
那个 有认知的主事
和
那个 施事体
是
餐厅
的
instance
和
那个 施事体
是
另一个 有认知的主事
的
customer
和
那个 另外 有认知的主事
是
located
在
客体
和
那个 客体
是
表
的
instance
,
然后 有存在
另一个 客体
,
实体
,, ,
另一个 实体
, and 和
第三 客体
这样
那个 施事体
possesses
那个 第三 客体
和
那个 第三 客体
是
KitchenArea
的
instance
和
那个 另外 客体
是
DiningArea
的
instance
和
那个 客体
是
located
在
那个 另外 客体
和
那个 有认知的主事
的 目的 是
那个 实体
是
携带
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 第三 客体
是
那个 实体
的源头 和
那个 实体
在
那个 客体
结束 和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
food
for
人类
的
instance
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 157-176
如果
机构
能够担当
主事
的角色做
ValetParking
和
那个 机构
是
有认知的主事
的
customer
和
那个 机构
是
located
在
客体
和
过程
是
到达
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
那个 客体
结束,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
ValetParking
的
instance
和
那个 人类
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
在
那个 第三 实体
结束 和
那个 第三 实体
是
ParkingRegion
的
instance
的声明 has
可能性
的语气
(=>
(
and
(
chromosomeNumber
?C ?I)
(
part
?N ?C)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 702-710
如果
chromosomeNumber
真核细胞
and
整数
和
客体
是
那个 真核细胞
的
part
和
那个 客体
是
细胞核
的
instance
和
那个 真核细胞
OLL 是
群体
的
instance
和
那个 真核细胞
OLL 是
located
在
那个 客体
和
Chromosome
是
那个 真核细胞
OLL 的
member
类别,
然后
那个 整数
是
那个 真核细胞
OLL 的
member
计数
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1895-1900
如果
长度测量
是
客体
的
elevation
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
地理区域
的
instance
,
然后
那个 另外 客体
是
行星地球
的
superficialPart
(=>
(
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
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后
那个 客体
是 对于
那个 人类
的
price
0
美国美元
(=>
(
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
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后
那个 过程
是 对于
那个 人类
的
price
0.0
美国美元
(=>
(
and
(
haploidNumber
?CELL ?I)
(
instance
?CELL
Gamete
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 793-802
如果
haploidNumber
Gamete
and
整数
和
那个 Gamete
是
Gamete
的
instance
和
客体
是
那个 Gamete
的
part
和
那个 客体
是
细胞核
的
instance
和
群体
是
群体
的
instance
和
那个 群体
是
located
在
那个 客体
和
Chromosome
是
那个 群体
的
member
类别,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR_PLACE ?PRIOR_RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR_RES
Object
)
(
instance
?PRIOR_PLACE
GeopoliticalArea
)
(
located
?PRIOR_RES ?PRIOR_PLACE)
(
not
(
equal
?PLACE ?PRIOR_PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR_RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR_PLACE))
(
not
(
geographicSubregion
?PRIOR_PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR_RES)))))
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
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 996-1007
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 25355-25364
如果
实体
是
人类
的
instance
和
另一个 实体
有
number
第三 实体
和
那个 第三 实体
是
那个 实体
的
telephone
number
和
那个 另外 实体
是
located
在
第四 实体
和
那个 第四 实体
是
住宅
的
instance
在
时间位置
holdsDuring
,
然后
那个 实体
住在
那个 第四 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1867-1872
如果
客体
是
地理区域
的
instance
和
物理
是
地质断层
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
如果
过程
是
防表面操作
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实体
是
水域
的
instance
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
如果
过程
是
CateringService
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 施事体
是
located
在
客体
和
那个 施事体
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
另一个 客体
,
然后
那个 客体
不
equal
那个 另外 客体
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
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
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
如果
过程
是
民政运作
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
命题
是
那个 地缘政治区域
的
regional
法律 的
instance
和
那个 过程
表示
另一个 命题
的内容,
然后
那个 另外 命题
是
那个 命题
的
consistent
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B))
(
not
(
equal
?A ?C))
(
not
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1003-1024
如果
客体
是
HexaploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
,
第三 群体
, and 和
第四 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第四 群体
是
HomologousChromosomeSet
的
instance
和
那个 第四 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
和
那个 另外 群体
不
equal
那个 第四 群体
和
那个 第三 群体
不
equal
那个 第四 群体
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
chromosomeNumber
?CELL ?X)
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
monoploidNumber
?COLL ?Y))
(
equal
?X ?Y))
VirusProteinAndCellPart.kif 772-781
如果
真核细胞
是
MonoploidCell
的
instance
和
chromosomeNumber
那个 真核细胞
and
整数
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
那个 真核细胞
的
part
和
monoploidNumber
那个 MonoploidChromosomeSet
and
另一个 整数
,
然后
那个 整数
equal
那个 另外 整数
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 973-983
如果
客体
是
PentaploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 5
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 950-965
如果
客体
是
TetraploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
和
第三 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 920-930
如果
客体
是
TriploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 3
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1528-1539
百分之
实数
在
信仰团体
的人相信
那个 信仰团体
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
地理区域
和
那个 物理
是
那个 信仰团体
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1547-1558
实数
percent
的人在
地理区域
是
民族群组
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
那个 地理区域
和
那个 物理
是
那个 民族群组
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1566-1577
百分之
实数
的人在
地理区域
speak
语言
若且唯若 有存在
群体
,
另一个 群体
,, ,
有感知的主事
,, ,
那个 有感知的主事
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 有感知的主事
是
located
在
那个 地理区域
和
那个 有感知的主事
是
那个 群体
的
member
和
那个 语言
是
那个 有感知的主事
的
speaks
语言 和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 有感知的主事
2 是
located
在
那个 地理区域
和
那个 有感知的主事
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
长度测量
是
地理区域
的轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
长度测量
是
地理区域
的原油管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
长度测量
是
地理区域
的双轨规格
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
长度测量
是
地理区域
的电场轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
长度测量
是
地理区域
的高速公路系统
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
长度测量
是
地理区域
的多轨铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
长度测量
是
地理区域
的短规格铁路的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
长度测量
是
地理区域
的 天然瓦斯管线的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
长度测量
是
地理区域
的铺设铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
长度测量
是
地理区域
的石油产品管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
长度测量
地理区域
的 标准规格管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
长度测量
是
地理区域
的未分类规格轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
长度测量
是
地理区域
的未铺设高速公路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23623-23625
客体
对于
另一个 客体
在时间
时间位置
located
若且唯若
那个 客体
是
located
在
那个 另外 客体
在
那个 时间位置
holdsDuring
(<=>
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithPavedRunway
) ?COUNT)
(
exists
(?AIRPORT ?RUNWAY)
(
cardinality
(
KappaFn
?AIRPORT
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))) ?COUNT)))
Transportation.kif 1349-1359
地理区域
是 对于
非负整数
在地区 和
机场有着铺设跑道
对应的
Class
的
total
设施类别 若且唯若 有存在
符号串
和
实体
这样
那个 非负整数
是
那个 符号串
所描述的类别 的
cardinality
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
地理区域
是 对于
非负整数
在地区
类
的
total
设施类别 若且唯若
那个 非负整数
是
符号串
所描述的类别 的
cardinality
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
长度测量
是
地理区域
的
total
高速公路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
长度测量
是
地理区域
的
total
铁路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
长度测量
是 在地区
地理区域
的
total
管线 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
如果
施事体
can
hold
有点 过程
的种类,
然后 有存在
客体
这样
那个 客体
是
那个 施事体
的财产 的
element
和
那个 客体
能够担当
位于
的角色做
有点 过程
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
如果
深海沿岸和大湖泊水运
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
运输公司
的
instance
,
然后 有存在
服务
和
客体
这样
那个 服务
是
WaterTransportationService
的
instance
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 服务
是
located
在
那个 客体
和
那个 客体
是
水域
的
instance
和
那个 有认知的主事
是
located
在
北美
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
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
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18492-18509
有存在 ?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
发生的机率
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 32032-32037
OrganismPopulationFn
生物
and
地理区域
equal
那个 生物
I 所描述的类别
instance
的数量
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
是
located
在
巴勒斯坦
在
JesusOfNazareth
出现 的
time
holdsDuring
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2563-2563
AalandIslands
是
located
在
波罗的海
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4671-4671
南极极地电流
是
located
在
南部海洋
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
法国南部和南极的土地
是
located
在
南
和
印度洋
的
directional
次要地区
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
法国南部和南极的土地
是
located
在
印度洋
(
located
SaintHelena
SouthAtlanticOcean
)
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