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
capability
Sigma KEE - capability
capability
appearance as argument number 1
(
documentation
capability
ChineseLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的
Process
担任 ?ROLE 的本分。")
chinese_format.kif 2086-2087
(
documentation
capability
EnglishLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in
Process
es of type ?PROCESS.")
Merge.kif 3906-3908
(
documentation
capability
JapaneseLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) とは、?OBJ が、タイプ ?PROCESS の
Process
es で ?ROLE の役割を果たす能力を持っている、という意味である。")
japanese_format.kif 734-735
(
domain
capability
2
CaseRole
)
Merge.kif 3903-3903
Die Zahl 2 Argument von
faehigkeit
ist ein
fall
von
CaseRole
%n{nicht}
(
domain
capability
3
Object
)
Merge.kif 3904-3904
Die Zahl 3 Argument von
faehigkeit
ist ein
fall
von
Object
%n{nicht}
(
domainSubclass
capability
1
Process
)
Merge.kif 3902-3902
Die Zahl 1 Argument von
faehigkeit
ist eine
teilkategorie
von
Process
%n{nicht}
(
instance
capability
TernaryPredicate
)
Merge.kif 3901-3901
faehigkeit
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
capability
"%3 %n 能够担当 %2 的角色做 %1")
chinese_format.kif 67-67
(
format
EnglishLanguage
capability
"%3 is %n capable of doing %1 as a %2")
english_format.kif 67-67
(
format
FrenchLanguage
capability
"%3 est %n capable de faire %1 dans le r�le %2")
french_format.kif 59-59
(
format
ItalianLanguage
capability
"%3 è %n capace di fare %1 nel ruolo %2")
relations-it.txt 40-40
(
format
JapaneseLanguage
capability
"%3 は %1 を %2 として行う capable では %n")
japanese_format.kif 1882-1882
(
format
PortugueseLanguage
capability
"%3 e' %n capaz de fazer %1 no role %2")
portuguese_format.kif 11-11
(
format
cb
capability
"%n kaya %1 himuon %2")
relations-cb.txt 74-74
(
format
cz
capability
"%3 %p{je} %n{nen�} capable to do %1 in role %2")
relations-cz.txt 118-118
(
format
de
capability
"%3 ist faehig %n{nicht}, in der Rolle %2 %1 zu tun")
relations-de.txt 74-74
(
format
hi
capability
"%3 %1 ko %2 kii bhuumikaa men karane ke lie sakshama %n hai")
relations-hindi.txt 82-82
(
format
ro
capability
"%3 %n{nu} este capable%t{capabil} sã facã %1 în rolul de %2")
relations-ro.kif 78-78
(
format
sv
capability
"%3 är %n{inte} kapabel till att %1 rollen %2")
relations-sv.txt 58-58
(
format
tg
capability
"%n kaya %1 gawin %2")
relations-tg.txt 96-96
(
termFormat
ChineseLanguage
capability
"能力")
domainEnglishFormat.kif 13020-13020
(
termFormat
ChineseLanguage
capability
"能够")
chinese_format.kif 68-68
(
termFormat
ChineseTraditionalLanguage
capability
"能力")
domainEnglishFormat.kif 13019-13019
(
termFormat
EnglishLanguage
capability
"capability")
domainEnglishFormat.kif 13018-13018
(
termFormat
de
capability
"faehigkeit")
terms-de.txt 19-19
(
termFormat
tg
capability
"may katako")
relations-tg.txt 97-97
antecedent
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Wenn
Muslim
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
agent
Hajj
zu tun,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Hajj
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
Wenn
TravelerAccommodation
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
RoomCleaningService
zu tun,
dann es gibt
CognitiveAgent
und
Object
um
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Maid
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** Object
ist ein
teil
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
RoomCleaningService
zu tun und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
serviceProvider
RoomCleaningService
zu tun
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
Wenn
Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun und
** Process
ist eine
teilkategorie
von
Shooting
,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Weapon
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun und
customer
CognitiveAgent
and
** Organization
und
** Organization
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Arriving
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
Object
%n{nicht},
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
und die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
ValetParking
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ParkingRegion
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
Wenn
Object
ist ein
fall
von
PortFacility
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
ShipBerthing
zu tun,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Harbor
%n{nicht} und
** ** Object
wird an
** Object
angeschlossen und
** ** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Experimenting
und
Physical
wenn es gibt
** Process
um
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** Physical
ist ein
fall
von
Process
%n{nicht} und
** Physical
ist ein
Mitglied
von
QualifyingEventsFn
** Experimenting
%n{nicht} und
** Physical
ist ein
fall
von
** Process
%n{nicht} und
** Human
ist faehig %n{nicht}, in der Rolle
experiencer
** ** Process
zu tun,
dann
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht}
und
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** ** Physical
ist ein
fall
von
Process
%n{nicht} und es gibt
** Experimenting
und
** ** Physical
ESS um
** ** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** ** Physical
ist ein
Mitglied
von
QualifyingEventsFn
** ** Experimenting
%n{nicht} und
** ** Physical
ist ein
fall
von
** ** Physical
ESS %n{nicht} und
** Human
ist faehig %n{nicht}, in der Rolle
experiencer
** ** Physical
ESS zu tun
,
dann
QualifiedTreatmentsFn
** Human
ist gleich
** Collection
%n{nicht}
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
Wenn
orthogonalTests
Collection
and
** Collection
und
Object
ist ein
fall
von
Human
%n{nicht} und
Physical
ist ein
fall
von
** Process
%n{nicht} und
** Process
ist eine
teilkategorie
von
Experimenting
und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
experimentalSubject
** ** Process
zu tun,
dann es gibt
** Physical
und
** ** Process
um
** ** Physical
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Physical
ist ein
Mitglied
von
** ** Collection
%n{nicht} und
** ** ** Process
ist eine
teilkategorie
von
Experimenting
und
** Object
ist faehig %n{nicht}, in der Rolle
experimentalSubject
** ** ** Process
zu tun
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
Wenn
ExclusiveMaleSuffrage
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht} und
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann
Male
ist ein
attribut
von
** Human
%n{nicht}
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
Wenn
suffrageAgeMaximum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun und das
alter
von
** Object
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
Wenn
suffrageAgeMaximum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann es gibt
** RealNumber
um das
alter
von
** Object
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
Wenn
suffrageAgeMinimum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun und das
alter
von
** Object
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
Wenn
suffrageAgeMinimum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann es gibt
** RealNumber
um das
alter
von
** Object
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
Wenn
weaponCarryingCapability
MilitaryVehicle
,
** Weapon
and
PositiveInteger
und
Object
ist ein
fall
von
** Weapon
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun und
** Process
ist eine
teilkategorie
von
Shooting
oder
** ** Process
ist eine
teilkategorie
von
Damaging
,
dann
** MilitaryVehicle
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
Wenn
Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
** Process
%n{nicht} und
** CaseRole
** entity
and
** Object
hat die modale Kraft von
Possibility
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11191-11196
Wenn
CorpuscularObject
ist faehig %n{nicht}, in der Rolle
experiencer
Breathing
zu tun,
dann es gibt
** CorpuscularObject
um
** ** CorpuscularObject
ist ein
bestandteil
von
** CorpuscularObject
%n{nicht} und
** ** CorpuscularObject
ist ein
fall
von
Lung
%n{nicht}
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
Wenn
AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
ChildCareService
zu tun,
dann es gibt
CognitiveAgent
um
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
serviceProvider
ChildCareService
zu tun
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun,
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
Wenn
trusts
CognitiveAgent
,
AutonomousAgent
and
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
entity
zu tun,
dann
** CognitiveAgent
kennt
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** entity
zu tun %n{nicht}
consequent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} genau dann wenn
** entity
ist faehig %n{nicht}, in der Rolle
agent
LegalAction
zu tun oder
** entity
ist faehig %n{nicht}, in der Rolle
patient
LegalAction
zu tun haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
Wenn
activityCapability
AutonomousAgent
and
** Process
,
dann es gibt
Object
um
** Object
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
befindetSich
** Process
zu tun
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Process
ist ein
fall
von
Extension
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Process
%n{nicht} und
moves
Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Mammal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Flexion
zu tun
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Motion
ist ein
fall
von
Flexion
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Motion
%n{nicht} und
moves
** Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Mammal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Extension
zu tun
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
Wenn
TravelerAccommodation
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
RoomCleaningService
zu tun,
dann es gibt
CognitiveAgent
und
Object
um
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Maid
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** Object
ist ein
teil
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
RoomCleaningService
zu tun und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
serviceProvider
RoomCleaningService
zu tun
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
Wenn
Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun und
** Process
ist eine
teilkategorie
von
Shooting
,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Weapon
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerInputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
origin
DataTransfer
))
ComputingBrands.kif 3552-3557
Wenn
connectedPeripheral
ComputerHardware
and
Computer
und
** ComputerHardware
ist ein
fall
von
ComputerInputDevice
%n{nicht} und
** ComputerHardware
ist ein
fall
von
** Computer
LASS %n{nicht},
dann
DataTransfer
ist faehig %n{nicht}, in der Rolle
origin
** Computer
LASS zu tun
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerOutputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
destination
DataTransfer
))
ComputingBrands.kif 3545-3550
Wenn
connectedPeripheral
ComputerHardware
and
Computer
und
** ComputerHardware
ist ein
fall
von
ComputerOutputDevice
%n{nicht} und
** ComputerHardware
ist ein
fall
von
** Computer
LASS %n{nicht},
dann
DataTransfer
ist faehig %n{nicht}, in der Rolle
bestimmungsort
** Computer
LASS zu tun
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
Wenn
Certificate
ist ein
fall
von
CallableBond
%n{nicht} und
issuedBy
** Certificate
and
CognitiveAgent
,
dann
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
agent
Call
zu tun
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
Wenn
ComputerProcess
ist ein
fall
von
ComputerBackingUp
%n{nicht} und
dataProcessed
** ComputerProcess
and
DigitalData
und
** DigitalData
ist ein
fall
von
DigitalData
%n{nicht} und
** ComputerProcess
ist der
agent
von
CognitiveAgent
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
um die
zeit
des Bestehens von
** ComputerProcess
geschieht frueh als
** entity
%n{nicht} und es gibt
** entity
um
** ** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** DigitalData
ist faehig %n{nicht}, in der Rolle
dataProcessed
** ** entity
zu tun haelt
waehrend
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
Wenn
Process
ist ein
fall
von
DeliveryService
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
DeliveryService
zu tun
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Set
ist ein
fall
von
Set
%n{nicht} und
** Set
ist ein
patient
von
** Process
%n{nicht} und
Entity
ist ein
element
von
** Set
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass es gibt
** entity
um
** Entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von
IntentionalProcess
und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** entity
zu tun
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Wenn
Attribute
ist ein
fall
von
LifeThreateningDisease
%n{nicht} und
** Attribute
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
experiencer
Death
zu tun
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Wenn
Device
ist ein
fall
von
Gun
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
effectiveRange
** Device
and
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Device
und
Object
ist
** RealNumber
1
** UnitOfMeasure
(s) und
** Object
ist ein
fall
von
Organism
%n{nicht} und es gibt nicht
** Object
2 um
** Object
2 ist
zwischen
** Object
und
** Device
%n{nicht} und
** RealNumber
1 ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
SymbolicString
um
** Device
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
** SymbolicString
beschreibt zu tun
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Wenn
Device
ist ein
fall
von
Gun
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
effectiveRange
** Device
and
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Device
und
Object
ist
** RealNumber
1
** UnitOfMeasure
(s) und es gibt nicht
** Object
2 um
** Object
2 ist
zwischen
** Object
und
** Device
%n{nicht} und
** RealNumber
1 ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
SymbolicString
um
** Device
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
** SymbolicString
beschreibt zu tun
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Wenn
Object
ist ein
fall
von
Harbor
%n{nicht} und
equipmentCount
** Object
,
ShipBerth
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
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
Object
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
hilfsmittel
Constructing
zu tun oder
** Object
ist faehig %n{nicht}, in der Rolle
hilfsmittel
Agriculture
zu tun und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
SportingGoodsHobbyBookAndMusicStores
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
Object
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
instrument
Sport
zu tun oder
** Object
ist faehig %n{nicht}, in der Rolle
instrument
MakingMusic
zu tun oder
** Object
ist ein
fall
von
Book
%n{nicht} oder
** Object
ist ein
fall
von
MusicRecording
%n{nicht} oder
** Object
ist ein
fall
von
MusicText
%n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
Utilities
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
Object
,
** Process
2, and und
** AutonomousAgent
2 um
** AutonomousAgent
ist ein
fall
von
Removing
%n{nicht} oder
** Object
ist ein
fall
von
Sewage
%n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
fall
von
Electron
%n{nicht} oder
** Object
ist ein
fall
von
Water
%n{nicht} oder
** Object
ist ein
fall
von
PureSubstance
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
Combustion
zu tun und
** Process
2 ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
2 ist ein
fall
von
FinancialTransaction
%n{nicht} und
** AutonomousAgent
2 ist der
agent
von
** Process
2 %n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
2 %n{nicht}
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Wenn
Process
ist ein
fall
von
BankCardPayment
%n{nicht} und
** Process
endet an
Object
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
bestimmungsort
BankCardPayment
zu tun
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
Wenn
Process
ist ein
fall
von
CateringService
%n{nicht} und
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** Process
zu tun
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
Wenn
Object
ist ein
fall
von
Plant
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Process
,
Entity
, and und
** ** Process
um
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** ** Process
ist eine
teilkategorie
von
Keeping
und
** Entity
ist ein
fall
von
FreshWater
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
instrument
** ** ** Process
zu tun und
** ** Object
ist ein
fall
von
PlantLeaf
%n{nicht} oder
** ** Object
ist ein
fall
von
PlantStem
%n{nicht}
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
Wenn
Object
ist ein
fall
von
PortFacility
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
ShipBerthing
zu tun,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Harbor
%n{nicht} und
** ** Object
wird an
** Object
angeschlossen und
** ** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
Wenn
Physical
ist ein
fall
von
Projectile
%n{nicht} und
caliber
** Gun
and
LengthMeasure
und
Object
ist ein
fall
von
** Gun
%n{nicht} und die
breite
von
** Physical
ist
** LengthMeasure
1 %n{nicht} und
** LengthMeasure
ist gleich
** LengthMeasure
1 %n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
SymbolicString
beschreibt zu tun
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
Wenn
CaseRole
ist ein
fall
von
CaseRole
%n{nicht} und
** CaseRole
Entity
and
Object
und
** Entity
ist ein
fall
von
** Process
%n{nicht} und
** Process
ist eine
teilkategorie
von
Process
,
dann
** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
wenn ?AGENT ist der
buerger
von ?POLITY und
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) und das
alter
von ?AGENT ist ?AGE
YearDuration
(s) %n{nicht} und ?AGE ist
groesserAlsOderGleich
?VOTINGAGE %n{nicht} und ?ELECTION ist ein
fall
von
ElectionFn
?POLITY %n{nicht},
dann ?AGENT ist faehig %n{nicht}, in der Rolle
agent
VotingFn
?ELECTION zu tun
enthaelt Informationen ueber
UniversalSuffrageLaw
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