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 3907-3909
(
documentation
capability
JapaneseLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) とは、?OBJ が、タイプ ?PROCESS の
Process
es で ?ROLE の役割を果たす能力を持っている、という意味である。")
japanese_format.kif 734-735
(
domain
capability
2
CaseRole
)
Merge.kif 3904-3904
Il numero 2 argomenti di
capability
è un
istanza
di
RuoloSemantico
(
domain
capability
3
Object
)
Merge.kif 3905-3905
Il numero 3 argomenti di
capability
è un
istanza
di
Oggetto
(
domainSubclass
capability
1
Process
)
Merge.kif 3903-3903
Il numero 1 argomento
capability
è una
sottoclasse
di
Processo
(
instance
capability
TernaryPredicate
)
Merge.kif 3902-3902
capability
è un'
istanza
di
PredicatoTernario
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
attribute
Oggetto
and
Muslim
Oggetto
è
capace
di fare
Hajj
nel ruolo
agent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Hajj
Entit�
è un
agente
di
Oggetto
ha il modello di forza di
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
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
serviceProvider
(=>
(
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
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Oggetto
Oggetto
è un'
istanza
di
Arma
Oggetto
è una
parte
di
Oggetto
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
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 157-176
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 3001-3009
Oggetto
è un'
istanza
di
PortFacility
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
patient
Oggetto
Oggetto
è un'
istanza
di
Harbor
Oggetto
è
connesso
a
Oggetto
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
path
(=>
(
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
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Experimenting
Entit�Concreta
Processo
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Umano
è
capace
di fare
Processo
nel ruolo
experiencer
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Processo
Experimenting
Entit�Concreta
ESS
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Entit�Concreta
ESS
Umano
è
capace
di fare
Entit�Concreta
ESS nel ruolo
experiencer
QualifiedTreatmentsFn
Umano
is
uguale
a
InsiemeConcreto
(=>
(
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
orthogonalTests
InsiemeConcreto
and
InsiemeConcreto
Oggetto
è un'
istanza
di
Umano
Entit�Concreta
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Experimenting
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è una
sottoclasse
di
Experimenting
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1214-1220
ExclusiveMaleSuffrage
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
agent
attribute
Umano
and
Male
(=>
(
and
(
subclass
?TYPE
Translocation
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(
capability
?TYPE ?ROLE ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2725-2734
Processo
è una
sottoclasse
di
Translocation
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Regione
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Regione
è un'
istanza
di
AreaGeografica
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
capableAtLocation
Processo
,
RuoloSemantico
,
Oggetto
and
Regione
(=>
(
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 1016-1024
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 1004-1014
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 944-952
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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 932-942
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
weaponCarryingCapability
MilitaryVehicle
,
Arma
and
NumeroInteroPositivo
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Processo
è una
sottoclasse
di
Danneggiare
MilitaryVehicle
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3919-3925
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
l'affermazione
Entit�
Entit�
è un'
istanza
di
Processo
RuoloSemantico
Entit�
and
Oggetto
ha il modello di forza di
Possibility
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11218-11223
OggettoCorpuscolare
è
capace
di fare
Respirazione
nel ruolo
experiencer
OggettoCorpuscolare
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
Lung
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
è
capace
di fare
ChildCareService
nel ruolo
agent
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
AgenteCognitivo
è
capace
di fare
ChildCareService
nel ruolo
serviceProvider
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 152-155
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
AgenteCognitivo
,
AutonomousAgent
and
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
agent
AgenteCognitivo
conosce
s
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
agent
consequent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
attribute
Entit�
and
LegalAgent
vales
durante
PosizioneTemporale
Entit�
è
capace
di fare
AzioneLegale
nel ruolo
agent
Entit�
è
capace
di fare
AzioneLegale
nel ruolo
patient
vales
durante
PosizioneTemporale
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Oggetto
%è un
elemento
di %2
Oggetto
è
capace
di fare
Processo
nel ruolo
located
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10712-10723
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Extension
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Flexion
nel ruolo
instrument
(=>
(
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
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10699-10710
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Flexion
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Extension
nel ruolo
instrument
(=>
(
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
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
serviceProvider
(=>
(
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
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Oggetto
Oggetto
è un'
istanza
di
Arma
Oggetto
è una
parte
di
Oggetto
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerInputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
origin
DataTransfer
))
ComputingBrands.kif 3552-3557
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
è un'
istanza
di
ComputerInputDevice
ComputerHardware
è un'
istanza
di
Computer
LASS
DataTransfer
è
capace
di fare
Computer
LASS nel ruolo
origin
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerOutputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
destination
DataTransfer
))
ComputingBrands.kif 3545-3550
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
è un'
istanza
di
ComputerOutputDevice
ComputerHardware
è un'
istanza
di
Computer
LASS
DataTransfer
è
capace
di fare
Computer
LASS nel ruolo
destination
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
Certificato
è un'
istanza
di
CallableBond
issuedBy
Certificato
and
AgenteCognitivo
AgenteCognitivo
è
capace
di fare
Call
nel ruolo
agent
(=>
(
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
ComputerProcess
è un'
istanza
di
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
DigitalData
ComputerProcess
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
il
tempo
di esistenza di
ComputerProcess
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
DigitalData
è
capace
di fare
Entit�
nel ruolo
dataProcessed
vales
durante
Entit�
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
Processo
è un'
istanza
di
DeliveryService
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
capace
di fare
DeliveryService
nel ruolo
agent
(=>
(
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 12060-12072
Processo
è un'
istanza
di
Deciding
Processo
è un
agente
di
AgenteCognitivo
Insieme
è un'
istanza
di
Insieme
Insieme
è un
paziente
di
Processo
%è un
elemento
di %2
AgenteCognitivo
crede
s
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
ProcessoIntenzionale
AgenteCognitivo
è
capace
di fare
Entit�
nel ruolo
agent
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Attributo
è un'
istanza
di
LifeThreateningDisease
attribute
Oggetto
and
Attributo
Oggetto
è
capace
di fare
Morte
nel ruolo
experiencer
(=>
(
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 1410-1429
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Organismo
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
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 1388-1406
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2994-2999
Oggetto
è un'
istanza
di
Harbor
equipmentCount
Oggetto
,
ShipBerth
and
NumeroReale
NumeroReale
è
pi
ù grande di 0
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
path
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
AutonomousAgent
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Costruzione
nel ruolo
resource
Oggetto
è
capace
di fare
Agriculture
nel ruolo
resource
Oggetto
è un
paziente
di
AutonomousAgent
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
SportingGoodsHobbyBookAndMusicStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
AutonomousAgent
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Sport
nel ruolo
instrument
Oggetto
è
capace
di fare
MakingMusic
nel ruolo
instrument
Oggetto
è un'
istanza
di
Libro
Oggetto
è un'
istanza
di
MusicRecording
Oggetto
è un'
istanza
di
MusicText
Oggetto
è un
paziente
di
AutonomousAgent
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
Utilities
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Spostamento
Oggetto
è un'
istanza
di
Sewage
Oggetto
è un
paziente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Elettrone
Oggetto
è un'
istanza
di
Acqua
Oggetto
è un'
istanza
di
SostanzaPura
Oggetto
è
capace
di fare
Combustione
nel ruolo
patient
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
ScambioFinanziario
AutonomousAgent
2 è un
agente
di
Processo
2
Oggetto
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processo
è un'
istanza
di
BankCardPayment
Processo
fine
s in
Oggetto
Oggetto
è
capace
di fare
BankCardPayment
nel ruolo
destination
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
Processo
è un'
istanza
di
CateringService
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
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 9588-9601
Oggetto
è un'
istanza
di
Pianta
Oggetto
è una
parte
di
Oggetto
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Trattenere
Entit�
è un'
istanza
di
FreshWater
Entit�
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è un'
istanza
di
PlantLeaf
Oggetto
è un'
istanza
di
PlantStem
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 3001-3009
Oggetto
è un'
istanza
di
PortFacility
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
patient
Oggetto
Oggetto
è un'
istanza
di
Harbor
Oggetto
è
connesso
a
Oggetto
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
path
(=>
(
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
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Oggetto
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3911-3917
RuoloSemantico
è un'
istanza
di
RuoloSemantico
RuoloSemantico
Entit�
and
Oggetto
Entit�
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
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 1056-1067
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?AGENT è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?AGENT è
capace
di fare
VotingFn
?ELECTION nel ruolo
agent
contiene
s informazione
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