Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
agreementClause
Sigma KEE - agreementClause
agreementClause
appearance as argument number 1
(
documentation
agreementClause
EnglishLanguage
"(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT) means that
Proposition
?PROP, which has
modalAttribute
?ATTR, is part of
Agreement
?AGREEMENT and, with
CognitiveAgent
?AGENT being the one responsible to make the statement true")
Mid-level-ontology.kif 15432-15435
(
domain
agreementClause
1
Proposition
)
Mid-level-ontology.kif 15438-15438
Le nombre 1 argument de
agreementClause
est une
instance
de
proposition
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 15439-15439
Le nombre 2 argument de
agreementClause
est une
instance
de
deontic attribute
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 15440-15440
Le nombre 3 argument de
agreementClause
est une
instance
de
Agreement
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 15441-15441
Le nombre 4 argument de
agreementClause
est une
instance
de
agent cognitif
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 15431-15431
agreementClause
est une
instance
de
pr�dicat quaternaire
appearance as argument number 2
(
format
ChineseLanguage
agreementClause
"%4 有义务去做在 %3 的 %1 %2")
domainEnglishFormat.kif 2722-2722
(
format
ChineseTraditionalLanguage
agreementClause
"%4 有義務去做在 %3 的 %1 %2 ")
domainEnglishFormat.kif 2721-2721
(
format
EnglishLanguage
agreementClause
"%4 has the responsibility to make %1 %2 in %3")
domainEnglishFormat.kif 2720-2720
(
termFormat
EnglishLanguage
agreementClause
"agreement clause")
Mid-level-ontology.kif 15436-15436
antecedent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 15443-15448
agreementClause
proposition
,
deontic attribute
,
Agreement
and
agent cognitif
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
partyToAgreement
agent cognitif
and
Agreement
(=>
(
agreementClause
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 15471-15477
agreementClause
proposition
,
Permission
,
Agreement
and
agent cognitif
agent cognitif
a le
droit
d'executer
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 15462-15469
agreementClause
proposition
,
Prohibition
,
Agreement
and
agent cognitif
agent cognitif
n' le
droit
d'executer
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 15450-15460
agreementClause
proposition
,
deontic attribute
,
Agreement
and
agent cognitif
deontic attribute
est
Obligation
deontic attribute
est
Promise
l'argument
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Likely
consequent
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
agreementClause
entit�
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
agent cognitif
transactionAmount
entit�
and
mesure de devise
,
Obligation
,
Agreement
and
agent cognitif
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