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
例
Process
and
擅闖
agent
Process
and
AutonomousAgent
患者
Process
and
Object
擁有
AutonomousAgent
and
Object
模態屬性
位於
AutonomousAgent
and
Object
and
非法
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
例
永久居留權
and
公寓單位
家
Human
and
永久居留權
擁有
Human
and
永久居留權
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
例
服務
and
PhotocopyingService
服務提供者
服務
and
CognitiveAgent
Object
例
Object
and
Photocopier
擁有
CognitiveAgent
and
Object
儀器
服務
and
Object
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
例
Integer
and
Integer
Transfer
Collection
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Collection
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Collection
and
Collection
Object
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
擁有
AutonomousAgent
and
Collection
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
PhysicalQuantity
例
PhysicalQuantity
and
PhysicalQuantity
Transfer
Object
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Object
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Object
and
Object
測量
Object
and
PhysicalQuantity
擁有
AutonomousAgent
and
Object
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
想要
CognitiveAgent
and
Physical
例
Physical
and
Object
慾望
CognitiveAgent
and
擁有
CognitiveAgent
and
Physical
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1786-1791
attribute
AutonomousAgent
and
投資者
Object
例
Object
and
投資
擁有
AutonomousAgent
and
Object
(=>
(
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
attribute
Object
and
乘用車租賃
有目的
Object
and
entity
entity
and
entity
Object
是
entity
的
customer
例
entity
and
汽車
例
entity
and
租
擁有
Object
and
entity
agent
entity
and
entity
(=>
(
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
AutonomousAgent
是
SymbolicString
的
day
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 6
少於
RealNumber
and 18
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
GeopoliticalArea
是
GeopoliticalArea
的
dependent
擁有
GeopoliticalArea
and
GeopoliticalArea
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
CognitiveAgent
dislikes
Object
慾望
CognitiveAgent
and
擁有
CognitiveAgent
and
Object
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
元件
Object
and
屬性
AutonomousAgent
擁有
AutonomousAgent
and
Object
(=>
(
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
AutonomousAgent
是
SymbolicString
的
evening
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 18
少於
RealNumber
and 6
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 25142-25148
持有期間
TimePosition
and
entity
有
number
entity
例
entity
and
移動手機
entity
的
mobile
number
是
entity
持有期間
TimePosition
and
擁有
entity
and
entity
(=>
(
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
持有期間
TimePosition
and
attribute
entity
and
人類奴隸
Entity
例
Entity
and
Human
等於
Entity
and
entity
持有期間
TimePosition
and
擁有
Entity
and
entity
(=>
(
holdsDuring
?TIME
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7453-7458
持有期間
TimePosition
and
entity
lacks
entity
持有期間
TimePosition
and
擁有
entity
and
entity
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
例
AutonomousAgent
and
突擊兩棲動物單位
Object
例
Object
and
AAV
擁有
AutonomousAgent
and
Object
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
例
AutonomousAgent
and
砲兵電池
Object
例
Object
and
火砲
擁有
AutonomousAgent
and
Object
(=>
(
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
and
步兵部隊
Object
例
Object
and
自動槍
例
Object
and
火器
例
Object
and
迫擊砲
例
Object
and
爆炸性的礦井
擁有
AutonomousAgent
and
Object
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3323-3330
例
AutonomousAgent
and
Airline
Collection
Physical
例
Collection
and
Fleet
擁有
AutonomousAgent
and
Collection
例
Physical
and
飛機
會員
Physical
and
Collection
(=>
(
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
例
Physical
and
遊輪
有目的
Physical
and
entity
entity
and
entity
例
entity
and
RecreationOrExercise
擁有
entity
and
Physical
agent
entity
and
entity
entity
是
entity
的
customer
entity
是
located
在
Physical
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