possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
オブジェクト
は
Passport
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
confersNorm
オブジェクト
,
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Translocation
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
国民
の
instance
では %n
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では and
Permission
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
Ship
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
地政学的地域
は
地政学的地域
の
instance
では %n
flagState
AutonomousAgent
and
地政学的地域
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
は
Restaurant
の
instance
では %n
オブジェクト
は
DiningRoom
の
instance
では %n
PrivateAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
工程
は
摂食
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
GroupOfPeople
の
instance
では %n
ステートメント
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
認識エージェント
は
エンティティー
と
equal
では
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
eventLocated
エンティティー
and
オブジェクト
は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
は
Ticket
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
issuedBy
AutonomousAgent
and
認識エージェント
AmusementGamblingAndRecreationIndustries
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
に
located
して %n
confersNorm
認識エージェント
,
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない}
eventLocated
エンティティー
and
オブジェクト
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
時間位置
は
時間位置
の
instance
では %n
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では %n
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
は
SingleFamilyResidence
の
instance
では %n
人[人間]
の
home
は
PermanentResidence
では %n
人[人間]
は
PermanentResidence
を
possess
es %n{ない}
PermanentResidence
は
建物
の
instance
では
PermanentResidence
は
CondominiumUnit
の
instance
では %n
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
オブジェクト
は
BiochemicalWeapon
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
BiochemicalAttack
を
agent
として行う
capable
では %n
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
証明書
and
認識エージェント
証明書
は
Ticket
の
instance
では %n
AutonomousAgent
は
証明書
を
possess
es %n{ない}
confersNorm
認識エージェント
,
エンティティー
エンティティー
エンティティー
は
工程
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない} は
エンティティー
の
during
holds %n{ない} and
Permission
(=>
(
and
(
paidFunctionRoomAmenity
?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))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
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
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は 0 より
greater
では %n
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
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))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
工程
を
possess
es %n{ない}
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
を
use
s %n{ない}
実数
測定単位
price
工程
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は 0 より
greater
では %n
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
の
measure
は
実数
の
ShareUnit
(s) では %n
splitFor
StockSplit
,
整数
and
整数
エンティティー
は
実数
+
整数
と
equal
では %n
エンティティー
は
エンティティー
+
整数
と
equal
では %n
オブジェクト
の
measure
は
エンティティー
の
ShareUnit
(s) では %n は
StockSplit
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
認識エージェント
は
CommercialAgent
の
instance
では %n
オブジェクト
は
ParkingLot
の
instance
では %n
オブジェクト
は
建物
の
instance
では %n
認識エージェント
は
オブジェクト
に
located
して %n
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
工程
は
運転
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
認識エージェント
は
AutonomousAgent
が
エンティティー
は
保持
の
instance
では %n
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
riskTolerance
AutonomousAgent
and
RiskAttribute
オブジェクト
は
Investment
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
riskLevel
オブジェクト
and
RiskAttribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
ステートメント
AutonomousAgent
は
オブジェクト
を
use
s %n{ない} には
Permission
の
modal
force
が ある
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