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
consistent
Sigma KEE - consistent
consistent
appearance as argument number 1
(
documentation
consistent
ChineseLanguage
"(
consistent
?PROP1 ?PROP2)的意思是两个
Proposition
?PROP1 和 ?PROP2 彼此一致,也就是说它们两个都有可能同时成真。")
chinese_format.kif 3784-3785
(
documentation
consistent
EnglishLanguage
"(
consistent
?PROP1 ?PROP2) means that the two
Proposition
s ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.")
Merge.kif 16928-16930
(
domain
consistent
1
Proposition
)
Merge.kif 16926-16926
一贯
的 1 数量 是
命题
的
instance
(
domain
consistent
2
Proposition
)
Merge.kif 16927-16927
一贯
的 2 数量 是
命题
的
instance
(
instance
consistent
BinaryPredicate
)
Merge.kif 16924-16924
一贯
是
二元谓语
的
instance
(
instance
consistent
SymmetricRelation
)
Merge.kif 16925-16925
一贯
是
对称关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
consistent
"%2 %n 是 %1 的
consistent
")
domainEnglishFormat.kif 536-536
(
format
ChineseTraditionalLanguage
consistent
"%2 %n 是 %1 的
consistent
")
domainEnglishFormat.kif 535-535
(
format
EnglishLanguage
consistent
"%2 is %n a
consistent
of %1")
domainEnglishFormat.kif 534-534
(
termFormat
ChineseLanguage
consistent
"一贯")
domainEnglishFormat.kif 16698-16698
(
termFormat
ChineseTraditionalLanguage
consistent
"一貫")
domainEnglishFormat.kif 16697-16697
(
termFormat
EnglishLanguage
consistent
"consistent")
domainEnglishFormat.kif 16696-16696
antecedent
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14148-14162
如果
协议
有
合同
的
attribute
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 过程
表示
命题
的内容 和
那个 协议
不 是
那个 命题
的
consistent
,
然后 有存在
实体
这样
那个 实体
是
法律诉讼
的
instance
和
那个 另外 有认知的主事
是
plaintiff
在
那个 实体
和
那个 有认知的主事
是在
那个 实体
的
defendant
的声明 has
可能性
的语气
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13849-13856
公式
的声明 has
合法
的语气 若且唯若 不存在
另一个 公式
这样
那个 另外 公式
的声明 has
法
的语气 和
那个 另外 公式
不 是
那个 公式
的
consistent
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
如果
过程
是
民政运作
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
命题
是
那个 地缘政治区域
的
regional
法律 的
instance
和
那个 过程
表示
另一个 命题
的内容,
然后
那个 另外 命题
是
那个 命题
的
consistent
(=>
(
instance
?ACTION
CriminalAction
)
(
exists
(?LAW ?CONTENT ?CRIME)
(
and
(
modalAttribute
?LAW
Law
)
(
containsInformation
?LAW ?CONTENT)
(
realization
?ACTION ?CRIME)
(
not
(
consistent
?CONTENT ?CRIME)))))
Mid-level-ontology.kif 13861-13868
如果
过程
是
犯罪行为
的
instance
,
然后 有存在
公式
,
命题
, and 和
另一个 命题
这样
那个 公式
的声明 has
法
的语气 和
那个 公式
contains
那个 命题
的资料 和
那个 过程
表示
那个 另外 命题
的内容 和
那个 另外 命题
不 是
那个 命题
的
consistent
(=>
(
instance
?C
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29679-29691
如果
过程
是
Correcting
的
instance
,
然后 有存在
另一个 过程
,
第三 过程
,, ,
那个 第三 过程
P, and 和
那个 过程
P 这样
那个 另外 过程
是
不同意
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 第三 过程
是
陈述
的
instance
和
那个 第三 过程
%n是
那个 另外 过程
的
subProcess
和
那个 第三 过程
contains
那个 第三 过程
P 的资料 和
那个 过程
contains
那个 过程
P 的资料 和
那个 过程
P 提到
那个 第三 过程
P 和
那个 第三 过程
P 不 是
那个 过程
P 的
consistent
(=>
(
instance
?DIS
Disagreeing
)
(
exists
(?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
(
and
(
subProcess
?STATE1 ?DIS)
(
subProcess
?STATE2 ?DIS)
(
agent
?STATE1 ?A1)
(
agent
?STATE2 ?A2)
(
not
(
equal
?A1 ?A2))
(
containsInformation
?STATE1 ?STMT1)
(
containsInformation
?STATE2 ?STMT2)
(
not
(
consistent
?STMT1 ?STMT2)))))
Merge.kif 13179-13192
如果
过程
是
不同意
的
instance
,
然后 有存在
施事体
,
另一个 施事体
,, ,
另一个 过程
,, ,
第三 过程
,, ,
命题
, and 和
另一个 命题
这样
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 施事体
是
那个 第三 过程
的
agent
和
那个 施事体
不
equal
那个 另外 施事体
和
那个 另外 过程
contains
那个 命题
的资料 和
那个 第三 过程
contains
那个 另外 命题
的资料 和
那个 另外 命题
不 是
那个 命题
的
consistent
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