Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
possesses
Sigma KEE - possesses
possesses
appearance as argument number 1
(
documentation
possesses
ChineseLanguage
"这是一个属于一个
Agent
和一个
Object
的
Relation
,当这个
Agent
拥有这个
Object
时,这段关系就成立了。 ")
chinese_format.kif 2133-2134
(
documentation
possesses
EnglishLanguage
"
Relation
that holds between an
Agent
and an
Object
when the
Agent
has ownership of the
Object
. Note that this is distinct from having the right to use or be located at a particular object, for example, by
Renting
.")
Merge.kif 4158-4161
(
domain
possesses
1
Agent
)
Merge.kif 4155-4155
domain
possesses
, 1 and
Agent
(
domain
possesses
2
Object
)
Merge.kif 4156-4156
domain
possesses
, 2 and
Object
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4154-4154
instance
possesses
and
AsymmetricRelation
(
instance
possesses
BinaryPredicate
)
Merge.kif 4153-4153
instance
possesses
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
possesses
"%1 %n{doesn't}
possesses
%2")
chinese_format.kif 171-171
(
format
EnglishLanguage
possesses
"%1 %n{doesn't} possess%p{es} %2")
english_format.kif 172-172
(
relatedInternalConcept
ChangeOfPossession
possesses
)
Merge.kif 11475-11475
relatedInternalConcept
ChangeOfPossession
and
possesses
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 23293-23293
subrelation
financialAsset
and
possesses
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2073-2073
subrelation
hasAccount
and
possesses
(
termFormat
ChineseLanguage
possesses
"")
chinese_format.kif 172-172
(
termFormat
ChineseLanguage
possesses
"拥有")
domainEnglishFormat.kif 46785-46785
(
termFormat
ChineseTraditionalLanguage
possesses
"擁有")
domainEnglishFormat.kif 46784-46784
(
termFormat
EnglishLanguage
possesses
"possesses")
domainEnglishFormat.kif 46783-46783
antecedent
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2365-2380
customer
CognitiveAgent
and
CognitiveAgent
employs
CognitiveAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
TravelerAccommodation
attribute
CognitiveAgent
and
Porter
possesses
CognitiveAgent
and
Object
instance
Object
and
TravelContainer
Object
Process
instance
Object
and
HotelUnit
instance
Process
and
Carrying
agent
Process
and
CognitiveAgent
destination
Process
and
Object
origin
Process
and
Object
(=>
(
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
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 820-841
freeFunctionRoomAmenity
HotelFunctionRoom
and
Class
instance
Entity
and
HotelFunctionRoom
element
Entity
and
PropertyFn
CognitiveAgent
instance
Process
and
Renting
patient
Process
and
Entity
destination
Process
and
CognitiveAgent
instance
Agent
and
Class
possesses
CognitiveAgent
and
Agent
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
0 and
UnitedStatesDollar
and
CognitiveAgent
(=>
(
and
(
freePropertyAmenity
?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
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 526-541
freePropertyAmenity
CognitiveAgent
and
Class
instance
Agent
and
Class
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
0 and
UnitedStatesDollar
and
CognitiveAgent
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4390-4407
hasAccount
CognitiveAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
knows
CognitiveAgent
and
password
ComputerPassword
and
UserAccount
knows
CognitiveAgent
and
recoveryKey
entity
and
UserAccount
possesses
CognitiveAgent
and
Computer
modalAttribute
entity
instance
entity
and
ChangingPassword
patient
entity
and
UserAccount
agent
entity
and
CognitiveAgent
and
Possibility
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4167-4173
holdsDuring
TimePosition
and
possesses
entity
and
Object
part
Object
and
Object
holdsDuring
TimePosition
and
possesses
entity
and
Object
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3195-3205
instance
Object
and
AOCnumber
instance
CognitiveAgent
and
Airline
possesses
CognitiveAgent
and
Object
confersRight
entity
instance
entity
and
AirTransportationService
serviceProvider
entity
and
CognitiveAgent
,
FederalAviationAdministration
and
CognitiveAgent
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 6929-6934
instance
Object
and
FamilyBusiness
possesses
Organism
and
Object
possesses
Organism
and
Object
familyRelation
Organism
and
Organism
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11480-11487
instance
Process
and
ChangeOfPossession
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
possesses
entity
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
possesses
entity
and
Entity
equal
entity
and
entity
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
instance
BankCard
and
CreditCard
possesses
CognitiveAgent
and
BankCard
FinancialAccount
instance
FinancialAccount
and
CreditCardAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
CognitiveAgent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
instance
BankCard
and
DebitCard
possesses
CognitiveAgent
and
BankCard
FinancialAccount
instance
FinancialAccount
and
DepositAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
CognitiveAgent
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 15934-15942
instance
Object
and
AcademicDegree
possesses
Agent
and
Object
Proposition
Process
instance
Proposition
and
EducationalProgram
realization
Process
and
Proposition
experiencer
Process
and
Agent
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 24490-24497
instance
Entity
and
FaxMachine
holdsDuring
TimePosition
and
deviceTelecomNumber
entity
and
Entity
possesses
entity
and
Entity
holdsDuring
TimePosition
and
faxNumber
entity
and
entity
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 24356-24363
instance
Entity
and
Telephone
holdsDuring
TimePosition
and
possesses
entity
and
Entity
deviceTelecomNumber
entity
and
Entity
holdsDuring
TimePosition
and
telephoneNumber
entity
and
entity
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3480-3485
instance
Collection
and
Fleet
fleetSize
Agent
and
Integer
possesses
Agent
and
Collection
memberCount
Collection
and
Integer
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
instance
Object
and
InternalShipRegister
possesses
Agent
and
Object
instance
Agent
and
Nation
(=>
(
and
(
instance
?ITEM
Object
)
(
instance
?LISTING
WebListing
)
(
instance
?OWNER
Agent
)
(
attribute
?LISTING
ForSaleByOwner
)
(
possesses
?OWNER ?ITEM))
(
instance
?OWNER
Human
))
UXExperimentalTerms.kif 472-479
instance
Object
and
Object
instance
Object
and
WebListing
instance
Agent
and
Agent
attribute
Object
and
ForSaleByOwner
possesses
Agent
and
Object
instance
Agent
and
Human
(=>
(
and
(
instance
?L
DriversLicense
)
(
possesses
?A ?L))
(
confersNorm
?L
(
exists
(?D ?V)
(
and
(
instance
?D
Driving
)
(
agent
?D ?A)
(
patient
?D ?V)
(
instance
?V
RoadVehicle
)))
Permission
))
Mid-level-ontology.kif 16301-16312
instance
Object
and
DriversLicense
possesses
Agent
and
Object
confersNorm
Object
,
entity
entity
instance
entity
and
Driving
agent
entity
and
Agent
patient
entity
and
entity
instance
entity
and
RoadVehicle
and
Permission
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
instance
Object
and
NationalShipRegister
possesses
Agent
and
Object
instance
Agent
and
Nation
(=>
(
and
(
instance
?OFFSHORE
OffshoreShipRegister
)
(
possesses
?AREA ?OFFSHORE))
(
instance
?AREA
Nation
))
Transportation.kif 1192-1196
instance
Object
and
OffshoreShipRegister
possesses
Agent
and
Object
instance
Agent
and
Nation
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16002-16009
instance
Object
and
PassCertificate
possesses
Agent
and
Object
entity
confersNorm
Object
,
located
Agent
and
entity
and
Permission
(=>
(
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 15981-15995
instance
Object
and
Passport
possesses
Agent
and
Object
confersNorm
Object
,
entity
entity
and
entity
instance
entity
and
Translocation
agent
entity
and
Agent
origin
entity
and
entity
destination
entity
and
entity
instance
entity
and
Nation
instance
entity
and
Nation
equal
entity
and
entity
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
instance
Object
and
ShipRegistration
instance
Agent
and
Ship
possesses
Agent
and
Object
instance
GeopoliticalArea
and
GeopoliticalArea
flagState
Agent
and
GeopoliticalArea
subsumesContentInstance
ShipRegisterFn
GeopoliticalArea
and
Object
(=>
(
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)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1180-1199
instance
CognitiveAgent
and
Restaurant
instance
Object
and
DiningRoom
attribute
Object
and
PrivateAttribute
possesses
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Process
and
Eating
agent
Process
and
CognitiveAgent
instance
CognitiveAgent
and
GroupOfPeople
modalAttribute
entity
customer
entity
and
CognitiveAgent
equal
CognitiveAgent
and
entity
instance
entity
and
Eating
agent
entity
and
entity
holdsDuring
WhenFn
Process
and
eventLocated
entity
and
Object
and
Likely
(=>
(
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
instance
Agent
and
Ticket
possesses
Agent
and
Object
issuedBy
Agent
and
CognitiveAgent
attribute
CognitiveAgent
and
AmusementGamblingAndRecreationIndustries
located
CognitiveAgent
and
Object
confersNorm
CognitiveAgent
,
entity
instance
entity
and
RecreationOrExercise
experiencer
entity
and
Object
eventLocated
entity
and
Object
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4175-4180
instance
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
possesses
entity
and
entity
holdsDuring
TimePosition
and
possesses
entity
and
entity
equal
entity
and
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
accountAtSite
?ACCT ?SITE)
(
exists
(?DATABASE ?SITE_OWNER)
(
and
(
instance
?DATABASE
Database
)
(
instance
?SITE_OWNER
Agent
)
(
possesses
?SITE_OWNER ?SITE)
(
possesses
?SITE_OWNER ?DATABASE)
(
part
?ACCT ?DATABASE))))
UXExperimentalTerms.kif 784-792
accountAtSite
UserAccount
and
WebSite
Object
WebSite
_OWNER
instance
Object
and
Database
instance
WebSite
_OWNER and
Agent
possesses
WebSite
_OWNER and
WebSite
possesses
WebSite
_OWNER and
Object
part
UserAccount
and
Object
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 28895-28907
attribute
Object
and
Collectible
hasPurpose
Object
and
Formula
CognitiveAgent
instance
CognitiveAgent
and
Human
wants
CognitiveAgent
and
Object
desires
CognitiveAgent
and
Formula
entails
Formula
and
possesses
CognitiveAgent
and
Object
equal
Formula
and
Formula
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))))))
Mid-level-ontology.kif 19919-19940
attribute
CognitiveAgent
and
Waiter
instance
CognitiveAgent
and
Human
employs
CognitiveAgent
and
CognitiveAgent
instance
CognitiveAgent
and
Restaurant
customer
CognitiveAgent
and
CognitiveAgent
located
CognitiveAgent
and
Object
instance
Object
and
Table
possesses
CognitiveAgent
and
Object
instance
Object
and
KitchenArea
instance
Object
and
DiningArea
located
Object
and
Object
hasPurpose
CognitiveAgent
and
instance
entity
and
Carrying
agent
entity
and
CognitiveAgent
origin
entity
and
Object
destination
entity
and
Object
patient
entity
and
entity
instance
entity
and
FoodForFn
Human
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4167-4173
holdsDuring
TimePosition
and
possesses
entity
and
Object
part
Object
and
Object
holdsDuring
TimePosition
and
possesses
entity
and
Object
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
instance
GeopoliticalArea
and
GeopoliticalArea
instance
MerchantMarineFn
GeopoliticalArea
and
MerchantMarine
possesses
GeopoliticalArea
and
MerchantMarineFn
GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
instance
GeopoliticalArea
and
GeopoliticalArea
instance
ShipRegisterFn
GeopoliticalArea
and
ShipRegister
possesses
GeopoliticalArea
and
ShipRegisterFn
GeopoliticalArea
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18030-18046
instance
Transfer
and
Bequeathing
agent
Transfer
and
Agent
destination
Transfer
and
Entity
objectTransferred
Transfer
and
Agent
ROP
Process
instance
Process
and
Death
experiencer
Process
and
Agent
earlier
WhenFn
Process
and
WhenFn
Transfer
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
Agent
and
Agent
ROP
confersNorm
Agent
,
possesses
Entity
and
Agent
ROP and
Permission
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
Agent
)
(
instance
?AGENT2
Agent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11489-11499
instance
Process
and
ChangeOfPossession
origin
Process
and
Object
destination
Process
and
Entity
instance
Object
and
Agent
instance
Entity
and
Agent
patient
Process
and
Entity
holdsDuring
BeginFn
WhenFn
Process
and
possesses
Object
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
possesses
Entity
and
Entity
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
instance
Process
and
PreciseDestruction
agent
Process
and
Agent
Object
possesses
Agent
and
Object
instrument
Process
and
Object
instance
Object
and
HighPrecisionWeapon
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 17972-17990
instance
Process
and
Inheriting
agent
Process
and
CognitiveAgent
origin
Process
and
Agent
patient
Process
and
Entity
Process
instance
Process
and
Death
experiencer
Process
and
Agent
earlier
WhenFn
Process
and
WhenFn
Process
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
Agent
and
Entity
confersRight
possesses
CognitiveAgent
and
Entity
,
Agent
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
instance
Collection
and
Organization
attribute
Collection
and
AirTransportationIndustry
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
CognitiveAgent
LANE
instance
entity
and
Transportation
patient
entity
and
CognitiveAgent
possesses
CognitiveAgent
and
entity
patient
entity
and
entity
instance
entity
and
Object
possesses
Collection
and
CognitiveAgent
LANE
instance
CognitiveAgent
LANE and
Aircraft
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
instance
Collection
and
Organization
attribute
Collection
and
CouriersAndMessengers
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
Entity
instance
Agent
and
Selling
instance
Entity
and
Object
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
instance
entity
and
Transportation
possesses
CognitiveAgent
and
Entity
patient
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
instance
Collection
and
Organization
attribute
Collection
and
PipelineTransportation
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
possesses
CognitiveAgent
and
entity
patient
entity
and
entity
instance
entity
and
Substance
possesses
Collection
and
entity
instrument
entity
and
CognitiveAgent
IPE
instance
CognitiveAgent
IPE and
Pipeline
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PostalService
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8707-8727
instance
Collection
and
Organization
attribute
Collection
and
PostalService
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
Entity
instance
Agent
and
Selling
instance
Entity
and
Object
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
instance
entity
and
Transportation
possesses
CognitiveAgent
and
Entity
patient
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
instance
Collection
and
Organization
attribute
Collection
and
RailTransportation
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
patient
entity
and
CognitiveAgent
possesses
CognitiveAgent
and
entity
patient
entity
and
entity
instance
entity
and
Object
possesses
Collection
and
entity
instance
entity
and
RailVehicle
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
instance
Collection
and
Organization
attribute
Collection
and
ScenicAndSightseeingTransportation
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
instance
entity
and
RecreationOrExercise
patient
entity
and
CognitiveAgent
possesses
Collection
and
entity
instance
entity
and
Vehicle
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
instance
Collection
and
Organization
attribute
Collection
and
TransitAndGroundPassengerTransportation
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
patient
entity
and
CognitiveAgent
possesses
Collection
and
entity
instance
entity
and
LandVehicle
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
instance
Collection
and
Organization
attribute
Collection
and
TruckTransportation
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
possesses
CognitiveAgent
and
entity
patient
entity
and
entity
instance
entity
and
Object
possesses
Collection
and
entity
instance
entity
and
LandVehicle
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
instance
Collection
and
Organization
attribute
Collection
and
WarehousingAndStorage
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
Entity
instance
Agent
and
Selling
instance
Entity
and
Object
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
TimeInterval
instance
entity
and
Building
possesses
CognitiveAgent
and
Entity
holdsDuring
entity
and
located
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
instance
Collection
and
Organization
attribute
Collection
and
WaterTransportationIndustry
Agent
Process
member
Process
and
Collection
agent
Process
and
Agent
CognitiveAgent
instance
Agent
and
Selling
instance
CognitiveAgent
and
Human
patient
Agent
and
CognitiveAgent
confersRight
entity
entity
instance
entity
and
Transportation
patient
entity
and
CognitiveAgent
possesses
CognitiveAgent
and
entity
patient
entity
and
entity
instance
entity
and
Object
possesses
Collection
and
entity
instance
entity
and
WaterVehicle
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 12650-12655
instance
Process
and
Pursuing
agent
Process
and
Agent
patient
Process
and
Entity
holdsDuring
Process
and
possesses
Agent
and
Entity
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23268-23285
instance
Process
and
Saving
patient
Process
and
Object
agent
Process
and
Agent
RealNumber
RealNumber
and
Entity
instance
Entity
and
UnitOfCurrency
holdsDuring
BeginFn
WhenFn
Process
and
monetaryValue
Object
and
MeasureFn
RealNumber
and
Entity
holdsDuring
EndFn
WhenFn
Process
and
monetaryValue
Object
and
MeasureFn
RealNumber
and
Entity
possesses
Agent
and
Object
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
instance
Agent
and
Ship
instance
GeopoliticalArea
and
GeopoliticalArea
member
Agent
and
MerchantMarineFn
GeopoliticalArea
Object
instance
Object
and
ShipRegistration
possesses
Agent
and
Object
subsumesContentInstance
ShipRegisterFn
GeopoliticalArea
and
Object
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 17677-17687
instance
Process
and
Trespassing
agent
Process
and
Agent
patient
Process
and
Object
possesses
Agent
and
Object
modalAttribute
located
Agent
and
Object
and
Illegal
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6531-6535
instance
PermanentResidence
and
ApartmentUnit
Human
の
home
は
PermanentResidence
では %n
possesses
Human
and
PermanentResidence
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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