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
partition
Sigma KEE - partition
partition
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order.
Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order.
Merge.kif 582-582
Le nombre 1 argument de
partition
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 583-583
Le nombre 2 argument de
partition
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 580-580
partition
est une
instance
de
predicat
No TPTP formula. May not be expressible in strict first order.
Merge.kif 581-581
partition
est une
instance
de
relation a arit� variable
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order.
english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order.
french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order.
Merge.kif 550-550
exhaustiveDecomposition
est
reli
� � l'int�rieur de SUMO �
partition
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 44569-44569
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 44568-44568
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 606-612
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 602-604
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
classe
est
compl
�tement
d
�compos� en
classe
+
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 590-594
@ROW est
compl
�tement
d
�compos� en @ROW
@ROW est
couvert
par @ROW @ROW est
disjointement
decompos
� en @ROW
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 596-600
@ROW est
couvert
par @ROW @ROW est
disjointement
decompos
� en @ROW
@ROW est
compl
�tement
d
�compos� en @ROW
No TPTP formula. May not be expressible in strict first order.
Merge.kif 602-604
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
classe
est
compl
�tement
d
�compos� en
classe
+
classe
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11175-11175
Ambulating
est
compl
�tement
d
�compos� en
marcher
+
Running
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14961-14961
Structure anatomique
est
compl
�tement
d
�compos� en
AnimalAnatomicalStructure
+
PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14960-14960
Structure anatomique
est
compl
�tement
d
�compos� en
partie du corps
+
AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14493-14493
Animal
est
compl
�tement
d
�compos� en
vertebr�
+
invertebr�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16884-16884
Argument
est
compl
�tement
d
�compos� en
DeductiveArgument
+
InductiveArgument
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1702-1702
Attribut
est
compl
�tement
d
�compos� en
attribut interne
+
attribut relationnel
No TPTP formula. May not be expressible in strict first order.
WMD.kif 82-82
BiochemicalAgent
est
compl
�tement
d
�compos� en
BiologicalAgent
+
ChemicalAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 108-108
BiochemicalWeapon
est
compl
�tement
d
�compos� en
BiologicalWeapon
+
ChemicalWeapon
No TPTP formula. May not be expressible in strict first order.
WMD.kif 157-157
BiologicalAgent
est
compl
�tement
d
�compos� en
Toxin
+
ToxicOrganism
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7652-7652
CareOrganization
est
compl
�tement
d
�compos� en
HospitalOrganization
+
MedicalClinic
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 1027-1027
ChairmanPublication
est
compl
�tement
d
�compos� en
ChairmanInstruction
+
ChairmanManual
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12550-12550
Processus chimique
est
compl
�tement
d
�compos� en
synth�se chimique
+
d�composition chemical
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13082-13082
Communication
est
compl
�tement
d
�compos� en
d�clarer
,
Supposing
,
diriger
,
investir
,
exprimer
, +
d�clarer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 3578-3578
Currency
est
compl
�tement
d
�compos� en
CurrencyBill
+
CurrencyCoin
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16904-16904
DeductiveArgument
est
compl
�tement
d
�compos� en
ValidDeductiveArgument
+
InvalidDeductiveArgument
No TPTP formula. May not be expressible in strict first order.
Merge.kif 816-816
Entit�
est
compl
�tement
d
�compos� en
physique
+
abstrait
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12970-12970
Exprimer
est
compl
�tement
d
�compos� en
Gesture
+
ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1597-1597
Firearm
est
compl
�tement
d
�compos� en
Rifle
+
Pistol
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8179-8179
Garden
est
compl
�tement
d
�compos� en
ResidentialGarden
+
PublicGarden
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14078-14078
Secteur g�ographique
est
compl
�tement
d
�compos� en
plan d'eau
+
zone de terre
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17860-17860
GeometricFigure
est
compl
�tement
d
�compos� en
GeometricPoint
,
OneDimensionalFigure
,
TwoDimensionalFigure
, +
ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5821-5821
�lement du graph
Est
compl
�tement
d
�compos� en
noeud du graph
+
arc du graph
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1155-1155
Gun
est
compl
�tement
d
�compos� en
ArtilleryGun
+
Firearm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5279-5279
Hardwood
est
compl
�tement
d
�compos� en
Softwood
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14691-14691
Humain
est
compl
�tement
d
�compos� en
Man
+
Woman
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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