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
password
Sigma KEE - password
password
appearance as argument number 1
(
documentation
password
EnglishLanguage
"(
password
?Password ?Account) means that ?Password is the password associated with the
UserAccount
that the
ComputerUser
uses while logging onto a computer system.")
QoSontology.kif 2100-2103
(
domain
password
1
ComputerPassword
)
QoSontology.kif 2097-2097
O argumento numero 1 de
password
e' uma
instancia
de
ComputerPassword
(
domain
password
2
UserAccount
)
QoSontology.kif 2098-2098
O argumento numero 2 de
password
e' uma
instancia
de
UserAccount
(
instance
password
AsymmetricRelation
)
QoSontology.kif 2096-2096
password
e' uma
instancia
de
Relacao Assimetrica
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
e' uma
sub
-relacao de
names
appearance as argument number 2
(
format
ChineseLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4082-4082
(
format
ChineseTraditionalLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4081-4081
(
format
EnglishLanguage
password
"%2 has
password
%1")
domainEnglishFormat.kif 4080-4080
(
termFormat
ChineseLanguage
password
"密码")
domainEnglishFormat.kif 44730-44730
(
termFormat
ChineseTraditionalLanguage
password
"密碼")
domainEnglishFormat.kif 44729-44729
(
termFormat
EnglishLanguage
password
"password")
domainEnglishFormat.kif 44728-44728
antecedent
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
Agente Cognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
Agente Cognitivo
nao
sabe
%n
password
ComputerPassword
and
UserAccount
Agente Cognitivo
sabe
recoveryKey
Entidade
and
UserAccount
Agente Cognitivo
possui
Computer
o argumento
Entidade
Entidade
e' uma
instancia
de
ChangingPassword
UserAccount
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
ComputerPassword
e' uma
instancia
de
AppleID
password
ComputerPassword
and
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
maior
que 7
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
Processo
e' uma
instancia
de
ChangingPassword
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
Entidade
Entidade
e' uma
instancia
de
ComputerPassword
Entidade
e'
igual
a
ComputerPassword
password
Entidade
and
UserAccount
vale
durante imediatemente
apos
tempo
de existencia de
Processo
consequent
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
Processo
e' uma
instancia
de
ChangingPassword
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
Entidade
Entidade
e' uma
instancia
de
ComputerPassword
Entidade
e'
igual
a
ComputerPassword
password
Entidade
and
UserAccount
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
Processo
e' uma
instancia
de
CreatingAnAccount
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
and
Entidade
hasAccount
AutonomousAgent
and
Entidade
password
Entidade
and
Entidade
userName
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
hasAccount
AutonomousAgent
and
UserAccount
ComputerPassword
password
ComputerPassword
and
UserAccount
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