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 14061-14064
(
domain
agreementClause
1
Proposition
)
Mid-level-ontology.kif 14067-14067
Die Zahl 1 Argument von
agreementClause
ist ein
fall
von
Proposition
%n{nicht}
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 14068-14068
Die Zahl 2 Argument von
agreementClause
ist ein
fall
von
DeonticAttribute
%n{nicht}
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 14069-14069
Die Zahl 3 Argument von
agreementClause
ist ein
fall
von
Agreement
%n{nicht}
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 14070-14070
Die Zahl 4 Argument von
agreementClause
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 14060-14060
agreementClause
ist ein
fall
von
QuaternaryPredicate
%n{nicht}
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 14065-14065
antecedent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
Wenn
agreementClause
Proposition
,
DeonticAttribute
,
Agreement
and
CognitiveAgent
,
dann es gibt
ContentBearingPhysical
um
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
partyToAgreement
** CognitiveAgent
and
** Agreement
(=>
(
agreementClause
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 14100-14106
Wenn
agreementClause
Proposition
,
Permission
,
Agreement
and
CognitiveAgent
,
dann
** CognitiveAgent
hat das
Recht
, es gibt
entity
um
** entity
druekt den Inhalt von
** Proposition
aus und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} durchzufuehren %n{nicht}
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 14091-14098
Wenn
agreementClause
Proposition
,
Prohibition
,
Agreement
and
CognitiveAgent
,
dann
** CognitiveAgent
hat das
Recht
, es gibt
entity
um
** entity
druekt den Inhalt von
** Proposition
aus und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} durchzufuehren nicht
(=>
(
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 14079-14089
Wenn
agreementClause
Proposition
,
DeonticAttribute
,
Agreement
and
CognitiveAgent
und
** DeonticAttribute
ist gleich
Obligation
%n{nicht} oder
** DeonticAttribute
ist gleich
Promise
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
druekt den Inhalt von
** Proposition
aus und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} hat die modale Kraft von
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
Wenn
negotiatedPrice
** Physical
,
CurrencyMeasure
and
Agreement
und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann
agreementClause
es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
direkter
fall von
** Physical
und
** entity
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
,
Obligation
,
** Agreement
and
** CognitiveAgent
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