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
element
Sigma KEE - element
element
appearance as argument number 1
(
documentation
element
ChineseLanguage
"(element ?ENTITY ?SET)是真的,以防
Set
?SET 已包含 了这个 ?ENTITY。一个
Entity
可以是另外一个
Entity
的
element
当且仅当后者是一个
Set
。")
chinese_format.kif 2289-2290
(
documentation
element
EnglishLanguage
"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the
Set
?SET. An
Entity
can be an
element
of another
Entity
only if the latter is a
Set
.")
Merge.kif 5417-5419
(
documentation
element
JapaneseLanguage
"(element ?ENTITY ?SET) は、?ENTITY が
Set
?SETに 含まれている場合に当てはまる。
Entity
は、後者が
Set
の場合にのみ、別の
Entity
の
element
にすることができる。")
japanese_format.kif 957-959
(
domain
element
1
Entity
)
Merge.kif 5414-5414
element
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
element
2
Set
)
Merge.kif 5415-5415
element
の数値 2 引数は
セット
の
instance
では %n
(
instance
element
AsymmetricRelation
)
Merge.kif 5412-5412
element
は
非対称関係
の
instance
では %n
(
instance
element
BinaryPredicate
)
Merge.kif 5411-5411
element
は
2進述語
の
instance
では %n
(
subrelation
element
instance
)
Merge.kif 5413-5413
element
は
instance
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
element
"%1 %n 是 %2 的
element
")
chinese_format.kif 488-488
(
format
EnglishLanguage
element
"%1 is %n an
element
of %2")
english_format.kif 493-493
(
format
FrenchLanguage
element
"%1 est %n un �lement de %2")
french_format.kif 285-285
(
format
ItalianLanguage
element
"%è %n un
element
o di %2")
relations-it.txt 90-90
(
format
JapaneseLanguage
element
"%1 は %2 の
element
%n")
japanese_format.kif 2066-2066
(
format
PortugueseLanguage
element
"%1 e' %n um
element
o de %2")
portuguese_format.kif 237-237
(
format
cz
element
"%1 %p{je} %n{nen�} an
element
of %2")
relations-cz.txt 291-291
(
format
de
element
"%1 ist ein
element
von %2 %n{nicht}")
relations-de.txt 633-633
(
format
hi
element
"%1 %2 kaa ghaTaka %n hai")
relations-hindi.txt 130-130
(
format
ro
element
"%1 %n{nu} este un
element
%t{element} al lui %2")
relations-ro.kif 306-306
(
format
sv
element
"%1 är %n{inte} ett
element
av %2")
relations-sv.txt 312-312
(
format
tg
element
"%1 %n ay ang
element
o sa %2")
relations-tg.txt 195-195
(
relatedInternalConcept
member
element
)
Merge.kif 1282-1282
member
は
element
に
internally
関連して %n
(
termFormat
ChineseLanguage
element
"元件")
domainEnglishFormat.kif 21792-21792
(
termFormat
ChineseLanguage
element
"元素")
chinese_format.kif 489-489
(
termFormat
ChineseTraditionalLanguage
element
"元件")
domainEnglishFormat.kif 21791-21791
(
termFormat
EnglishLanguage
element
"element")
domainEnglishFormat.kif 21790-21790
(
termFormat
tg
element
"elemento")
relations-tg.txt 196-196
antecedent
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5421-5425
エンティティー
は
セット
の
element
%n
エンティティー
は
セット
の
element
%n
セット
は
セット
と
equal
では %n
(=>
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5405-5409
エンティティー
は
セット
の
element
%n
エンティティー
は
セット
の
element
%n
セット
は
セット
の
subset
%n
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
エンティティー
は
Casino
の
instance
では %n
CasinoHotels
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
オブジェクト
は
組織
の
belongings
の
element
%n
AnnexRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では %n
組織
は
HotelFrontDesk
の
instance
では %n
組織
は
オブジェクト
に
located
して %n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
コレクション
は
AutonomousAgent
の
belongings
の
element
%n
コレクション
は
RoomInventory
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
オブジェクト
は
物理
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では %n
認識エージェント
は
オブジェクト
の
agent
では %n
認識エージェント
が
オブジェクト
を
experience
s %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
認識エージェント
は
オブジェクト
を
use
s %n{ない}
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
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
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
物理
は
オブジェクト
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
物理
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では %n
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では %n
物理
物理
は
物理
の
instance
では %n
物理
は
TemporaryResidence
に
located
して %n
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
resource
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
工程
は
Deciding
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
セット
は
セット
の
instance
では %n
セット
は
工程
の
patient
では %n
エンティティー
は
セット
の
element
%n
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
意図的なプロセス
の
subclass
では %n
認識エージェント
は
エンティティー
を
agent
として行う
capable
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
物理
は
HotelFunctionRoom
の
instance
では %n
物理
は
AutonomousAgent
の
belongings
の
element
%n
物理
は
エンティティー
エンティティー
は
Renting
の
instance
では %n
物理
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
オブジェクト
は
Nursery
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
認識エージェント
エンティティー
CommunalAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
認識エージェント
は
エンティティー
は
ChildCareService
の
instance
では %n
認識エージェント
は
エンティティー
の間サービスを provides %n{ない} の 目的 %n{ない}
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
固定アーチファクト
and
整数
エンティティー
は
固定アーチファクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
stays
エンティティー
and
エンティティー
には
Possibility
の
modal
force
が ある
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S)
(
instance
?P
Process
)
(
agent
?P ?O))
(
frequency
Process
?Q))
Mid-level-ontology.kif 31316-31323
memberMeasure
セット
,
MeasurementAttribute
and
時間分
セット
は
セット
の
instance
では %n
AutonomousAgent
は
セット
の
element
%n
工程
は
工程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
時間分
ごとに
occur
s %n{ない}
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31179-31184
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では %n
自己接続オブジェクト
は
セット
の
element
%n
approximateDiameter
自己接続オブジェクト
and
長さ測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
circumfrence
?O ?Q))
Mid-level-ontology.kif 31112-31117
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では %n
Circle
は
セット
の
element
%n
circumfrence
Circle
and
長さ測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31157-31162
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では %n
Circle
は
セット
の
element
%n
Circle
の
diameter
は
長さ測定
では %n
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31091-31096
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では %n
自己接続オブジェクト
は
セット
の
element
%n
自己接続オブジェクト
の
height
は
長さ測定
では %n
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31060-31065
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では %n
物理
は
セット
の
element
%n
物理
の
length
は
長さ測定
では
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
measure
?O ?Q))
Mid-level-ontology.kif 31011-31016
memberMeasure
セット
,
MeasurementAttribute
and
物理量
セット
は
セット
の
instance
では %n
物理
は
セット
の
element
%n
物理
の
measure
は
物理量
では %n
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31208-31213
memberMeasure
セット
,
MeasurementAttribute
and
面積測定
セット
は
セット
の
instance
では %n
地域
は
セット
の
element
%n
totalArea
地域
and
面積測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
transformerCapacity
?O ?Q))
Mid-level-ontology.kif 31348-31353
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では %n
ElectricalTransformer
は
セット
の
element
%n
transformerCapacity
ElectricalTransformer
and
関数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingPrimary
?O ?Q))
Mid-level-ontology.kif 31230-31235
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では %n
ElectricalTransformer
は
セット
の
element
%n
voltageRatingPrimary
ElectricalTransformer
and
関数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingSecondary
?O ?Q))
Mid-level-ontology.kif 31273-31278
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では %n
ElectricalTransformer
は
セット
の
element
%n
voltageRatingSecondary
ElectricalTransformer
and
関数量
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
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
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
オブジェクト
は
組織
の
belongings
の
element
%n
AnnexRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では %n
組織
は
HotelFrontDesk
の
instance
では %n
組織
は
オブジェクト
に
located
して %n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
コレクション
は
AutonomousAgent
の
belongings
の
element
%n
コレクション
は
RoomInventory
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
工程
は
Deciding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
セット
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
%n
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
工程
は
BreakingRecord
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
セット
クラス
,
工程
,
時点
,
格役割
,
オブジェクト
and
エンティティー
セット
は
セット
の
instance
では %n
AutonomousAgent
は
セット
の
element
%n
クラス
は
工程
の
subclass
では %n
オブジェクト
は
地域
の
instance
では %n
時点
は
時点
の
instance
では %n
エンティティー
は
量
の
instance
では %n
工程
は
クラス
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
工程
への
reference
を includes %n{ない}
playsRoleInEvent
AutonomousAgent
,
格役割
and
工程
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
セット
の
instance
では %n
エンティティー
は
AutonomousAgent
と
equal
では
エンティティー
は
クラス
の
instance
では %n
playsRoleInEvent
エンティティー
,
格役割
and
エンティティー
eventLocated
エンティティー
and
オブジェクト
は
時点
と
工程
の
time
の existence の
end
の
interval
の
during
holds %n{ない}
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
エンティティー
の
belongings
の
element
%n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5399-5403
セット
は
セット
の
subset
%n
エンティティー
は
セット
の
element
%n
エンティティー
は
セット
の
element
%n
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
TravelerAccommodation
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
rents
エンティティー
,
オブジェクト
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
オブジェクト
の
belongings
の
element
%n の 目的 %n{ない}
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
WaterThemePark
は
AutonomousAgent
の
attribute
では %n
エンティティー
エンティティー
は
SwimmingPool
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 103-108
エンティティー
は
HotelUnit
の
instance
では %n
AutonomousAgent
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
instance
?ROOM
HotelUnit
)
(
hasPurpose
?ROOM
(
exists
(?AGENT ?CUST ?TI)
(
and
(
not
(
equal
?AGENT ?CUST))
(
element
?ROOM
(
PropertyFn
?AGENT))
(
rents
?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 110-117
物理
は
HotelUnit
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
と
equal
では
物理
は
エンティティー
の
belongings
の
element
%n
rents
エンティティー
,
エンティティー
,
物理
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?SET
NonNullSet
)
(
exists
(?INST)
(
element
?INST ?SET)))
Merge.kif 5532-5535
セット
は
NonNullSet
の
instance
では %n
エンティティー
エンティティー
は
セット
の
element
%n
(=>
(
instance
?SET
NullSet
)
(
not
(
exists
(?INST)
(
element
?INST ?SET))))
Merge.kif 5520-5524
セット
は
NullSet
の
instance
では %n
エンティティー
エンティティー
は
セット
の
element
%n
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1691-1694
エンティティー
は
HotelFunctionRoom
の
instance
では %n
AutonomousAgent
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
propertyPolicy
AutonomousAgent
and
Policy
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
policyLocationCoverage
Policy
and
オブジェクト
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1727-1739
roomAmenity
HotelUnit
and
HotelMiniBar
オブジェクト
コレクション
and
AutonomousAgent
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
コレクション
は
HotelMiniBar
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
物理
物理
は
コレクション
の
member
では %n
通貨測定
price
物理
,
通貨測定
and
AutonomousAgent
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