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
密码
的 1 数量 是
电脑密码
的
instance
(
domain
password
2
UserAccount
)
QoSontology.kif 2098-2098
密码
的 2 数量 是
用户帐号
的
instance
(
instance
password
AsymmetricRelation
)
QoSontology.kif 2096-2096
密码
是
非对称关系
的
instance
(
subrelation
password
names
)
QoSontology.kif 2095-2095
密码
是
命名
的
subrelation
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
如果
有认知的主事
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
和
deviceAccount
那个 用户帐号
and
电脑
和
那个 有认知的主事
doesn't
knows
那个 用户帐号
有
password
那个 电脑密码
和
那个 有认知的主事
knows
recoveryKey
实体
and
那个 用户帐号
和
那个 有认知的主事
possesses
那个 电脑
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ChangingPassword
的
instance
和
那个 用户帐号
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
如果
电脑密码
是
苹果ID
的
instance
和
符号串
有
password
那个 电脑密码
和
非负整数
equal
那个 符号串
的
length
,
然后
那个 非负整数
是
greaterThan
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
如果
过程
是
ChangingPassword
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
,
然后 有存在
实体
这样
那个 实体
是
电脑密码
的
instance
和
那个 实体
不
equal
那个 电脑密码
和
那个 用户帐号
有
password
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
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
如果
过程
是
ChangingPassword
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
,
然后 有存在
实体
这样
那个 实体
是
电脑密码
的
instance
和
那个 实体
不
equal
那个 电脑密码
和
那个 用户帐号
有
password
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
如果
过程
是
CreatingAnAccount
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 施事体
有
account
那个 实体
和
那个 实体
有
password
那个 另外 实体
和
那个 实体
的
user
name
是
那个 第三 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
如果
施事体
有
account
用户帐号
,
然后 有存在
电脑密码
这样
那个 用户帐号
有
password
那个 电脑密码
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