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 and
Physical
(
domain
located
2
Object
)
Merge.kif 4076-4076
域
位於
, 2 and
Object
(
instance
located
AntisymmetricRelation
)
Merge.kif 4070-4070
例
位於
and
AntisymmetricRelation
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
例
位於
and
TotalValuedRelation
(
instance
located
TransitiveRelation
)
Merge.kif 4071-4071
例
位於
and
TransitiveRelation
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
子關係
位於
and
部分位於
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 3868-3868
相關的內部概念
時間
and
位於
(
subrelation
exactlyLocated
located
)
Merge.kif 4134-4134
子關係
完全定位
and
位於
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
子關係
地理分區域
and
位於
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7576-7576
子關係
組織總部
and
位於
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17404-17404
子關係
在船上
and
位於
(
subrelation
partiallyFills
located
)
Merge.kif 9974-9974
子關係
部分填補
and
位於
(
subrelation
postCity
located
)
Mid-level-ontology.kif 24758-24758
子關係
postCity
and
位於
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 24701-24701
子關係
postCountry
and
位於
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 24742-24742
子關係
postDistrict
and
位於
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 24670-24670
子關係
postNeighborhood
and
位於
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 24784-24784
子關係
postPostcodeArea
and
位於
(
termFormat
ChineseLanguage
located
"位于")
chinese_format.kif 146-146
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 24790-24795
位於
PostalPlace
and
PostcodeArea
例
PostalPlace
and
PostalPlace
例
PostcodeArea
and
PostcodeArea
PostalPlace
是在
post
code
PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768
位於
PostalPlace
and
City
例
PostalPlace
and
PostalPlace
例
City
and
City
PostalPlace
是在
City
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681
位於
PostalPlace
and
Neighborhood
例
PostalPlace
and
PostalPlace
例
Neighborhood
and
Neighborhood
PostalPlace
是在
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752
位於
PostalPlace
and
StateOrProvince
例
PostalPlace
and
PostalPlace
例
StateOrProvince
and
StateOrProvince
PostalPlace
是在
StateOrProvince
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 24713-24720
位於
PostalPlace
and
GeopoliticalArea
例
PostalPlace
and
PostalPlace
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
依賴或特殊主權領域
PostalPlace
是在
GeopoliticalArea
(=>
(
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 20601-20623
attribute
CognitiveAgent
and
Waiter
例
CognitiveAgent
and
Human
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
餐廳
AutonomousAgent
是
CognitiveAgent
的
customer
位於
CognitiveAgent
and
Object
例
Object
and
表
Object
entity
,
entity
and
Object
擁有
AutonomousAgent
and
Object
例
Object
and
KitchenArea
例
Object
and
DiningArea
位於
Object
and
Object
有目的
CognitiveAgent
and
例
entity
and
攜帶
agent
entity
and
CognitiveAgent
起源
entity
and
Object
目的地
entity
and
Object
患者
entity
and
entity
例
entity
and
food
for
Human
(=>
(
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 153-172
能力
ValetParking
,
agent
and
Organization
Organization
是
CognitiveAgent
的
customer
位於
Organization
and
Object
例
Process
and
到達
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Object
Human
佔據位置
Human
,
Valet
and
Organization
模態屬性
entity
entity
例
entity
and
ValetParking
agent
entity
and
Human
患者
entity
and
Entity
目的地
entity
and
entity
例
entity
and
ParkingRegion
and
可能性
(=>
(
and
(
chromosomeNumber
?C ?I)
(
part
?N ?C)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 703-711
chromosomeNumber
真核細胞
and
Integer
部分
Object
and
真核細胞
例
Object
and
細胞核
例
真核細胞
OLL and
Collection
位於
真核細胞
OLL and
Object
Chromosome
是
真核細胞
OLL 的
member
類別
Integer
是
真核細胞
OLL 的
member
計數
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
公民
Human
and
Nation
Object
位於
Human
and
Object
位於
Human
and
Nation
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
LengthMeasure
是
Object
的
elevation
位於
Object
and
Object
例
Object
and
GeographicArea
膚淺的部分
Object
and
行星地球
(=>
(
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
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
美國美元
(=>
(
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
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
美國美元
(=>
(
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 794-803
haploidNumber
Gamete
and
Integer
例
Gamete
and
Gamete
部分
Object
and
Gamete
例
Object
and
細胞核
例
Collection
and
Collection
位於
Collection
and
Object
Chromosome
是
Collection
的
member
類別
Integer
是
Collection
的
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
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
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 1008-1019
例
Process
and
LocalAnesthetizing
位於
Process
and
Object
例
Object
and
BodyPart
部分
Object
and
Object
患者
Process
and
Object
持有期間
何時
Process
and
attribute
Object
and
PainFn
Object
(=>
(
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 25035-25044
例
Entity
and
Human
持有期間
TimePosition
and
entity
有
number
entity
entity
是
Entity
的
telephone
number
位於
entity
and
entity
例
entity
and
住宅
持有期間
TimePosition
and
棲息
Entity
and
entity
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
例
Object
and
GeographicArea
例
Physical
and
地質斷層
位於
Physical
and
Object
attribute
Object
and
地質穩定
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
例
Process
and
防表面操作
患者
Process
and
Entity
持有期間
何時
Process
and
位於
Entity
and
Entity
例
Entity
and
WaterArea
(=>
(
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
例
Process
and
CateringService
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
UST
位於
AutonomousAgent
and
Object
AutonomousAgent
是
Process
UST 的
customer
Process
Entity
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
患者
Process
and
Entity
例
Process
and
Eating
agent
Process
and
Process
UST
Process
是
located
在
Object
等於
Object
and
Object
(=>
(
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
例
協議
and
民政協議
協議
是
entity
_MIL_THIS 的
party
協議
例
entity
_MIL_THIS and
軍事組織
entity
_THIS 是
entity
_MIL_THIS 的
military
區域
例
entity
_THIS and
Nation
位於
entity
_MIL_THIS and
entity
_FRIENDLY
例
entity
_FRIENDLY and
Nation
等於
entity
_THIS and
entity
_FRIENDLY
enemy
entity
_THIS and
entity
_FRIENDLY
entity
_FRIENDLY
位於
entity
_FRIENDLY and
entity
_FRIENDLY
協議
是
entity
_FRIENDLY 的
party
協議
例
entity
_FRIENDLY and
軍事組織
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
例
Process
and
民政運作
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
Proposition
and
GeopoliticalArea
的
regional
法律
實現
Process
and
Proposition
Proposition
是
Proposition
的
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)
(
equal
?A ?C)
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1004-1023
例
Object
and
HexaploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
(=>
(
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 773-782
例
真核細胞
and
MonoploidCell
chromosomeNumber
真核細胞
and
Integer
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
位於
MonoploidChromosomeSet
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
monoploidNumber
MonoploidChromosomeSet
and
Integer
等於
Integer
and
Integer
(=>
(
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 974-984
例
Object
and
PentaploidCell
例
Object
and
細胞核
部分
Object
and
Object
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
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 951-966
例
Object
and
TetraploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
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
百分之
RealNumber
在
信仰團體
的人相信
信仰團體
Collection
Collection
,
Physical
,
Physical
,
RealNumber
1 and
RealNumber
2
位於
Physical
and
GeographicArea
會員
Physical
and
信仰團體
會員
Physical
and
Collection
RealNumber
1 是
Collection
的
member
計數
位於
Physical
and
GeographicArea
會員
Physical
and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
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
RealNumber
percent
的人在
GeographicArea
是
EthnicGroup
Collection
Collection
,
Physical
,
Physical
,
RealNumber
1 and
RealNumber
2
位於
Physical
and
GeographicArea
會員
Physical
and
EthnicGroup
會員
Physical
and
Collection
RealNumber
1 是
Collection
的
member
計數
位於
Physical
and
GeographicArea
會員
Physical
and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
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
百分之
RealNumber
的人在
GeographicArea
speak
Language
Collection
Collection
,
SentientAgent
,
SentientAgent
2,
RealNumber
1 and
RealNumber
2
位於
SentientAgent
and
GeographicArea
會員
SentientAgent
and
Collection
Language
是
SentientAgent
的
speaks
語言
RealNumber
1 是
Collection
的
member
計數
位於
SentientAgent
2 and
GeographicArea
會員
SentientAgent
2 and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
LengthMeasure
是
GeographicArea
的軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
寬軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
LengthMeasure
是
GeographicArea
的原油管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
原油管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
LengthMeasure
是
GeographicArea
的雙軌規格
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
DualGaugeRailway
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
LengthMeasure
是
GeographicArea
的電場軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
電氣化鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
LengthMeasure
是
GeographicArea
的高速公路系統
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
高速公路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
LengthMeasure
是
GeographicArea
的多軌鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
多軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
LengthMeasure
是
GeographicArea
的短規格鐵路的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
窄軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
LengthMeasure
是
GeographicArea
的 天然瓦斯管線的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
天然氣管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
LengthMeasure
是
GeographicArea
的鋪設鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
浮出水面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
LengthMeasure
是
GeographicArea
的石油產品管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
石油產品管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
LengthMeasure
GeographicArea
的 標準規格管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
標準軌距鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
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
LengthMeasure
是
GeographicArea
的未分類規格軌道
length
length
卡帕
SymbolicString
and
位於
SymbolicString
and
GeographicArea
例
SymbolicString
and
聯盟
標準軌距鐵路
and
聯盟
寬軌鐵路
and
聯盟
DualGaugeRailway
and
窄軌鐵路
and
LengthMeasure
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
LengthMeasure
是
GeographicArea
的未鋪設高速公路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
沒有鋪面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23308-23310
Object
對於
Object
在時間
TimePosition
located
持有期間
TimePosition
and
位於
Object
and
Object
(<=>
(
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 1277-1287
GeographicArea
是 對於
NonnegativeInteger
在地區
延期
機場有著鋪設跑道
的
total
設施類別
SymbolicString
entity
NonnegativeInteger
是
卡帕
SymbolicString
and
例
SymbolicString
and
飛機場
例
entity
and
鋪好的跑道
部分
entity
and
SymbolicString
位於
SymbolicString
and
GeographicArea
的
cardinality
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
GeographicArea
是 對於
NonnegativeInteger
在地區
Class
的
total
設施類別
NonnegativeInteger
是
卡帕
SymbolicString
and
例
SymbolicString
and
Class
位於
SymbolicString
and
GeographicArea
的
cardinality
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
LengthMeasure
是
GeographicArea
的
total
高速公路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
LengthMeasure
是
GeographicArea
的
total
鐵路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
LengthMeasure
是 在地區
GeographicArea
的
total
管線
length
卡帕
SymbolicString
and
例
SymbolicString
and
管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
AutonomousAgent
can
hold
Process
的種類
Object
元件
Object
and
屬性
AutonomousAgent
能力
Process
,
位於
and
Object
(=>
(
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
CognitiveAgent
and
深海沿岸和大湖泊水運
例
CognitiveAgent
and
運輸公司
服務
Object
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
服務
是
located
在
Object
例
Object
and
WaterArea
位於
CognitiveAgent
and
北美
(=>
(
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
attribute
Object
and
DutyFree
例
Object
and
商店
GeopoliticalArea
Entity
,
Object
and
Process
例
GeopoliticalArea
and
GeopoliticalArea
位於
Object
and
GeopoliticalArea
子類
Object
and
Object
Object
是
GeopoliticalArea
的
import
商品種類
例
Entity
and
Object
例
Process
and
Selling
患者
Process
and
Entity
位於
Process
and
Object
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 18202-18219
降低可能性
?X ?CUT, ?PAPER, ?CBO and ?INFO
例
?X and
PaperShredder
例
?CUT and
Cutting
儀器
?CUT and ?X
例
?PAPER and
紙
患者
?CUT and ?PAPER
位於
?CBO and ?PAPER
例
?CBO and
VisualContentBearingObject
包含信息
?CBO and ?INFO and ?READ
例
?READ and
解讀
患者
?READ and ?INFO
早期
何時
?CUT and
何時
?READ
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739
等於
OrganismPopulationFn
Organism
and
GeographicArea
and
基數
卡帕
Organism
I and
例
Organism
I and
Organism
位於
Organism
I and
GeographicArea
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
持有期間
何時
JesusOfNazareth
and
位於
JesusOfNazareth
and
巴勒斯坦
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2563-2563
位於
AalandIslands
and
波羅的海
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4695-4695
位於
南極極地電流
and
南部海洋
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
位於
法國南部和南極的土地
and
南
和
印度洋
的
directional
次要地區
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
位於
法國南部和南極的土地
and
印度洋
(
located
SaintHelena
SouthAtlanticOcean
)
CountriesAndRegions.kif 231-231
位於
聖海倫娜
and
南大西洋
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