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
subrelation
Sigma KEE - subrelation
subrelation
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1375-1378
No TPTP formula. May not be expressible in strict first order.
Merge.kif 173-178
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 33-37
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 35-39
No TPTP formula. May not be expressible in strict first order.
Merge.kif 171-171
Le nombre 1 argument de
subrelation
est une
instance
de
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 172-172
Le nombre 2 argument de
subrelation
est une
instance
de
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 169-169
subrelation
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 170-170
subrelation
est une
instance
de
relation partiellement dirig�e
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.
english_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.
french_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 279-279
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2003-2003
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 176-176
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 422-422
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 316-316
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 203-203
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 193-193
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 471-471
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55787-55787
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55786-55786
antecedent
No TPTP formula. May not be expressible in strict first order.
Media.kif 119-121
Relation
est une
sous
-relation de
involvedInEvent
relation
est une
instance
de
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 43-52
Attribut
est une
instance
de
attribut
attribut
est une
instance
de
attribut
pr�dicat binaire
est une
sous
-relation de
attribute
~{
contraryAttributeWRT
attribut
,
attribut
and
pr�dicat binaire
} ~{
pr�dicat binaire
entit�
and
attribut
} ~{
pr�dicat binaire
entit�
and
attribut
}
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23246-23250
playsRoleInEvent
objet
,
r�le d�pendant du cas
and
processus
r�le d�pendant du cas
est une
sous
-relation de
r�le d�pendant du cas
2
playsRoleInEvent
objet
,
r�le d�pendant du cas
2 and
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 186-190
Relation
est une
sous
-relation de
relation
le nombre
nombre entier positif
argument de
relation
est une
instance
de
classe
le nombre
nombre entier positif
argument de
relation
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 200-205
Relation
est une
sous
-relation de
relation
relation
est une
instance
de
classe
classe
est une
sous
-classe de
InheritableRelation
relation
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 180-184
Relation
est une
sous
-relation de
relation
relation
a
nombre entier positif
argument
(s)
relation
a
nombre entier positif
argument
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-242
Relation
est une
sous
-relation de
relation
le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 192-198
Relation
est une
sous
-relation de
relation
relation
est une
instance
de
predicat
relation
est une
instance
de
predicat
relation
@ROW
relation
@ROW
No TPTP formula. May not be expressible in strict first order.
Merge.kif 318-322
Function
est une
sous
-relation de
function
le
domaine
de
function
est une instance de
classe
le
domaine
de
function
est une instance de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 345-349
Function
est une
sous
-relation de
function
les valeurs retourn�es par
function
sont des
sous
-classes de
classe
les valeurs retourn�es par
function
sont des
sous
-classes de
classe
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2427-2429
Relation
est une
instance
de
r�le d�pendant du cas
relation
est une
sous
-relation de
involvedInEvent
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2479-2479
AbortedLaunchFn
est une
sous
-relation de
AbortedFn
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2433-2433
AbortedMissionFn
est une
sous
-relation de
AbortedFn
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8037-8037
CitizenryFn
est une
sous
-relation de
ResidentFn
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6642-6642
DensityFn
est une
sous
-relation de
PerFn
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18389-18389
DepartmentOfPreventingFn
est une
sous
-relation de
DepartmentOfFn
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6176-6176
ShorelineFn
est une
sous
-relation de
BorderFn
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6654-6654
SpeedFn
est une
sous
-relation de
PerFn
No TPTP formula. May not be expressible in strict first order.
Media.kif 3163-3163
abbreviatedDisplayTitle
est une
sous
-relation de
displayTitle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27233-27233
abbreviation
est une
sous
-relation de
conventionalShortName
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 868-868
absorbedDose
est une
sous
-relation de
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6113-6113
abstractCounterpart
est une
sous
-relation de
represents
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1617-1617
abstractionLevel
est une
sous
-relation de
property
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 228-228
accountAt
est une
sous
-relation de
partyToAgreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 247-247
accountHolder
est une
sous
-relation de
partyToAgreement
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4409-4409
accountInformation
est une
sous
-relation de
containsInformation
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4155-4155
accountPhoneNumber
est une
sous
-relation de
accountInformation
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4163-4163
accountUsed
est une
sous
-relation de
patient
No TPTP formula. May not be expressible in strict first order.
Media.kif 3034-3034
acronym
est une
sous
-relation de
abbreviation
No TPTP formula. May not be expressible in strict first order.
Government.kif 385-385
administrativeCenter
est une
sous
-relation de
geopoliticalSubdivision
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3323-3323
afterTaxIncome
est une
sous
-relation de
incomeEarned
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7517-7517
age
est une
sous
-relation de
measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2435-2435
agent
est une
sous
-relation de
involvedInEvent
No TPTP formula. May not be expressible in strict first order.
Media.kif 3424-3424
agentName
est une
sous
-relation de
names
No TPTP formula. May not be expressible in strict first order.
Government.kif 2237-2237
agentOperatesInArea
est une
sous
-relation de
partlyLocated
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25675-25675
airTemperature
est une
sous
-relation de
measure
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