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
and
Sigma KEE - and
and
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 7410-7410
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 7409-7409
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 7408-7408
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1018-1022
accountHolder
FinancialAccount
and
agent cognitif
agent cognitif
est une
instance
de
corporation
FinancialAccount
est une
instance
de
CorporateAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
agent cognitif
agent cognitif
est une
instance
de
humain
FinancialAccount
est une
instance
de
PersonalAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
interval temporel
jour
finit
interval temporel
maturityDate
FinancialAccount
and
jour
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1462-1467
Le
altitude
de
Aircraft
est
objet en une partie
objet en une partie
est une
surface
de
PlanetEarth
Aircraft
est une
instance
de
Aircraft
absoluteHeight
Aircraft
and
AltitudeMeasure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4768-4779
La
valeur
absolue
de
nombre r�el
est
nombre r�el non n�gatif
nombre r�el
est une
instance
de
nombre r�el
nombre r�el non n�gatif
est une
instance
de
nombre r�el
nombre r�el
est une
instance
de
nombre r�el non n�gatif
nombre r�el
est
nombre r�el non n�gatif
nombre r�el
est une
instance
de
nombre r�el n�gatif
nombre r�el non n�gatif
est
nombre r�el
)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2321-2326
FinancialAccount
est une
instance
de
FinancialAccount
agent cognitif
poss
�de
FinancialAsset
FinancialAccount
est
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
agent cognitif
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
Entit�
est une
instance
de
PersonalAccount
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
que 1
entit�
est une
instance
de
JointAccount
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.
Mid-level-ontology.kif 26329-26340
Processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
proposition
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
proposition
est
proposition
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7524-7530
Objet en une partie
est une
instance
de
LiquidDrop
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 500.0 est
moins
que
nombre r�el
objet en une partie
est une
instance
de
Droplet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1789-1793
Entit�
est une
instance
de
WindowScrolling
entit�
est une
instance
de
UserSignifiedGraphicalAction
entit�
est une
instance
de
WindowScrollingByUser
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.
Weather.kif 2680-2690
Entit�
est une
instance
de
r�gion
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
airTemperature
entit�
and 298.15
KelvinDegree
(s)
barometricPressure
entit�
and 29.530
InchMercury
(s)
pendant
position temporel
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 82-97
Ann�e
est une
instance
de l'
ann
�e
nombre entier
BirthsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandLiveBirthsFn
secteur g�opolitique
and
ann�e
est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
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.
People.kif 52-64
Ann�e
est une
instance
de l'
ann
�e
nombre entier
PopulationGrowthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
(
nombre entier
+
nombre entier
P) est
position temporel
est une
instance
de l'
ann
�e
nombre entier
P
PopulationFn
secteur g�opolitique
est
nombre r�el
pendant
ann�e
PopulationFn
secteur g�opolitique
est
nombre r�el
pendant
position temporel
nombre r�el
+
nombre r�el
est
nombre r�el
(
nombre r�el
+ 1) est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24790-24795
PostalPlace
est
situ
� �
PostcodeArea
PostalPlace
est une
instance
de
PostalPlace
PostcodeArea
est une
instance
de
PostcodeArea
postPostcodeArea
PostalPlace
and
PostcodeArea
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.
Merge.kif 4768-4779
La
valeur
absolue
de
nombre r�el
est
nombre r�el non n�gatif
nombre r�el
est une
instance
de
nombre r�el
nombre r�el non n�gatif
est une
instance
de
nombre r�el
nombre r�el
est une
instance
de
nombre r�el non n�gatif
nombre r�el
est
nombre r�el non n�gatif
nombre r�el
est une
instance
de
nombre r�el n�gatif
nombre r�el non n�gatif
est
nombre r�el
)
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.
Mid-level-ontology.kif 26329-26340
Processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
proposition
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
proposition
est
proposition
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2680-2690
Entit�
est une
instance
de
r�gion
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
airTemperature
entit�
and 298.15
KelvinDegree
(s)
barometricPressure
entit�
and 29.530
InchMercury
(s)
pendant
position temporel
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 82-97
Ann�e
est une
instance
de l'
ann
�e
nombre entier
BirthsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandLiveBirthsFn
secteur g�opolitique
and
ann�e
est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
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.
People.kif 52-64
Ann�e
est une
instance
de l'
ann
�e
nombre entier
PopulationGrowthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
(
nombre entier
+
nombre entier
P) est
position temporel
est une
instance
de l'
ann
�e
nombre entier
P
PopulationFn
secteur g�opolitique
est
nombre r�el
pendant
ann�e
PopulationFn
secteur g�opolitique
est
nombre r�el
pendant
position temporel
nombre r�el
+
nombre r�el
est
nombre r�el
(
nombre r�el
+ 1) est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1517-1522
annualExpendituresOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
annualExpendituresOfArea
secteur g�opolitique
and
mesure de devise
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1488-1493
annualRevenuesOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
annualRevenuesOfArea
secteur g�opolitique
and
mesure de devise
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15000-15004
LiteracyAttribute
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
lire
AutonomousAgent
a la
capacit
� de faire
�crire
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 23046-23051
aunt
Woman
and
humain
humain
sister
Woman
and
humain
humain
est un
parent
de
humain
No TPTP formula. May not be expressible in strict first order.
People.kif 272-293
average
liste
and
nombre r�el
liste
nombre entier positif
longueur
de
liste
est
longueur
de
liste
1th
liste
est
liste
nombre entier positif
nombre entier positif
est un
membre
de
liste
nombre r�el
nombre r�el
MINUSONE,
nombre entier positif
and
nombre entier positif
nombre r�el
est
plus
grand
que 1
nombre r�el
est plus
petit
ou �gal �
longueur
de
liste
nombre entier positif
th
liste
est
nombre r�el
nombre entier positif
est un
membre
de
liste
nombre r�el
est
nombre entier positif
th
liste
nombre entier positif
est un
membre
de
liste
nombre r�el
MINUSONE est
nombre r�el
+ 1)
nombre r�el
MINUSONE est
nombre entier positif
th
liste
nombre entier positif
est
nombre entier positif
+
nombre entier positif
)
nombre entier positif
est
longueur
de
liste
nombre r�el
est
nombre entier positif
th
liste
+
nombre entier positif
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3943-3948
bankAccount
FinancialAccount
and
BankFinancialOrganization
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.
People.kif 1528-1539
beliefGroupPercentInRegion
BeliefGroup
,
nombre r�el
and
secteur g�ographique
collection
collection
,
physique
,
physique
2,
nombre r�el
1 and
nombre r�el
2
physique
est
situ
� �
secteur g�ographique
physique
est un
membre
de
BeliefGroup
physique
est un
membre
de
collection
memberCount
collection
and
nombre r�el
1
physique
2 est
situ
� �
secteur g�ographique
physique
2 est un
membre
de
collection
memberCount
collection
and
nombre r�el
2
nombre r�el
+ 100 est
nombre r�el
1 +
nombre r�el
2
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1565-1570
capitalExpendituresOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
capitalExpendituresOfArea
secteur g�opolitique
and
mesure de devise
pendant
position 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.
People.kif 456-469
Ann�e
est une
instance
de l'
ann
�e
nombre entier
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Government.kif 1241-1248
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION est une
instance
de
ElectionFn
?AGENT ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
Male
est un
attribut
de ?VOTER
contient
information
ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.
Government.kif 923-931
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY est une
instance
de
nation
?ELECTION est une
instance
de
ElectionFn
?COUNTRY ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
?VOTER est un
citoyen
de ?COUNTRY
contient
information
VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?AGENT est
capable
de faire
VotingFn
?ELECTION dans le r�le
agent
contient
information
UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?VOTING ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
contient
information
CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une
instance
de ?SUBSTANCE ?THERAPY est une
instance
de ?PROCESS ?ORGANISM
exp
�rimente ?THERAPY ?SAMPLE est un
patient
de ?THERAPY
diminue
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18202-18219
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une
instance
de
PaperShredder
?CUT est une
instance
de
couper
?X est un
instrument
pour ?CUT ?PAPER est une
instance
de
Paper
?PAPER est un
patient
de ?CUT ?CBO est
situ
� � ?PAPER ?CBO est une
instance
de
VisualContentBearingObject
?CBO
contient
information ?INFO
diminue
la probabilit� de ?READ ?READ est une
instance
de
Interpreting
?INFO est un
patient
de ?READ
temps
d'existence de ?CUT arrive
plus
t�t que
temps
d'existence de ?READ
No TPTP formula. May not be expressible in strict first order.
Military.kif 872-881
AvailableForMilitaryServiceMaleFn
secteur g�opolitique
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Military.kif 895-906
FitForMilitaryServiceMaleFn
secteur g�opolitique
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
organisme
and
secteur g�ographique
est
instances
dans la
classe
d�crite par
organisme
I
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31712-31717
PopulationFn
secteur g�opolitique
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Military.kif 933-946
ReachingMilitaryAgeAnnuallyMaleFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4559-4564
Processus
entit�
processus
est une
instance
de
disseminer
processus
est un
agent
de
Netflix
entit�
est un
patient
de
processus
entit�
est une
instance
de
motion picture
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4566-4569
Processus
processus
est une
instance
de
FilmMaking
processus
est un
agent
de
Netflix
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4590-4593
Agent cognitif
NewReporter
est un
attribut
de
agent cognitif
ProPublica
emploie
agent cognitif
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2453-2457
Position temporel
position temporel
est une
instance
de l'
ann
�e 1976
coworker
SteveJobsOfApple
and
SteveWozniakOfApple
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2441-2445
Position temporel
position temporel
est une
instance
de l'
ann
�e 2002
coworker
SteveJobsOfApple
and
TimCookOfApple
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5109-5112
Objet
objet
est une
sous
-classe de
HandToolBox
manufacturer
objet
and
SortimoCorp
No TPTP formula. May not be expressible in strict first order.
Media.kif 1970-1978
Interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
temps
d'existence de
JesusOfNazareth
interval temporel
commence
temps
d'existence de
TwelveApostles
entit�
entit�
est un
membre
de
TwelveApostles
pendant
interval temporel
friend
entit�
and
JesusOfNazareth
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3309-3315
IBookstore
a pour
but
?D ?D est une
instance
de
DownloadingOverNetwork
IBookstore
est un
instrument
pour ?D ?T est une
instance
de
texte
objectTransferred
?D and ?T
No TPTP formula. May not be expressible in strict first order.
Media.kif 2501-2504
Serbia
est une
instance
de
EuropeanNation
position temporel
est une
instance
de le
jour
5
pendant
apr
�s
position temporel
No TPTP formula. May not be expressible in strict first order.
Media.kif 2496-2499
Serbia
est une
instance
de
IndependentState
position temporel
est une
instance
de le
jour
5
pendant
apr
�s
position temporel
No TPTP formula. May not be expressible in strict first order.
Media.kif 2506-2509
Serbia
s'appele
nom
"Republic of Serbia"
position temporel
est une
instance
de le
jour
5
pendant
apr
�s
position temporel
No TPTP formula. May not be expressible in strict first order.
Media.kif 2528-2531
Position temporel
est une
instance
de le
jour
3
Montenegro
est une
instance
de
EuropeanNation
pendant
apr
�s
position temporel
No TPTP formula. May not be expressible in strict first order.
Media.kif 2523-2526
Position temporel
est une
instance
de le
jour
3
Montenegro
est une
instance
de
IndependentState
pendant
apr
�s
position temporel
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
Ann�e
est une
instance
de l'
ann
�e
nombre entier
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
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