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
not
Sigma KEE - not
not
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41281-41281
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1818-1828
Processus
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
liquidity
FinancialAccount
and
HighLiquidity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17254-17262
Entit�
est une
instance
de
humain
entit�
entit�
n'
emploie
%n{pas}
entit�
pendant
position temporel
Unemployed
est un
attribut
de
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Economy.kif 506-510
HighIncomeCountry
est un
attribut
de
AutonomousAgent
AutonomousAgent
est un
membre
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1165-1176
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
classe
objet
est une
instance
de
classe
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 172-187
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Female
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 12
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 155-170
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Male
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 13
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3984-4004
ADHD
est un
attribut
de
AutonomousAgent
ADHD
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus psycholoqique intentionnel
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
l'argument
dur�e temporel
est
plus
grand
que
dur�e temporel
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12537-12547
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Fingerprint
objet
est une
instance
de
Finger
attribut
R
objet
objet
est un
instrument
pour
attribut
R
objet
est une
instance
de
Finger
attribut
est un
attribut
de
objet
objet
est un
patient
de
attribut
R
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
Concave
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Outside
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
Convex
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Inside
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
GeometricFigure
est un
attribut
de
objet
objet
est une
instance
de
FourPosterBed
GeometricFigure
est une
instance
de
Quadrilateral
le
taille
de
GeometricFigure
est
OneDimensionalFigure
le
taille
de
GeometricFigure
est
OneDimensionalFigure
OneDimensionalFigure
est
OneDimensionalFigure
objet
objet
,
GeometricPoint
and
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Floor
objet
est
On
�
objet
objet
est
Vertical
�
objet
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
est un
attribut
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9715-9720
L'
arri
�re de
objet en une partie
est
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
connect
� �
objet en une partie
objet
est
Above
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
interval temporel
and
nombre entier
interval temporel
est une
instance
de
minute
nombre entier
nombre entier
est une
instance
de
r�cr�ation ou exercice
nombre entier
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
temps
d'existence de
nombre entier
HumanAdult
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre entier
est
plus
grand
que 16
nombre entier
est
moins
que 12
Healthy
est un
attribut
de
AutonomousAgent
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Military.kif 772-778
Humain
est un
citoyen
de
nation
objet
humain
est
situ
� �
objet
humain
est
situ
� �
nation
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 234-249
concentration
nombre r�el
unit� de mesure
(s),
substance
,
nombre r�el
unit� de mesure
2(s) and
mixture
substance
I est une
instance
de
substance
substance
I est une
partie
de
mixture
la
mesure
de
substance
I est
nombre r�el
unit� de mesure
3(s)
substance
I est une
partie
de
mixture
substance
I2 est une
instance
de
substance
substance
I est
substance
IE2
substance
I2 est une
partie
de
mixture
la
mesure
de
mixture
est
nombre r�el
unit� de mesure
2(s)
approximateValue
nombre r�el
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1148-1156
La
probabilit
� de
ComfortFood
est un
attribut
de
entit�
pourvu que
HeartHealthyFood
est un
attribut
de
entit�
vaut
nombre r�el
la
probabilit
� de
ComfortFood
est un
attribut
de
entit�
pourvu que
HeartHealthyFood
est un
attribut
de
entit�
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9554-9560
Objet
est
connect
� �
objet
objet
est
connect
� �
objet
objet
est
connect
� �
objet
objet
relie
objet
et
objet
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 32-46
connectedBodyPartTypes
partie du corps
,
partie du corps
and
organisme
organisme
C est une
instance
de
organisme
maladie ou syndrome
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
partie du corps
objet
est une
instance
de
partie du corps
objet
est
objet
objet
est une
partie
de
organisme
C
objet
est une
partie
de
organisme
C
objet
est
connect
� �
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 476-484
@ROW est
l
'oppos� de
attribut
est
entit�
attribut
est
entit�
nombre entier positif
est
nombre entier positif
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
agent cognitif
and
AutonomousAgent
corkageFee
mesure de devise
,
objet
and
AutonomousAgent
objet
est une
instance
de
objet
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
aboutit
�
agent cognitif
processus
a pour
origine
AutonomousAgent
processus
est une
instance
de
boire
processus
est un
agent
de
agent cognitif
objet
est une
resource
pour
processus
processus
processus
est une
instance
de
Corkage
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
objet
processus
aboutit
�
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1347-1358
Composant d'un appareil
est un
composant
de
Internet
composant d'un appareil
est un
composant
de
Internet
composant d'un appareil
est
composant d'un appareil
Internet
a pour
but
entit�
entit�
est une
instance
de
communication
entit�
est un
agent
de
composant d'un appareil
entit�
aboutit
�
composant d'un appareil
Internet
est un
instrument
pour
entit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4861-4872
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
plus
grand
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4946-4956
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4958-4972
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
moins
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30178-30188
Entit�
est une
instance
de
partie du corps
Bare
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
v�tement
covers
entit�
and
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12466-12473
Processus
est une
instance
de
combiner
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 156-187
Ann�e
est une
instance
de l'
ann
�e
nombre entier
MigrantsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
(
nombre entier
+
nombre entier
) est
entit�
est une
instance
de l'
ann
�e
nombre entier
PopulationFn
secteur g�opolitique
est
nombre r�el
pendant
ann�e
nombre r�el
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
nombre entier
+
nombre entier
) est
nombre r�el
nombre r�el
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 751-762
PolyphonicMusic
est un
attribut
de
objet
processus
processus
objet
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est un
sous
-processus de
objet
processus
est un
sous
-processus de
objet
processus
est
processus
processus
se
produit en m�me temps que
objet
processus
se
produit en m�me temps que
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4711-4720
OpenSea
est un
attribut
de
objet
physique
nombre r�el
objet
est une
instance
de
plan d'eau sal�
objet
est une
instance
de
LandlockedWater
la
distance
entre
physique
et
objet
est
nombre r�el
NauticalMile
(s)
nombre r�el
est
plus
grand
que 5.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23061-23076
cousin
humain
and
humain
Woman
Man
grandmother
humain
and
Woman
grandfather
humain
and
Man
grandmother
humain
and
Woman
grandfather
humain
and
Man
organisme
organisme
organisme
est la
m
�re de
humain
organisme
est le
p
�re de
humain
organisme
est la
m
�re de
humain
organisme
est le
p
�re de
humain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30132-30140
Barefoot
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
Shoe
entit�
porte
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30145-30153
Naked
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
v�tement
entit�
porte
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30223-30236
Alone
est un
attribut
de
entit�
pendant
interval temporel
entit�
2
processus
entit�
est
entit�
2
entit�
2 est une
instance
de
AutonomousAgent
processus
est une
instance
de
interaction social
temps
d'existence de
processus
prend place
pendant
interval temporel
involvedInEvent
processus
and
entit�
involvedInEvent
processus
and
entit�
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30271-30279
Mute
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
processus
est une
instance
de
Speaking
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
est un
agent
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6478-6488
Entit�
est une
instance
de
ConjugatedSubstance
objet
objet
and
processus
objet
est une
instance
de
substance compos�e
objet
est une
instance
de
substance compos�e
objet
est
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30296-30310
Processus
est ex�cut� de la fa�on
Harmless
processus
est une
instance
de
endommager
processus
2
processus
2 est une
instance
de
endommager
processus
2 est un
sous
-processus de
processus
processus
2
processus
2 est une
instance
de
endommager
processus
cause
processus
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13850-13857
L'argument
formule
a la
force
modale
de
Legal
formule
l'argument
formule
a la
force
modale
de
Law
consistent
formule
and
formule
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17416-17418
L'argument
formule
a la
force
modale
de
Necessity
l'argument
formule
n' %n{pas} la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17479-17481
L'argument
formule
a la
force
modale
de
Obligation
l'argument
formule
n' %n{pas} la
force
modale
de
Permission
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17515-17517
L'argument
formule
a la
force
modale
de
Prohibition
l'argument
formule
n' %n{pas} la
force
modale
de
Permission
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9119-9122
Objet
est
Outside
�
objet
objet
est
partiellement
localis� �
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23152-23159
stepfather
humain
and
Man
humain
humain
est la
m
�re de
humain
spouse
Man
and
humain
Man
est le
p
�re de
humain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23169-23176
stepmother
humain
and
Woman
humain
humain
est le
p
�re de
humain
spouse
Woman
and
humain
Woman
est la
m
�re de
humain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14091-14098
agreementClause
proposition
,
Prohibition
,
Agreement
and
agent cognitif
agent cognitif
n' %n{pas} le
droit
d'executer
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14055-14058
agreementExpirationDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
apr
�s
point temporel
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Media.kif 2546-2550
Position temporel
est une
instance
de le
jour
3
SerbiaAndMontenegro
est une
instance
de
IndependentState
pendant
apr
�s
position temporel
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2011-2015
~{
hasGUEState
GUIElement
and
GUE_NonVisibleState
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
} ~{
GUIElement
est une
instance
de
InterfaceWindow
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2226-2229
~{
GUIElement
est une
instance
de
Cursor
} ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1952-1955
~{
GUIElement
est une
instance
de
MouseCursor
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
No TPTP formula. May not be expressible in strict first order.
Government.kif 2915-2915
BigSix
est
GroupOf6
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6099-6106
Chemin du graph
chemin du graph
chemin du graph
est une
instance
de l'
ensemble
de chemins qui partitionnent
graph
en deux graph s�par�
chemin du graph
est une
instance
de l'
ensemble
minimal de chemins qui partitionnent
graph
en deux graph s�par� la
longueur
de
chemin du graph
est
nombre entier positif
la
longueur
de
chemin du graph
est
nombre entier positif
nombre entier positif
est
moins
que
nombre entier positif
No TPTP formula. May not be expressible in strict first order.
Government.kif 3219-3219
Denmark
est un
membre
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Government.kif 3220-3220
Sweden
est un
membre
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Government.kif 3221-3221
UnitedKingdom
est un
membre
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7891-7891
BeforeCommonEra
ne
recouvre
%n{pas}
CommonEra
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3585-3585
vegetationType
ArcticRegion
and
BotanicalTree
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
not