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 16906-16908
(
domain
consistent
1
Proposition
)
Merge.kif 16904-16904
O argumento numero 1 de
consistent
e' uma
instancia
de
Proposicao
(
domain
consistent
2
Proposition
)
Merge.kif 16905-16905
O argumento numero 2 de
consistent
e' uma
instancia
de
Proposicao
(
instance
consistent
BinaryPredicate
)
Merge.kif 16902-16902
consistent
e' uma
instancia
de
Predicado Binario
(
instance
consistent
SymmetricRelation
)
Merge.kif 16903-16903
consistent
e' uma
instancia
de
Relacao Simetrica
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 14149-14163
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Agreement
o argumento
Entidade
Entidade
e' uma
instancia
de
Acao Legal
plaintiff
Entidade
and
Agente Cognitivo
defendant
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857
O argumento
Formula
tem a
forca
modal
de
Legal
Formula
o argumento
Formula
tem a
forca
modal
de
Law
consistent
Formula
and
Formula
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
Processo
e' uma
instancia
de
CivilAffairsOperation
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
e' uma
instancia
de
RegionalLawFn
Area Geopolitica
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
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 13862-13869
Processo
e' uma
instancia
de
CriminalAction
Formula
Proposicao
and
Proposicao
o argumento
Formula
tem a
forca
modal
de
Law
Formula
contem
informacao
Proposicao
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
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 29691-29703
Processo
e' uma
instancia
de
Correcting
Processo
Processo
,
Processo
P and
Processo
P
Processo
e' uma
instancia
de
Disagreeing
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Declarar
Processo
e' um
sub
-processo de
Processo
Processo
contem
informacao
Processo
P
Processo
contem
informacao
Processo
P
Processo
P inclui uma
referencia
a
Processo
P
consistent
Processo
P and
Processo
P
(=>
(
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 13157-13170
Processo
e' uma
instancia
de
Disagreeing
AutonomousAgent
AutonomousAgent
,
Processo
,
Processo
,
Proposicao
and
Proposicao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
contem
informacao
Proposicao
Processo
contem
informacao
Proposicao
consistent
Proposicao
and
Proposicao
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