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
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8471-8474
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1462-1464
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8468-8468
Le nombre 1 argument de
WhenFn
est une
instance
de
physique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8465-8465
WhenFn
est une
instance
de
relation temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8467-8467
WhenFn
est une
instance
de
relation total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8466-8466
WhenFn
est une
instance
de
function unaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8469-8469
Le
domaine
de
WhenFn
est une instance de
interval temporel
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.
english_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.
french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2054-2054
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 285-285
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 290-290
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4225-4225
WhereFn
est
reli
� � l'int�rieur de SUMO �
WhenFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62985-62985
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 456-456
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62984-62984
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62983-62983
antecedent
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.
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.
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
nombre r�el
MilesPerHour
(s) and
dur�e temporel
objet
est une
instance
de
Automobile
processus
est une
instance
de
GasPedal
processus
est une
instance
de
Pushing
processus
aboutit
�
objet
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Crankshaft
objet
est une
partie
de
InternalCombustionEngine
la
mesure
de
objet
est
RotationFn
entit�
MilesPerHour
(s) and
dur�e temporel
pendant
temps
d'existence de
processus
l'argument
entit�
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22920-22925
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
benefits
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29595-29604
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
suffers
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6447-6459
AVPUVerbalStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Speaking
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1500-1512
ChronicFatigueSyndrome
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
r�cr�ation ou exercice
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
l'argument
PostExertionalMalaise
est un
attribut
de
AutonomousAgent
pendant
interval temporel
2
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
2 a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3231-3245
Booting
est un
attribut
de
composant d'un appareil
pendant
physique
HostReady
est un
attribut
de
composant d'un appareil
pendant
physique
2
physique
2 est
apr
�s
temps
d'existence de
physique
composant d'un appareil
est une
instance
de
ComputerDisplay
composant d'un appareil
est
connect
� �
composant d'un appareil
l'argument
entit�
entit�
est une
instance
de
HomeScreen
displayedUpon
entit�
and
composant d'un appareil
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Law.kif 480-489
AutonomousAgent
desire
Dead
est un
attribut
de
entit�
pendant
interval temporel
AutonomousAgent
URDER est une
instance
de
Murder
AutonomousAgent
URDER est un
agent
de
AutonomousAgent
entit�
est un
patient
de
AutonomousAgent
URDER
interval temporel
arrive
plus
t�t que
temps
d'existence de
AutonomousAgent
URDER
Premeditated
est un
attribut
de
AutonomousAgent
URDER
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30662-30683
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18203-18209
Embryonic
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
ne
recouvre
%n{pas}
interval temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18181-18187
Larval
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
rencontre
interval temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17193-17203
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 501-514
Processus
est une
instance
de
Ambulating
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
START est
d
�but de
temps
d'existence de
processus
processus
START est
d
�but de
temps
d'existence de
processus
processus
START se produit
avant
processus
START
processus
START se produit
avant
processus
START
processus
est
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9839-9861
Objet
est une
instance
de
Antacid
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12383-12397
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectAttached
processus
and
entit�
objectAttached
processus
and
entit�
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9900-9922
Objet
est une
instance
de
ProtonPumpInhibitor
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
est une
instance
de
AccessingWebPage
entit�
est une
instance
de
WebPage
processus
est une
instance
de
DataTransfer
objet
est une
instance
de
Server
processus
est une
instance
de
demander
AutonomousAgent
est une
instance
de
WebBrowser
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
AccessingWebPage
processus
est un
sous
-processus de
AccessingWebPage
la
fin
de
temps
d'existence de
processus
est
d
�but de
interval temporel
la
fin
de
temps
d'existence de
processus
est
fin
de
interval temporel
SiteSpeedFn
AccessingWebPage
est
interval temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 487-499
Processus
est une
instance
de
Ambulating
interval temporel
est
temps
d'existence de
processus
processus
processus
processus
est une
instance
de
Stepping
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
processus
est
processus
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 89-103
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 665-671
Processus
est une
instance
de
AntiSurfaceOperation
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
entit�
est une
instance
de
plan d'eau
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13831-13839
Processus
est une
instance
de
�vaporer
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
temps
d'existence de
processus
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6505-6529
Processus
est une
instance
de
CheckingVitals
processus
est un
agent
de
agent cognitif
objet
est un
patient
de
processus
Heart
est une
instance
de
Heart
Heart
est une
partie
de
objet
Lung
est une
instance
de
Lung
Lung
est une
partie
de
objet
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
agent cognitif
conna
�t
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11647-11654
Processus
est une
instance
de
changement de possession
entit�
est un
patient
de
processus
entit�
poss
�de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
poss
�de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
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 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 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.
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 968-975
yearOfFounding
organisation
and
nombre entier
processus
nombre entier
EAR
nombre entier
EAR
recouvre
temps
d'existence de
processus
nombre entier
EAR est une
instance
de l'
ann
�e
nombre entier
processus
est une
instance
de
Founding
organisation
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16852-16861
almaMater
humain
and
PostSecondarySchool
processus
processus
est une
instance
de
processus educationnel
processus
aboutit
�
humain
eventLocated
processus
and
PostSecondarySchool
Student
est un
attribut
de
humain
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20760-20767
actedIn
humain
and
ContentBearingPhysical
processus
est une
instance
de
DramaticActing
humain
est un
patient
de
processus
ContentBearingPhysical
est le
resultat
de
processus
Actor
est un
attribut
de
humain
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
Processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet d'art
Artist
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6231-6244
allergic
humain
and
substance
substance
UB est une
instance
de
substance
substance
UB
rencontre
humain
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AllergicReaction
humain
exp
�rimente
entit�
temps
d'existence de
entit�
recouvre
position temporel
le
d
�but de
position temporel
se produit
avant
le
d
�but de
temps
d'existence de
entit�
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4373-4382
TwoFactorAuthentication
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
est un
attribut
de
AutonomousAgent
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Zakat
entit�
est une
instance
de
ann�e
entit�
prend place
pendant
temps
d'existence de
AutonomousAgent
FullyFormed
est un
attribut
de
AutonomousAgent
pendant
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfCurrency
entit�
est
plus
grand
que
mesure de devise
+ 0.025 a la
force
modale
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Music.kif 457-470
CoverRecording
est un
attribut
de
MusicRecording
MusicRecording
est une
instance
de
MusicRecording
songArtist
MusicRecording
and
agent cognitif
musicInterpretation
MusicRecording
and
musique
record
MusicRecording
and
musique
M
MusicRecording
agent cognitif
RTIST and
musique
USIC
musicInterpretation
MusicRecording
and
musique
songArtist
MusicRecording
and
agent cognitif
RTIST
agent cognitif
est
agent cognitif
RTIST
record
MusicRecording
and
musique
USIC
temps
d'existence de
musique
USIC se produit
avant
temps
d'existence de
musique
M
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2881-2897
FOKOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2917-2933
GTCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
recouvre
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
finit
interval temporel
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2854-2870
IOCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2008-2029
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
acheter
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
askPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est plus
petit
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2031-2052
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
vendre
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
bidPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
est un
attribut
de
objet
objet
est une
instance
de
Table
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
eventLocated
processus
and
objet
l'argument
entit�
entit�
and
objet
2
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
AutonomousAgent
est
entit�
entit�
est une
instance
de
GroupOfPeople
eventLocated
entit�
and
objet
2
temps
d'existence de
processus
rencontre
temps
d'existence de
entit�
objet
est
objet
2 a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13841-13854
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Gas
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
�vaporer
entit�
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 684-695
checkOutTime
agent cognitif
and
point temporel
guest
agent cognitif
and
agent cognitif
expects
agent cognitif
and
entit�
entit�
entit�
est une
instance
de
point temporel
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
CheckOutService
entit�
est un
agent
de
agent cognitif
le
d
�but de
temps
d'existence de
entit�
se produit
avant
entit�
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.
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.
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.
Media.kif 1920-1920
JesusOfNazareth
est
situ
� �
Palestine
pendant
temps
d'existence de
JesusOfNazareth
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
WhenFn