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
disjointRelation
Sigma KEE - disjointRelation
disjointRelation
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1502-1503
No TPTP formula. May not be expressible in strict first order.
Merge.kif 415-417
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 65-67
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 75-77
No TPTP formula. May not be expressible in strict first order.
Merge.kif 412-412
O argumento numero 1 de
disjointRelation
e' uma
instancia
de
Relacao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 413-413
O argumento numero 2 de
disjointRelation
e' uma
instancia
de
Relacao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 409-409
disjointRelation
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 410-410
disjointRelation
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 411-411
disjointRelation
e' uma
instancia
de
Relacao Parcial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 414-414
disjointRelation
e'
relacionado
internamente por SUMO a
disjoint
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 289-289
No TPTP formula. May not be expressible in strict first order.
english_format.kif 294-294
No TPTP formula. May not be expressible in strict first order.
french_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 77-77
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1987-1987
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 111-111
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 376-376
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 117-117
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 187-187
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 174-174
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 170-170
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19860-19860
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19859-19859
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19858-19858
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 117-117
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 447-453
Relacao
e' uma
instancia
de
Predicado
Relacao
e' uma
instancia
de
Predicado
Relacao
e
Relacao
sao
disjuntos
Relacao
@ROW2
Relacao
@ROW2
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 419-424
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Classe
e'
disjunto
de
Classe
Relacao
e
Relacao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 426-431
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e'
disjunto
de
Classe
Relacao
e
Relacao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 433-438
O
contra
-dominio de
Funcao
e' uma instancia de
Classe
o
contra
-dominio de
Funcao
e' uma instancia de
Classe
Classe
e'
disjunto
de
Classe
Funcao
e
Funcao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 440-445
Os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
Classe
e'
disjunto
de
Classe
Funcao
e
Funcao
sao
disjuntos
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24227-24227
ancestorOrganization
e
subOrganization
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1018-1018
contains
e
part
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4201-4201
crosses
e
connected
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2600-2600
decreasesLikelihood
e
independentProbability
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4014-4014
deprivesNorm
e
confersNorm
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7466-7466
disapproves
e
desires
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7450-7450
dislikes
e
wants
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2598-2598
increasesLikelihood
e
decreasesLikelihood
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2599-2599
increasesLikelihood
e
independentProbability
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1734-1734
manner
e
attribute
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9610-9610
meetsSpatially
e
overlapsSpatially
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23410-23410
mutualStranger
e
mutualAcquaintance
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1679-1679
referee
e
plays
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2514-2514
resource
e
instrument
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2513-2513
resource
e
result
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2515-2515
result
e
instrument
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23425-23425
spouse
e
domesticPartner
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14439-14439
stays
e
home
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23395-23395
stranger
e
acquaintance
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 684-684
subAttribute
e
successorAttribute
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 643-643
subsumedExternalConcept
e
subsumingExternalConcept
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 641-641
synonymousExternalConcept
e
subsumedExternalConcept
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 642-642
synonymousExternalConcept
e
subsumingExternalConcept
sao
disjuntos
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