possesses
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
工程
は
Trespassing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
オブジェクト
を
possess
ない ステートメント
AutonomousAgent
は
オブジェクト
に
located
して %n には
Illegal
の
modal
force
が ある
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
PermanentResidence
は
ApartmentUnit
の
instance
では %n
人[人間]
の
home
は
PermanentResidence
では %n
人[人間]
は
PermanentResidence
を
possess
ない
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
ServiceProcess
は
PhotocopyingService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
オブジェクト
オブジェクト
は
Photocopier
の
instance
では %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
ServiceProcess
の
instrument
では %n
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
整数
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
オブジェクト
memberCount
エンティティー
and
量
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
整数
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
オブジェクト
memberCount
エンティティー
and
量
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
整数
整数
は
整数
の
instance
では %n
移動
コレクション
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
コレクション
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
オブジェクト
memberCount
コレクション
and
整数
AutonomousAgent
は
コレクション
を
possess
es %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
物理量
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
量
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
物理量
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
量
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
物理量
物理量
は
物理量
の
instance
では %n
移動
オブジェクト
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
オブジェクト
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
の
measure
は
物理量
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
認識エージェント
は
物理
を
want
s %n{ない}
物理
は
オブジェクト
の
instance
では %n
認識エージェント
が
認識エージェント
は
物理
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1786-1791
Investor
は
AutonomousAgent
の
attribute
では %n
オブジェクト
オブジェクト
は
Investment
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
PassengerCarRental
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
customer
エンティティー
and
オブジェクト
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
Renting
の
instance
では %n
オブジェクト
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
記号文字列
and
AutonomousAgent
Telephone
エンティティー
and
実数
phoneNumber
記号文字列
and
Telephone
実数
は 6 より
greater
では %n
実数
は 18 より
less
では %n
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない}
Telephone
は
エンティティー
の
patient
では %n
AutonomousAgent
は
Telephone
を
possess
es %n{ない} ステートメント
エンティティー
エンティティー
は
Answering
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Likely
の
modal
force
が ある は
エンティティー
は
実数
hour
目 の
instance
では %n の
during
holds %n{ない}
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
dependentGeopoliticalArea
地政学的地域
and
地政学的地域
地政学的地域
は
地政学的地域
を
possess
es %n{ない}
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
認識エージェント
and
オブジェクト
認識エージェント
が
認識エージェント
は
オブジェクト
を
possess
ない を
desire
s %n{ない}
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
記号文字列
and
AutonomousAgent
Telephone
エンティティー
and
実数
phoneNumber
記号文字列
and
Telephone
実数
は 18 より
greater
では %n
実数
は 6 より
less
では %n
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない}
Telephone
は
エンティティー
の
patient
では %n
AutonomousAgent
は
Telephone
を
possess
es %n{ない} ステートメント
エンティティー
エンティティー
は
Answering
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Likely
の
modal
force
が ある は
エンティティー
は
実数
hour
目 の
instance
では %n の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 25142-25148
deviceTelecomNumber
エンティティー
and
エンティティー
エンティティー
は
MobileCellPhone
の
instance
では %n
mobilePhoneNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7453-7458
lacks
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
ない は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
AutonomousAgent
は
AssaultAmphibianUnit
の
instance
では %n
オブジェクト
オブジェクト
は
AAV
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
AutonomousAgent
は
ArtilleryBattery
の
instance
では %n
オブジェクト
オブジェクト
は
ArtilleryCannon
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
ExplosiveMine
))
(
possesses
?AB ?AC))))
Military.kif 676-685
AutonomousAgent
は
InfantryUnit
の
instance
では %n
オブジェクト
オブジェクト
は
AutomaticGun
の
instance
では %n
オブジェクト
は
Firearm
の
instance
では %n
オブジェクト
は
MortarGun
の
instance
では %n
オブジェクト
は
ExplosiveMine
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3323-3330
AutonomousAgent
は
Airline
の
instance
では %n
コレクション
物理
コレクション
は
Fleet
の
instance
では %n
AutonomousAgent
は
コレクション
を
possess
es %n{ない}
物理
は
Aircraft
の
instance
では %n
物理
は
コレクション
の
member
では %n
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
物理
は
CruiseShip
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
エンティティー
は
物理
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
agent
では %n
customer
エンティティー
and
エンティティー
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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