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
located
の数値 1 引数は
物理
の
instance
では %n
(
domain
located
2
Object
)
Merge.kif 4076-4076
located
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
located
AntisymmetricRelation
)
Merge.kif 4070-4070
located
は
反対称関係
の
instance
では %n
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
located
は
合計値関係
の
instance
では %n
(
instance
located
TransitiveRelation
)
Merge.kif 4071-4071
located
は
推移関係
の
instance
では %n
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
located
は
partlyLocated
の
subrelation
では %n
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
time
は
located
に
internally
関連して %n
(
subrelation
exactlyLocated
located
)
Merge.kif 4134-4134
exactlyLocated
は
located
の
subrelation
では %n
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
geographicSubregion
は
located
の
subrelation
では %n
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7576-7576
headquartersOfOrganization
は
located
の
subrelation
では %n
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17404-17404
onboard
は
located
の
subrelation
では %n
(
subrelation
partiallyFills
located
)
Merge.kif 9974-9974
partiallyFills
は
located
の
subrelation
では %n
(
subrelation
postCity
located
)
Mid-level-ontology.kif 24758-24758
postCity
は
located
の
subrelation
では %n
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 24701-24701
postCountry
は
located
の
subrelation
では %n
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 24742-24742
postDistrict
は
located
の
subrelation
では %n
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 24670-24670
postNeighborhood
は
located
の
subrelation
では %n
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 24784-24784
postPostcodeArea
は
located
の
subrelation
では %n
(
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
は
PostcodeArea
に
located
して %n
PostalPlace
は
PostalPlace
の
instance
では %n
PostcodeArea
は
PostcodeArea
の
instance
では %n
postPostcodeArea
PostalPlace
and
PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768
PostalPlace
は
都市
に
located
して %n
PostalPlace
は
PostalPlace
の
instance
では %n
都市
は
都市
の
instance
では %n
postCity
PostalPlace
and
都市
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681
PostalPlace
は
Neighborhood
に
located
して %n
PostalPlace
は
PostalPlace
の
instance
では %n
Neighborhood
は
Neighborhood
の
instance
では %n
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752
PostalPlace
は
州
に
located
して %n
PostalPlace
は
PostalPlace
の
instance
では %n
州
は
州
の
instance
では %n
postDistrict
PostalPlace
and
州
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 24713-24720
PostalPlace
は
地政学的地域
に
located
して %n
PostalPlace
は
PostalPlace
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
DependencyOrSpecialSovereigntyArea
の
instance
では %n
postCountry
PostalPlace
and
地政学的地域
(=>
(
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
Waiter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
Restaurant
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して %n
オブジェクト
は
Table
の
instance
では %n
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
KitchenArea
の
instance
では %n
オブジェクト
は
DiningArea
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
認識エージェント
は
エンティティー
は
Carrying
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n の 目的 %n{ない}
(=>
(
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
として行う
capable
では %n
customer
認識エージェント
and
組織
組織
は
オブジェクト
に
located
して %n
工程
は
Arriving
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
end
s %n{ない}
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない} ステートメント
エンティティー
エンティティー
エンティティー
は
ValetParking
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ParkingRegion
の
instance
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
EukaryoticCell
and
整数
オブジェクト
は
EukaryoticCell
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
EukaryoticCell
OLL は
コレクション
の
instance
では %n
EukaryoticCell
OLL は
オブジェクト
に
located
して %n
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
整数
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
人[人間]
は
国民
% の
citizen
では %n
オブジェクト
人[人間]
は
オブジェクト
に
located
して %n
人[人間]
は
国民
に
located
して %n
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
オブジェクト
and
長さ測定
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
PlanetEarth
の
superficial
部分では %n
(=>
(
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
freeRoomAmenity
HotelUnit
and
物理
物理
は
オブジェクト
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
TemporaryResidence
に
located
して %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
resource
では %n
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) 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
freeRoomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
price
工程
, 0.0 の
UnitedStatesDollar
(s) 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
整数
Gamete
は
Gamete
の
instance
では %n
オブジェクト
は
Gamete
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
memberType
コレクション
and
Chromosome
memberCount
コレクション
and
整数
(=>
(
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
DislocatedCivilian
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
地理的地域
に
located
して %n は
時間間隔
の
during
holds %n{ない}
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
エンティティー
-PLACE and
エンティティー
-RES
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
-RES は
オブジェクト
の
instance
では %n
エンティティー
-PLACE は
地政学的地域
の
instance
では %n
エンティティー
-RES は
エンティティー
-PLACE に
located
して %n
地理的地域
は
エンティティー
-PLACE と
equal
では
エンティティー
は
エンティティー
-RES と
equal
では
geographicSubregion
地理的地域
and
エンティティー
-PLACE
geographicSubregion
エンティティー
-PLACE and
地理的地域
エンティティー
は
エンティティー
-RES に
live
s %n{ない} は
時間間隔
の
during
holds %n{ない}
(=>
(
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
工程
は
LocalAnesthetizing
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
PainFn
オブジェクト
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
エンティティー
は
人[人間]
の
instance
では %n
deviceTelecomNumber
エンティティー
and
エンティティー
telephoneNumber
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Residence
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
live
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
オブジェクト
は
地理的地域
の
instance
では %n
物理
は
GeologicalFault
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
GeologicallyStable
は
オブジェクト
の
attribute
では
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
工程
は
AntiSurfaceOperation
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
エンティティー
は
水域
の
instance
では %n
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
UST に
end
s %n{ない}
AutonomousAgent
は
オブジェクト
に
located
して %n
customer
工程
UST and
AutonomousAgent
工程
エンティティー
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
摂食
の
instance
では %n
工程
UST は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
と
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
Agreement
は
CivilAffairsAgreement
の
instance
では %n
partyToAgreement
エンティティー
_MIL_THIS and
Agreement
エンティティー
_MIL_THIS は
MilitaryOrganization
の
instance
では %n
militaryOfArea
エンティティー
_MIL_THIS and
エンティティー
_THIS
エンティティー
_THIS は
国民
の
instance
では %n
エンティティー
_MIL_THIS は
エンティティー
_FRIENDLY に
located
して %n
エンティティー
_FRIENDLY は
国民
の
instance
では %n
エンティティー
_THIS は
エンティティー
_FRIENDLY と
equal
では
enemy
エンティティー
_THIS and
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY は
エンティティー
_FRIENDLY に
located
して %n
partyToAgreement
エンティティー
_FRIENDLY and
Agreement
エンティティー
_FRIENDLY は
MilitaryOrganization
の
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
工程
は
CivilAffairsOperation
の
instance
では %n
工程
は
地政学的地域
に
located
して %n
地政学的地域
は
国民
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
consistent
命題
and
命題
(=>
(
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
オブジェクト
は
HexaploidCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
and
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
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 773-782
EukaryoticCell
は
MonoploidCell
の
instance
では %n
chromosomeNumber
EukaryoticCell
and
整数
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
monoploidNumber
MonoploidChromosomeSet
and
整数
整数
は
整数
と
equal
では %n
(=>
(
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
オブジェクト
は
PentaploidCell
の
instance
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
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 951-966
オブジェクト
は
TetraploidCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
equal
では
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
beliefGroupPercentInRegion
BeliefGroup
,
実数
and
地理的地域
コレクション
コレクション
,
物理
,
物理
2,
実数
1 and
実数
2
物理
は
地理的地域
に
located
して %n
物理
は
BeliefGroup
の
member
では %n
物理
は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
1
物理
2 は
地理的地域
に
located
して %n
物理
2 は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
2
実数
+ 100 は
実数
1 +
実数
2 と
equal
では %n
(<=>
(
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
ethnicityPercentInRegion
民族
,
実数
and
地理的地域
コレクション
コレクション
,
物理
,
物理
2,
実数
1 and
実数
2
物理
は
地理的地域
に
located
して %n
物理
は
民族
の
member
では %n
物理
は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
1
物理
2 は
地理的地域
に
located
して %n
物理
2 は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
2
実数
+ 100 は
実数
1 +
実数
2 と
equal
では %n
(<=>
(
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
languagePercentInRegion
言語
,
実数
and
地理的地域
コレクション
コレクション
,
意識[知覚]を持つ代理(人)
,
意識[知覚]を持つ代理(人)
2,
実数
1 and
実数
2
意識[知覚]を持つ代理(人)
は
地理的地域
に
located
して %n
意識[知覚]を持つ代理(人)
は
コレクション
の
member
では %n
speaksLanguage
意識[知覚]を持つ代理(人)
and
言語
memberCount
コレクション
and
実数
1
意識[知覚]を持つ代理(人)
2 は
地理的地域
に
located
して %n
意識[知覚]を持つ代理(人)
2 は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
2
実数
+ 100 は
実数
1 +
実数
2 と
equal
では %n
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
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
lengthOfUnclassifiedGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23308-23310
locatedAtTime
オブジェクト
,
時間位置
and
オブジェクト
オブジェクト
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
(<=>
(
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
totalFacilityTypeInArea
地理的地域
,
AirportWithPavedRunway
に対する
class
and
非負整数
記号文字列
エンティティー
cardinality
記号文字列
で記述される
class
and
非負整数
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
totalFacilityTypeInArea
地理的地域
,
クラス
and
非負整数
cardinality
エンティティー
class
and
非負整数
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
工程
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
工程
を
located
として行う
capable
では %n
(=>
(
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
DeepSeaCoastalAndGreatLakesWaterTransportation
は
認識エージェント
の
attribute
では %n
認識エージェント
は
TransportationCompany
の
instance
では %n
ServiceProcess
オブジェクト
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
eventLocated
ServiceProcess
and
オブジェクト
オブジェクト
は
水域
の
instance
では %n
認識エージェント
は
NorthAmerica
に
located
して %n
(=>
(
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
では %n
オブジェクト
は
Store
の
instance
では %n
地政学的地域
エンティティー
,
オブジェクト
and
工程
地政学的地域
は
地政学的地域
の
instance
では %n
オブジェクト
は
地政学的地域
に
located
して %n
オブジェクト
は
オブジェクト
の
subclass
では %n
importCommodityType
地政学的地域
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
工程
は
販売
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
located
して %n
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 は
PaperShredder
の
instance
では %n ?CUT は
切断
の
instance
では %n ?X は ?CUT の
instrument
では %n ?PAPER は
Paper
の
instance
では %n ?PAPER は ?CUT の
patient
では %n ?CBO は ?PAPER に
located
して %n ?CBO は
VisualContentBearingObject
の
instance
では %n ?CBO は ?INFO の情報を
contain
s %n{ない} は ?READ ?READ は
Interpreting
の
instance
では %n ?INFO は ?READ の
patient
では %n ?CUT の
time
の existence は ?READ の
time
の existence より
earlier
happens %n{ない} を
decrease
s 可能性がある
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
物
and
地理的地域
は
物
Iで記述される
class
の
instances
の数 と
equal
では %n
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
は
Palestine
に
located
して %n は
JesusOfNazareth
の
time
の existence の
during
holds %n{ない}
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2563-2563
AalandIslands
は
BalticSea
に
located
して %n
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4695-4695
AntarcticCircumpolarCurrent
は
SouthernOcean
に
located
して %n
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
は
DirectionalSubregionFn
South
and
IndianOcean
に
located
して %n
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
FrenchSouthernAndAntarcticLands
は
IndianOcean
に
located
して %n
(
located
SaintHelena
SouthAtlanticOcean
)
CountriesAndRegions.kif 231-231
SaintHelena
は
SouthAtlanticOcean
に
located
して %n
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