Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 5442-5444
(
documentation
element
JapaneseLanguage
"(element ?ENTITY ?SET) は、?ENTITY が
Set
?SETに 含まれている場合に当てはまる。
Entity
は、後者が
Set
の場合にのみ、別の
Entity
の
element
にすることができる。")
japanese_format.kif 957-959
(
domain
element
1
Entity
)
Merge.kif 5439-5439
element
の数値 1 引数は
エンティティー
の
instance
では
(
domain
element
2
Set
)
Merge.kif 5440-5440
element
の数値 2 引数は
セット
の
instance
では
(
instance
element
BinaryPredicate
)
Merge.kif 5438-5438
element
は
2進述語
の
instance
では
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 1292-1292
member
は
element
に
internally
関連して
(
termFormat
ChineseLanguage
element
"元件")
domainEnglishFormat.kif 21801-21801
member
は
element
に
internally
関連して
(
termFormat
ChineseLanguage
element
"元素")
chinese_format.kif 489-489
member
は
element
に
internally
関連して
(
termFormat
ChineseTraditionalLanguage
element
"元件")
domainEnglishFormat.kif 21800-21800
member
は
element
に
internally
関連して
(
termFormat
EnglishLanguage
element
"element")
domainEnglishFormat.kif 21799-21799
member
は
element
に
internally
関連して
(
termFormat
de
element
"element")
terms-de.txt 195-195
member
は
element
に
internally
関連して
(
termFormat
tg
element
"elemento")
relations-tg.txt 196-196
member
は
element
に
internally
関連して
antecedent
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5446-5450
エンティティー
は
セット
の
element
エンティティー
は
セット
の
element
equal
セット
and
セット
(=>
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5432-5436
エンティティー
は
セット
の
element
エンティティー
は
セット
の
element
セット
は
セット
の
subset
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1463-1468
TravelerAccommodation
は
AutonomousAgent
の
attribute
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
エンティティー
は
Casino
の
instance
では
CasinoHotels
は
AutonomousAgent
の
attribute
では
(=>
(
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 1135-1148
オブジェクト
は
組織
の
belongings
の
element
AnnexRoom
は
オブジェクト
の
attribute
では
オブジェクト
は
HotelRoom
の
instance
では
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では
組織
は
HotelFrontDesk
の
instance
では
組織
は
オブジェクト
に
located
して
オブジェクト
は
組織
の
belongings
の
element
オブジェクト
は
組織
の
belongings
の
element
オブジェクト
は
オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
コレクション
は
AutonomousAgent
の
belongings
の
element
コレクション
は
RoomInventory
の
instance
では
物理
物理
は
コレクション
の
member
では
物理
は
AutonomousAgent
の
belongings
の
element
(=>
(
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 847-868
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
工程
は
Renting
の
instance
では
エンティティー
は
工程
の
patient
では
工程
は
認識エージェント
に
end
s
オブジェクト
は
物理
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では
認識エージェント
は
オブジェクト
の
agent
では
認識エージェント
が
オブジェクト
を
experience
s
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
オブジェクト
の
instance
では
認識エージェント
は
オブジェクト
を
use
s
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
では
TemporaryResidence
は
HotelUnit
の
instance
では
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
オブジェクト
は
物理
の
instance
では
オブジェクト
は
TemporaryResidence
に
located
して
工程
は
工程
の
instance
では
人[人間]
は
工程
の
agent
では
オブジェクト
は
工程
の
patient
では
オブジェクト
は
工程
の
instrument
では
オブジェクト
は
工程
の
resource
では
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
では
TemporaryResidence
は
HotelUnit
の
instance
では
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
人[人間]
は
工程
の
patient
では
工程
は
物理
の
instance
では
工程
は
物理
の
instance
では
工程
は
工程
% の
subprocess
では
工程
は
TemporaryResidence
に
located
して
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 815-836
functionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
工程
は
Renting
の
instance
では
エンティティー
は
工程
の
patient
では
AutonomousAgent
は
工程
の
agent
では
工程
は
エンティティー
に
end
s
物理
は
オブジェクト
の
subclass
では
ステートメント
エンティティー
エンティティー
エンティティー
は
物理
の
instance
では
エンティティー
は
工程
の
instance
では
エンティティー
は
エンティティー
の
resource
では
エンティティー
は
エンティティー
の
instrument
では
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
エンティティー
の
agent
では
エンティティー
が
エンティティー
を
experience
s には
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
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では
物理
物理
は
物理
の
instance
では
物理
は
TemporaryResidence
に
located
して
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では
物理
は
エンティティー
の
instrument
では
物理
は
エンティティー
の
patient
では
物理
は
エンティティー
の
resource
では のタスクを実行することはを
allow
s
(=>
(
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 12164-12176
工程
は
Deciding
の
instance
では
認識エージェント
は
工程
の
agent
では
セット
は
セット
の
instance
では
セット
は
工程
の
patient
では
エンティティー
は
セット
の
element
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では
エンティティー
は
意図的なプロセス
の
subclass
では
認識エージェント
は
エンティティー
を
agent
として行う
capable
では を
believe
s
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1707-1715
物理
は
HotelFunctionRoom
の
instance
では
物理
は
AutonomousAgent
の
belongings
の
element
物理
は
エンティティー
エンティティー
は
Renting
の
instance
では
物理
は
エンティティー
の
patient
では の 目的
(=>
(
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 1913-1925
オブジェクト
は
Nursery
の
instance
では
オブジェクト
は
AutonomousAgent
の
belongings
の
element
TravelerAccommodation
は
AutonomousAgent
の
attribute
では
認識エージェント
エンティティー
CommunalAttribute
は
オブジェクト
の
attribute
では
AutonomousAgent
は
認識エージェント
を
employ
s
認識エージェント
は
エンティティー
は
ChildCareService
の
instance
では
認識エージェント
は
エンティティー
の間サービスを provides の 目的
(=>
(
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
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では
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 33261-33268
memberMeasure
セット
,
MeasurementAttribute
and
時間分
セット
は
セット
の
instance
では
AutonomousAgent
は
セット
の
element
工程
は
工程
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
時間分
ごとに
occur
s
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 33124-33129
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では
自己接続オブジェクト
は
セット
の
element
approximateDiameter
自己接続オブジェクト
and
長さ測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
circumference
?O ?Q))
Mid-level-ontology.kif 33048-33053
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では
エンティティー
は
セット
の
element
circumference
エンティティー
and
長さ測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 33102-33107
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では
エンティティー
は
セット
の
element
エンティティー
の
diameter
は
長さ測定
では
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 33027-33032
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では
自己接続オブジェクト
は
セット
の
element
自己接続オブジェクト
の
height
は
長さ測定
では
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 32996-33001
memberMeasure
セット
,
MeasurementAttribute
and
長さ測定
セット
は
セット
の
instance
では
物理
は
セット
の
element
物理
の
length
は
長さ測定
では
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
measure
?O ?Q))
Mid-level-ontology.kif 32947-32952
memberMeasure
セット
,
MeasurementAttribute
and
物理量
セット
は
セット
の
instance
では
物理
は
セット
の
element
物理
の
measure
は
物理量
では
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 33153-33158
memberMeasure
セット
,
MeasurementAttribute
and
面積測定
セット
は
セット
の
instance
では
地域
は
セット
の
element
totalArea
地域
and
面積測定
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
transformerCapacity
?O ?Q))
Mid-level-ontology.kif 33293-33298
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では
ElectricalTransformer
は
セット
の
element
transformerCapacity
ElectricalTransformer
and
関数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingPrimary
?O ?Q))
Mid-level-ontology.kif 33175-33180
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では
ElectricalTransformer
は
セット
の
element
voltageRatingPrimary
ElectricalTransformer
and
関数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingSecondary
?O ?Q))
Mid-level-ontology.kif 33218-33223
memberMeasure
セット
,
MeasurementAttribute
and
関数量
セット
は
セット
の
instance
では
ElectricalTransformer
は
セット
の
element
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 603-608
activityCapability
AutonomousAgent
and
工程
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
オブジェクト
は
工程
を
located
として行う
capable
では
(=>
(
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
では
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
AutonomousAgent
は
エンティティー
の
agent
では
認識エージェント
は
エンティティー
の
patient
では
エンティティー
は
物理
の
instance
では
エンティティー
は
物理
の
instance
では
エンティティー
は
エンティティー
% の
subprocess
では
エンティティー
は
エンティティー
に
located
して には
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 1135-1148
オブジェクト
は
組織
の
belongings
の
element
AnnexRoom
は
オブジェクト
の
attribute
では
オブジェクト
は
HotelRoom
の
instance
では
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では
組織
は
HotelFrontDesk
の
instance
では
組織
は
オブジェクト
に
located
して
オブジェクト
は
組織
の
belongings
の
element
オブジェクト
は
組織
の
belongings
の
element
オブジェクト
は
オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
コレクション
は
AutonomousAgent
の
belongings
の
element
コレクション
は
RoomInventory
の
instance
では
物理
物理
は
コレクション
の
member
では
物理
は
AutonomousAgent
の
belongings
の
element
(=>
(
and
(
instance
?CG
CapitalMeanOfProduction
)
(
attribute
?CGO ?CG))
(
exists
(?M ?A ?MONEY ?AGENT ?PROPERTYITEM)
(
or
(
and
(
instance
?MONEY
Currency
)
(
equal
?CGO ?MONEY))
(
and
(
element
?PROPERTYITEM
(
PropertyFn
?AGENT))
(
equal
?PROPERTYITEM ?CGO))
(
and
(
instance
?A
Artifact
)
(
equal
?CGO ?A)))))
Economy.kif 6116-6130
属性
は
CapitalMeanOfProduction
の
instance
では
属性
は
属性
O の
attribute
では
エンティティー
エンティティー
,
エンティティー
ONEY,
エンティティー
GENT and
エンティティー
エンティティー
ONEY は
Currency
の
instance
では
equal
属性
O and
エンティティー
ONEY
エンティティー
は
エンティティー
GENT の
belongings
の
element
equal
エンティティー
and
属性
O
エンティティー
は
アーチファクト
の
instance
では
equal
属性
O and
エンティティー
(=>
(
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 12196-12212
工程
は
Deciding
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
patient
では
エンティティー
は
セット
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
エンティティー
は
意図的なプロセス
の
instance
では
AutonomousAgent
は
エンティティー
の
agent
では は
工程
の
time
の existence の
after
の
during
holds
(=>
(
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 31922-31952
工程
は
BreakingRecord
の
instance
では
AutonomousAgent
は
工程
の
agent
では
セット
クラス
,
工程
,
時点
,
格役割
,
オブジェクト
and
エンティティー
セット
は
セット
の
instance
では
AutonomousAgent
は
セット
の
element
クラス
は
工程
の
subclass
では
オブジェクト
は
地域
の
instance
では
時点
は
時点
の
instance
では
エンティティー
は
量
の
instance
では
工程
は
クラス
の
instance
では
工程
は
エンティティー
への
reference
を includes
エンティティー
は
工程
への
reference
を includes
playsRoleInEvent
AutonomousAgent
,
格役割
and
工程
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
セット
の
instance
では
equal
エンティティー
and
AutonomousAgent
エンティティー
は
クラス
の
instance
では
playsRoleInEvent
エンティティー
,
格役割
and
エンティティー
eventLocated
エンティティー
and
オブジェクト
は
時点
と
工程
の
time
の existence の
end
の
interval
の
during
holds
(=>
(
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
では
ステートメント
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では
エンティティー
は
エンティティー
の
belongings
の
element
エンティティー
は
エンティティー
の
agent
では
エンティティー
は
物理
の
instance
では
エンティティー
は
物理
の
instance
では
エンティティー
は
エンティティー
% の
subprocess
では
エンティティー
は
エンティティー
に
located
して には
Possibility
の
modal
force
が ある
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5426-5430
セット
は
セット
の
subset
エンティティー
は
セット
の
element
エンティティー
は
セット
の
element
(=>
(
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
では
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
rents
エンティティー
,
オブジェクト
,
エンティティー
and
エンティティー
エンティティー
は
HotelUnit
の
instance
では
エンティティー
は
オブジェクト
の
belongings
の
element
の 目的
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
WaterThemePark
は
AutonomousAgent
の
attribute
では
エンティティー
エンティティー
は
SwimmingPool
の
instance
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 103-108
エンティティー
は
HotelUnit
の
instance
では
AutonomousAgent
TravelerAccommodation
は
AutonomousAgent
の
attribute
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
(=>
(
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
では
物理
は
エンティティー
エンティティー
and
エンティティー
equal
エンティティー
and
エンティティー
物理
は
エンティティー
の
belongings
の
element
rents
エンティティー
,
エンティティー
,
物理
and
エンティティー
の 目的
(=>
(
instance
?SET
NonNullSet
)
(
exists
(?INST)
(
element
?INST ?SET)))
Merge.kif 5557-5560
セット
は
NonNullSet
の
instance
では
エンティティー
エンティティー
は
セット
の
element
(=>
(
instance
?SET
NullSet
)
(
not
(
exists
(?INST)
(
element
?INST ?SET))))
Merge.kif 5545-5549
セット
は
NullSet
の
instance
では
エンティティー
エンティティー
は
セット
の
element
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1702-1705
エンティティー
は
HotelFunctionRoom
の
instance
では
AutonomousAgent
エンティティー
は
AutonomousAgent
の
belongings
の
element
(=>
(
member
?CAPITALIST
Capitalism
)
(
believes
?CAPITALIST
(=>
(
and
(
instance
?MEANOFPRODUCTION
MeanOfProduction
)
(
attribute
?OBJ ?MEANOFPRODUCTION)
(
instance
?COUNTRY
GeopoliticalArea
)
(
located
?OBJ ?COUNTRY))
(
exists
(?AA)
(
and
(
instance
?AA
AutonomousAgent
)
(
element
?OBJ
(
PropertyFn
?AA))
(
not
(
equal
?AA
(
CitizenryFn
?COUNTRY))))))))
Economy.kif 905-919
認識エージェント
は
Capitalism
の
member
では
認識エージェント
は
エンティティー
は
MeanOfProduction
の
instance
では
エンティティー
は
エンティティー
の
attribute
では
エンティティー
は
地政学的地域
の
instance
では
エンティティー
は
エンティティー
に
located
して
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では
エンティティー
は
エンティティー
の
belongings
の
element
equal
エンティティー
and
CitizenryFn
エンティティー
を
believe
s
(=>
(
member
?COMMUNIST
Communism
)
(
believes
?COMMUNIST
(=>
(
and
(
instance
?MEANOFPRODUCTION
MeanOfProduction
)
(
attribute
?OBJ ?MEANOFPRODUCTION)
(
instance
?COUNTRY
GeopoliticalArea
)
(
located
?OBJ ?COUNTRY))
(
element
?OBJ
(
PropertyFn
(
CitizenryFn
?COUNTRY))))))
Economy.kif 880-889
認識エージェント
は
Communism
の
member
では
認識エージェント
は
エンティティー
は
MeanOfProduction
の
instance
では
エンティティー
は
エンティティー
の
attribute
では
エンティティー
は
地政学的地域
の
instance
では
エンティティー
は
エンティティー
に
located
して
エンティティー
は
CitizenryFn
エンティティー
の
belongings
の
element
を
believe
s
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4313-4316
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
AutonomousAgent
の
belongings
の
element
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 619-624
propertyPolicy
AutonomousAgent
and
Policy
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
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 1738-1750
roomAmenity
HotelUnit
and
HotelMiniBar
オブジェクト
コレクション
and
AutonomousAgent
オブジェクト
は
HotelUnit
の
instance
では
オブジェクト
は
AutonomousAgent
の
belongings
の
element
コレクション
は
HotelMiniBar
の
instance
では
コレクション
は
オブジェクト
に
located
して
物理
物理
は
コレクション
の
member
では
通貨測定
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