Likely
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(=>
(
exists
(?S ?PI ?P)
(
and
(
instance
?S
Stating
)
(
containsFormula
?S
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))))
(
modalAttribute
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2))
Likely
))))
Law.kif 400-415
trusts
agent cognitif
,
AutonomousAgent
and
processus intentionnel
agent cognitif
croit
entit�
processus intentionnel
I and
processus intentionnel
entit�
est une
instance
de
d�clarer
containsFormula
entit�
and
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
l'argument
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
userIDString
?STRING ?ACCOUNT)
(
modalAttribute
(
not
(
exists
(?ACCOUNT2)
(
and
(
instance
?ACCOUNT2
UserAccount
)
(
userIDString
?STRING ?ACCOUNT2))))
Likely
))
UXExperimentalTerms.kif 1112-1120
userIDString
Identifier
and
UserAccount
l'argument
UserAccount
UserAccount
est une
instance
de
UserAccount
userIDString
Identifier
and
UserAccount
a la
force
modale
de
Likely
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