Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 15439-15439
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 15440-15440
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 15441-15441
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 15431-15431
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
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 15471-15477
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 15462-15469
(=>
(
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
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
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