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
O argumento numero 2 de
capability
e' uma
instancia
de
Role em Caso
(
domain
capability
3
Object
)
Merge.kif 3904-3904
O argumento numero 3 de
capability
e' uma
instancia
de
Objeto
(
domainSubclass
capability
1
Process
)
Merge.kif 3902-3902
O argumento numero 1 de
capability
e' uma
sub
-classe de
Processo
(
instance
capability
TernaryPredicate
)
Merge.kif 3901-3901
capability
e' uma
instancia
de
Predicado Ternario
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
Muslim
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Hajj
no role
agent
o argumento
Entidade
Entidade
e' uma
instancia
de
Hajj
Entidade
e' um
agente
de
Objeto
tem a
forca
modal
de
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
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
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
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
Processo
e' uma
sub
-classe de
Atirar
Objeto
Objeto
e' uma
instancia
de
Arma
Objeto
e' uma &parte de
Objeto
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
(=>
(
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
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
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
Objeto
e' uma
instancia
de
PortFacility
Objeto
e'
capaz
de fazer
ShipBerthing
no role
patient
Objeto
Objeto
e' uma
instancia
de
Harbor
Objeto
e'
conectado
com
Objeto
Objeto
e'
capaz
de fazer
ShipBerthing
no role
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
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
Experimenting
Fisico
Processo
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Processo
Humano
e'
capaz
de fazer
Processo
no role
experiencer
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Processo
Experimenting
Fisico
ESS
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Fisico
ESS
Humano
e'
capaz
de fazer
Fisico
ESS no role
experiencer
QualifiedTreatmentsFn
Humano
e'
igual
a
Colecao
(=>
(
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
Colecao
and
Colecao
Objeto
e' uma
instancia
de
Humano
Fisico
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Experimenting
Fisico
e'
membro
de
Colecao
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
Fisico
Processo
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
Colecao
Processo
e' uma
sub
-classe de
Experimenting
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
ExclusiveMaleSuffrage
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
Male
e' um
atributo
de
Humano
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
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
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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
Inteiro positivo
Objeto
e' uma
instancia
de
Arma
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
Processo
e' uma
sub
-classe de
Atirar
Processo
e' uma
sub
-classe de
Causar Dano
MilitaryVehicle
e'
capaz
de fazer
Processo
no role
Role em Caso
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo
Role em Caso
Entidade
and
Objeto
tem a
forca
modal
de
Possibility
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11191-11196
Objeto Corpuscular
e'
capaz
de fazer
Respirar
no role
experiencer
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Lung
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
e'
capaz
de fazer
ChildCareService
no role
agent
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
e'
capaz
de fazer
ChildCareService
no role
serviceProvider
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
Agente Cognitivo
,
AutonomousAgent
and
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
Agente Cognitivo
sabe
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
consequent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
Processo
no role
located
(=>
(
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
antagonistMuscles
Musculo
and
Musculo
Processo
e' uma
instancia
de
Extension
Musculo
C e' um
instrumento
para
Processo
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Mamifero
Musculo
C e'
capaz
de fazer
Flexion
no role
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
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Flexion
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Mamifero
Musculo
C e'
capaz
de fazer
Extension
no role
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
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
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
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
Processo
e' uma
sub
-classe de
Atirar
Objeto
Objeto
e' uma
instancia
de
Arma
Objeto
e' uma &parte de
Objeto
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerInputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
origin
DataTransfer
))
ComputingBrands.kif 3552-3557
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
e' uma
instancia
de
ComputerInputDevice
ComputerHardware
e' uma
instancia
de
Computer
LASS
DataTransfer
e'
capaz
de fazer
Computer
LASS no role
origin
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerOutputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
destination
DataTransfer
))
ComputingBrands.kif 3545-3550
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
e' uma
instancia
de
ComputerOutputDevice
ComputerHardware
e' uma
instancia
de
Computer
LASS
DataTransfer
e'
capaz
de fazer
Computer
LASS no role
destination
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
Certificado
e' uma
instancia
de
CallableBond
issuedBy
Certificado
and
Agente Cognitivo
Agente Cognitivo
e'
capaz
de fazer
Call
no role
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
e' uma
instancia
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
DigitalData
ComputerProcess
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
tempo
de existencia de
ComputerProcess
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
DigitalData
e'
capaz
de fazer
Entidade
no role
dataProcessed
vale
durante
Entidade
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
Processo
e' uma
instancia
de
DeliveryService
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
DeliveryService
no role
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 12014-12026
Processo
e' uma
instancia
de
Deciding
Processo
e' um
agente
de
Agente Cognitivo
Conjunto
e' uma
instancia
de
Conjunto
Conjunto
e' um
patient
de
Processo
Entidade
e' um
elemento
de
Conjunto
Agente Cognitivo
acredita
que
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Processo Intencional
Agente Cognitivo
e'
capaz
de fazer
Entidade
no role
agent
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Atributo
e' uma
instancia
de
LifeThreateningDisease
Atributo
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Morte
no role
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 1417-1436
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Organismo
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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 1395-1413
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Objeto
e' uma
instancia
de
Harbor
equipmentCount
Objeto
,
ShipBerth
and
Numero Real
Numero Real
e'
maior
que 0
Objeto
e'
capaz
de fazer
ShipBerthing
no role
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
Colecao
e' uma
instancia
de
Organizacao
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Objeto
AutonomousAgent
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
capaz
de fazer
Construcao
no role
resource
Objeto
e'
capaz
de fazer
Agriculture
no role
resource
Objeto
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
SportingGoodsHobbyBookAndMusicStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Objeto
AutonomousAgent
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
capaz
de fazer
Esporte
no role
instrument
Objeto
e'
capaz
de fazer
MakingMusic
no role
instrument
Objeto
e' uma
instancia
de
Livro
Objeto
e' uma
instancia
de
MusicRecording
Objeto
e' uma
instancia
de
MusicText
Objeto
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
Utilities
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Objeto
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Remover
Objeto
e' uma
instancia
de
Sewage
Objeto
e' um
patient
de
AutonomousAgent
Objeto
e' uma
instancia
de
Eletron
Objeto
e' uma
instancia
de
Agua
Objeto
e' uma
instancia
de
Substancia Pura
Objeto
e'
capaz
de fazer
Combustao
no role
patient
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Transacao Financeira
AutonomousAgent
2 e' um
agente
de
Processo
2
Objeto
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processo
e' uma
instancia
de
BankCardPayment
Processo
termina
em
Objeto
Objeto
e'
capaz
de fazer
BankCardPayment
no role
destination
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
Processo
e' uma
instancia
de
CateringService
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
Processo
no role
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 9561-9574
Objeto
e' uma
instancia
de
Planta
Objeto
e' uma &parte de
Objeto
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Manter
Entidade
e' uma
instancia
de
FreshWater
Entidade
e' um
patient
de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
instrument
Objeto
e' uma
instancia
de
PlantLeaf
Objeto
e' uma
instancia
de
PlantStem
(=>
(
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
Objeto
e' uma
instancia
de
PortFacility
Objeto
e'
capaz
de fazer
ShipBerthing
no role
patient
Objeto
Objeto
e' uma
instancia
de
Harbor
Objeto
e'
conectado
com
Objeto
Objeto
e'
capaz
de fazer
ShipBerthing
no role
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
Fisico
e' uma
instancia
de
Projectile
caliber
Gun
and
Medida de Comprimento
Objeto
e' uma
instancia
de
Gun
a
largura
de
Fisico
e'
Medida de Comprimento
1
Medida de Comprimento
e'
igual
a
Medida de Comprimento
1
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
Role em Caso
e' uma
instancia
de
Role em Caso
Role em Caso
Entidade
and
Objeto
Entidade
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
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
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
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