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
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 14088-14091
(
domain
agreementClause
1
Proposition
)
Mid-level-ontology.kif 14094-14094
Le nombre 1 argument de
agreementClause
est une
instance
de
proposition
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 14095-14095
Le nombre 2 argument de
agreementClause
est une
instance
de
deontic attribute
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 14096-14096
Le nombre 3 argument de
agreementClause
est une
instance
de
Agreement
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 14097-14097
Le nombre 4 argument de
agreementClause
est une
instance
de
agent cognitif
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 14087-14087
agreementClause
est une
instance
de
pr�dicat quaternaire
appearance as argument number 2
(
format
ChineseLanguage
agreementClause
"%4 有义务去做在 %3 的 %1 %2")
domainEnglishFormat.kif 2726-2726
(
format
ChineseTraditionalLanguage
agreementClause
"%4 有義務去做在 %3 的 %1 %2 ")
domainEnglishFormat.kif 2725-2725
(
format
EnglishLanguage
agreementClause
"%4 has the responsibility to make %1 %2 in %3")
domainEnglishFormat.kif 2724-2724
(
termFormat
EnglishLanguage
agreementClause
"agreement clause")
Mid-level-ontology.kif 14092-14092
antecedent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14099-14104
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 14127-14133
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 14118-14125
agreementClause
proposition
,
Prohibition
,
Agreement
and
agent cognitif
agent cognitif
n' %n{pas} 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 14106-14116
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