Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
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
AutonomousAgent
and an
Object
when the
AutonomousAgent
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 4249-4252
(
documentation
possesses
JapaneseLanguage
"
Relation
は、
Agent
が
Object
の所有権を持つ 場合に
Agent
と
Object
の間に保持される 。")
japanese_format.kif 788-789
(
domain
possesses
1
AutonomousAgent
)
Merge.kif 4246-4246
Die Zahl 1 Argument von
besitzt
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
possesses
2
Object
)
Merge.kif 4247-4247
Die Zahl 2 Argument von
besitzt
ist ein
fall
von
Object
%n{nicht}
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4245-4245
besitzt
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
possesses
BinaryPredicate
)
Merge.kif 4244-4244
besitzt
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
(
format
FrenchLanguage
possesses
"%1 %n{ne} poss�de %n{pas} %2")
french_format.kif 105-105
(
format
ItalianLanguage
possesses
"%1 %n{non} possiede%p{es} %2")
relations-it.txt 224-224
(
format
JapaneseLanguage
possesses
"%1 は %2 を possess%p{es} %n{ない}")
japanese_format.kif 1934-1934
(
format
PortugueseLanguage
possesses
"%1 %n{nao} possui %n %2")
portuguese_format.kif 57-57
(
format
cz
possesses
"%1 %n{doesn't} posess%p{es} %2")
relations-cz.txt 135-135
(
format
de
possesses
"%1 besitzt %2 %n{nicht}")
relations-de.txt 212-212
(
format
hi
possesses
"%1 %2 kaa svaamii %n{nahiin} hai")
relations-hindi.txt 262-262
(
format
ro
possesses
"%1 %n{nu} posess%t{deþine} %2")
relations-ro.kif 124-124
(
format
sv
possesses
"%1 har %n{inte} %2")
relations-sv.txt 107-107
(
format
tg
possesses
"%1 %n ay mayroon %2")
relations-tg.txt 416-416
(
relatedInternalConcept
ChangeOfPossession
possesses
)
Merge.kif 11688-11688
ChangeOfPossession
ist innerlich verwandt mit
besitzt
%n{nicht}
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 23910-23910
financialAsset
ist eine
teilrelation
von
besitzt
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
ist eine
teilrelation
von
besitzt
(
termFormat
ChineseLanguage
possesses
"")
chinese_format.kif 172-172
(
termFormat
ChineseLanguage
possesses
"拥有")
domainEnglishFormat.kif 46804-46804
(
termFormat
ChineseTraditionalLanguage
possesses
"擁有")
domainEnglishFormat.kif 46803-46803
(
termFormat
EnglishLanguage
possesses
"possesses")
domainEnglishFormat.kif 46802-46802
(
termFormat
de
possesses
"besitzt")
terms-de.txt 66-66
antecedent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
CognitiveAgent
besitzt
FinancialAsset
%n{nicht} und
** FinancialAccount
ist gleich
AccountFn
** FinancialAsset
%n{nicht} genau dann wenn
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
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 2392-2407
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
Porter
ist ein
attribut
von
** ** CognitiveAgent
%n{nicht} und
** CognitiveAgent
besitzt
Object
%n{nicht} und
** Object
ist ein
fall
von
TravelContainer
%n{nicht},
dann es gibt
** Object
und
Process
um
** ** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** Process
ist ein
fall
von
Carrying
%n{nicht} und
** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** Process
endet an
** ** Object
%n{nicht} oder
** Process
beginnet an
** ** Object
%n{nicht}
(=>
(
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 841-862
Wenn
freeFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann
price
** Object
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
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
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
Wenn
freePropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann
price
** Process
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
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 4427-4444
Wenn
hasAccount
CognitiveAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
und
deviceAccount
** UserAccount
and
Computer
und
** CognitiveAgent
kennt
password
** ComputerPassword
and
** UserAccount
nicht und
** CognitiveAgent
kennt
recoveryKey
entity
and
** UserAccount
%n{nicht} und
** CognitiveAgent
besitzt
** Computer
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
ChangingPassword
%n{nicht} und
** UserAccount
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4258-4264
Wenn
entity
besitzt
Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** entity
besitzt
** ** Object
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3240-3250
Wenn
Object
ist ein
fall
von
AOCnumber
%n{nicht} und
CognitiveAgent
ist ein
fall
von
Airline
%n{nicht} und
** CognitiveAgent
besitzt
** Object
%n{nicht},
dann
FederalAviationAdministration
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
um
** entity
ist ein
fall
von
AirTransportationService
%n{nicht} und
serviceProvider
** entity
and
** CognitiveAgent
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
Wenn
Bond
ist ein
fall
von
Bond
%n{nicht} und
couponInterest
** Bond
and
Interest
und
** Bond
Holder besitzt
** Bond
%n{nicht},
dann es gibt
TimeDuration
und
Process
um
periodicPayment
AccountFn
** Bond
,
** Interest
and
** TimeDuration
und
** Process
endet an
** Bond
Holder %n{nicht}
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
Wenn
FinancialAccount
ist ein
fall
von
SecuredBond
%n{nicht} und
securedBy
** FinancialAccount
and
Collateral
und
AutonomousAgent
besitzt
** FinancialAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialDefault
%n{nicht} und
** FinancialAccount
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
besitzt
** Collateral
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7296-7301
Wenn
Object
ist ein
fall
von
FamilyBusiness
%n{nicht} und
Organism
besitzt
** Object
%n{nicht} und
** Organism
besitzt
** Object
%n{nicht},
dann
** Organism
und
** ** Organism
sind
verwandt
(=>
(
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 11693-11700
Wenn
Process
ist ein
fall
von
ChangeOfPossession
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** entity
besitzt
** Entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** entity
besitzt
** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** entity
ist gleich
** ** entity
nicht
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
Wenn
BankCard
ist ein
fall
von
CreditCard
%n{nicht} und
CognitiveAgent
besitzt
** BankCard
%n{nicht},
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
CreditCardAccount
%n{nicht} und
cardAccount
** BankCard
and
** FinancialAccount
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
Wenn
BankCard
ist ein
fall
von
DebitCard
%n{nicht} und
AutonomousAgent
besitzt
** BankCard
%n{nicht} und
Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** BankCard
ist ein
instrument
fuer
** Process
%n{nicht},
dann es gibt
SymbolicString
und
** Process
um
pin
** SymbolicString
and
** BankCard
und
** ** Process
ist ein
fall
von
EnteringAPin
%n{nicht} und
** SymbolicString
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
Wenn
BankCard
ist ein
fall
von
DebitCard
%n{nicht} und
CognitiveAgent
besitzt
** BankCard
%n{nicht},
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
DepositAccount
%n{nicht} und
cardAccount
** BankCard
and
** FinancialAccount
und
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 16541-16549
Wenn
Object
ist ein
fall
von
AcademicDegree
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann es gibt
Proposition
und
Process
um
** Proposition
ist ein
fall
von
EducationalProgram
%n{nicht} und
** Process
druekt den Inhalt von
** Proposition
aus und
** AutonomousAgent
erfaehrt
** Process
%n{nicht}
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25215-25222
Wenn
Entity
ist ein
fall
von
FaxMachine
%n{nicht} und
deviceTelecomNumber
** entity
and
** Entity
und
** entity
besitzt
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
faxNumber
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25064-25071
Wenn
Entity
ist ein
fall
von
Telephone
%n{nicht} und
** entity
besitzt
** Entity
%n{nicht} und
deviceTelecomNumber
** entity
and
** Entity
haelt
waehrend
TimePosition
%n{nicht},
dann
telephoneNumber
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3521-3526
Wenn
Collection
ist ein
fall
von
Fleet
%n{nicht} und
fleetSize
AutonomousAgent
and
Integer
und
** AutonomousAgent
besitzt
** Collection
%n{nicht},
dann
memberCount
** Collection
and
** Integer
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
Wenn
Object
ist ein
fall
von
InternalShipRegister
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht}
(=>
(
and
(
instance
?ITEM
Object
)
(
instance
?LISTING
WebListing
)
(
instance
?OWNER
AutonomousAgent
)
(
attribute
?LISTING
ForSaleByOwner
)
(
possesses
?OWNER ?ITEM))
(
instance
?OWNER
Human
))
UXExperimentalTerms.kif 381-388
Wenn
Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist ein
fall
von
WebListing
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
ForSaleByOwner
ist ein
attribut
von
** ** Object
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht}
(=>
(
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 16909-16920
Wenn
Object
ist ein
fall
von
DriversLicense
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
confersNorm
** Object
, es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Driving
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
RoadVehicle
%n{nicht} and
Permission
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
Wenn
Object
ist ein
fall
von
NationalShipRegister
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht}
(=>
(
and
(
instance
?OFFSHORE
OffshoreShipRegister
)
(
possesses
?AREA ?OFFSHORE))
(
instance
?AREA
Nation
))
Transportation.kif 1192-1196
Wenn
Object
ist ein
fall
von
OffshoreShipRegister
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht}
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16609-16616
Wenn
Object
ist ein
fall
von
PassCertificate
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann es gibt
entity
um
confersNorm
** Object
,
** AutonomousAgent
befindet
sich an %n{nicht} and
Permission
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
AutonomousAgent
)
(
possesses
?SITE_OWNER ?SITE)
(
possesses
?SITE_OWNER ?DATABASE)
(
part
?ACCT ?DATABASE))))
UXExperimentalTerms.kif 632-640
Wenn
accountAtSite
UserAccount
and
WebSite
,
dann es gibt
Object
und
** WebSite
_OWNER um
** Object
ist ein
fall
von
Database
%n{nicht} und
** WebSite
_OWNER ist ein
fall
von
AutonomousAgent
%n{nicht} und
** WebSite
_OWNER besitzt
** WebSite
%n{nicht} und
** WebSite
_OWNER besitzt
** Object
%n{nicht} und
** UserAccount
ist ein
teil
von
** Object
%n{nicht}
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29558-29570
Wenn
Collectible
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann es gibt
CognitiveAgent
und
** Formula
2 um
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
wuenscht
** Object
%n{nicht} und
** CognitiveAgent
wuenscht
** Formula
2 %n{nicht} und
** Formula
2 hat
** CognitiveAgent
besitzt
** Object
%n{nicht} zur Folge %n{nicht} und
** Formula
ist gleich
** Formula
2 nicht
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
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 20628-20650
Wenn
Waiter
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** ** CognitiveAgent
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
Table
%n{nicht},
dann es gibt
** Object
,
entity
,, ,
** entity
, and und
** Object
um
** AutonomousAgent
besitzt
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
KitchenArea
%n{nicht} und
** ** Object
ist ein
fall
von
DiningArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** CognitiveAgent
hat Zweck von
** entity
ist ein
fall
von
Carrying
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** ** Object
%n{nicht} und
** entity
endet an
** Object
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} %n{nicht}
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4258-4264
Wenn
entity
besitzt
Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** entity
besitzt
** ** Object
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
MerchantMarineFn
** GeopoliticalArea
ist ein
fall
von
MerchantMarine
%n{nicht},
dann
** GeopoliticalArea
besitzt
MerchantMarineFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ShipRegisterFn
** GeopoliticalArea
ist ein
fall
von
ShipRegister
%n{nicht},
dann
** GeopoliticalArea
besitzt
ShipRegisterFn
** GeopoliticalArea
%n{nicht}
(=>
(
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 18706-18722
Wenn
Transfer
ist ein
fall
von
Bequeathing
%n{nicht} und
** Transfer
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Transfer
endet an
Entity
%n{nicht} und
objectTransferred
** Transfer
and
** AutonomousAgent
ROP,
dann es gibt
Process
um
** Process
ist ein
fall
von
Death
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht frueh als die
zeit
des Bestehens von
** Transfer
%n{nicht} und
** AutonomousAgent
besitzt
** AutonomousAgent
ROP %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
confersNorm
** AutonomousAgent
,
** Entity
besitzt
** AutonomousAgent
ROP %n{nicht} and
Permission
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
Wenn
FinancialAccount
ist ein
fall
von
SecuredBond
%n{nicht} und
securedBy
** FinancialAccount
and
Collateral
und
AutonomousAgent
besitzt
** FinancialAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialDefault
%n{nicht} und
** FinancialAccount
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
besitzt
** Collateral
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11702-11712
Wenn
Process
ist ein
fall
von
ChangeOfPossession
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** Process
endet an
Entity
%n{nicht} und
** Object
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Object
besitzt
** ** Entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
besitzt
** ** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
Wenn
Process
ist ein
fall
von
PreciseDestruction
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
Object
um
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
HighPrecisionWeapon
%n{nicht}
(=>
(
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 18648-18666
Wenn
Process
ist ein
fall
von
Inheriting
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
beginnet an
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Death
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht frueh als die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
besitzt
** Entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von
** CognitiveAgent
besitzt
** Entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
lender
** Loan
and
CognitiveAgent
und
Process
ist ein
fall
von
FinancialDefault
%n{nicht} und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann
** CognitiveAgent
besitzt
** Collateral
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 ?OBJ)
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
AirTransportationIndustry
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** CognitiveAgent
LANE, and und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} oder
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** Collection
besitzt
** CognitiveAgent
LANE %n{nicht} und
** CognitiveAgent
LANE ist ein
fall
von
Aircraft
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
CouriersAndMessengers
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
und
Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** Entity
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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 ?OBJ ?PIPE)
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PipelineTransportation
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** entity
,, ,
** entity
, and und
** CognitiveAgent
IPE um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Substance
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** CognitiveAgent
IPE ist ein
instrument
fuer
** entity
%n{nicht} und
** CognitiveAgent
IPE ist ein
fall
von
Pipeline
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PostalService
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
und
Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** Entity
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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 ?OBJ)
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
RailTransportation
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} oder
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
RailVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
ScenicAndSightseeingTransportation
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Vehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TransitAndGroundPassengerTransportation
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
LandVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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 ?OBJ)
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TruckTransportation
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
LandVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WarehousingAndStorage
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
und
Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** entity
ist ein
fall
von
Building
%n{nicht} und
** CognitiveAgent
besitzt
** Entity
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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 ?OBJ)
(
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WaterTransportationIndustry
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} oder
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
WaterVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 12938-12943
Wenn
Process
ist ein
fall
von
Pursuing
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
besitzt
** Entity
nicht haelt
waehrend
** Process
%n{nicht}
(=>
(
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 23885-23902
Wenn
Process
ist ein
fall
von
Saving
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
RealNumber
,
** RealNumber
, and und
Entity
um
** Entity
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
wert
von
** Object
ist
** RealNumber
** Entity
(s) haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
wert
von
** Object
ist
** ** RealNumber
** Entity
(s) haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** RealNumber
ist
kleinerAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Ship
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
MerchantMarineFn
** GeopoliticalArea
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
ShipRegistration
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
ShipRegisterFn
** GeopoliticalArea
fasst
das Inhalt von
** Object
zusammen
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