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
result
Sigma KEE - result
result
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2515-2515
result
et
instrument
sont
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2551-2551
Le nombre 1 argument de
result
est une
instance
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2552-2552
Le nombre 2 argument de
result
est une
instance
de
entit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2549-2549
result
est une
instance
de
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2550-2550
result
est une
instance
de
relation partielle
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2548-2548
result
est une
sous
-relation de
patient
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2513-2513
resource
et
result
sont
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.
english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.
french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 73-73
antecedent
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 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.
Biography.kif 730-740
Writer
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20734-20743
directed
humain
and
motion picture
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
FilmDirector
est un
attribut
de
humain
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3040-3054
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
entit�
processus
cause
entit�
suffers
entit�
and
agent cognitif
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3022-3038
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est un
agent
de
agent cognitif
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
agent cognitif
ROC
processus
cause
agent cognitif
ROC
suffers
agent cognitif
ROC and
agent cognitif
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12828-12832
Processus
est une
instance
de
construire
entit�
est le
resultat
de
processus
entit�
est une
instance
de
artefact stationnaire
No TPTP formula. May not be expressible in strict first order.
Dining.kif 586-602
Processus
est une
instance
de
CateringService
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
UST
AutonomousAgent
est
situ
� �
objet
customer
processus
UST and
AutonomousAgent
processus
entit�
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
manger
processus
est un
agent
de
processus
UST
eventLocated
processus
and
objet
objet
est
objet
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20415-20420
Processus
est une
instance
de
Copying
objet
est une
resource
pour
processus
objet
est le
resultat
de
processus
objet
est une
copie
exact de
objet
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 172-178
Processus
est une
instance
de
cr�ation
proposition
est le
resultat
de
processus
proposition
est une
instance
de
proposition
processus
est un
agent
de
agent cognitif
propositionOwner
agent cognitif
and
proposition
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10055-10078
Objet
est une
instance
de
Antidiuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
interval temporel
est
interval temporel
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(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.
Mid-level-ontology.kif 10025-10046
Objet
est une
instance
de
Diuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(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.
Mid-level-ontology.kif 74-83
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12046-12062
Processus
est une
instance
de
Deciding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
ensemble
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
entit�
entit�
est un
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
pendant
apr
�s
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 690-694
Processus
est une
instance
de
DevelopingWeaponOfMassDestruction
entit�
est le
resultat
de
processus
entit�
est une
instance
de
WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12547-12556
Objet
est une
instance
de
substance �l�mentaire
objet
est une
instance
de
substance �l�mentaire
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
entit�
est une
instance
de
substance compos�e
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 1527-1533
Processus
est une
instance
de
OperationPlanning
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
proposition
est une
instance
de
OperationPlan
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10840-10848
Processus
est une
instance
de
planifier
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
proposition
proposition
est une
instance
de
plan
ContentBearingPhysical
contient
information
proposition
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3794-3798
Processus
est une
instance
de
Experimenting
entit�
est le
resultat
de
processus
entit�
est une
instance
de
formule
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5485-5493
Processus
est une
instance
de
Felling
entit�
est le
resultat
de
processus
entit�
TEM
entit�
est une
instance
de
DeadFn
entit�
TEM
entit�
TEM est une
sous
-classe de
PlantStem
No TPTP formula. May not be expressible in strict first order.
Food.kif 3692-3699
Processus
est une
instance
de
Fermentation
entit�
est un
patient
de
processus
entit�
est une
instance
de
JuiceOfFn
WineGrape
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Wine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 654-660
Objet
est une
instance
de
NuclearWeaponProductionFacility
processus
est une
instance
de
DevelopingWeaponOfMassDestruction
eventLocated
processus
and
objet
entit�
est le
resultat
de
processus
entit�
est une
instance
de
NuclearWeapon
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16047-16052
Processus
est une
instance
de
Choreographing
proposition
est le
resultat
de
processus
processus
exprime
le contenu de
proposition
processus
est une
instance
de
dancer
No TPTP formula. May not be expressible in strict first order.
Food.kif 2687-2692
Processus
est une
instance
de
Harvesting
objet
est le
resultat
de
processus
objet
est une
instance
de
Mushroom
Produce
est un
attribut
de
objet
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 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.
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.
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 20752-20758
actedIn
humain
and
ContentBearingPhysical
processus
processus
est une
instance
de
DramaticActing
humain
est un
patient
de
processus
ContentBearingPhysical
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17332-17345
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4195-4204
Produce
est un
attribut
de
objet
objet
est une
instance
de
fruit ou v�g�tal
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
FoodForFn
humain
No TPTP formula. May not be expressible in strict first order.
Communications.kif 202-214
Processus
aboutit
�
objet
processus
est une
instance
de
Messaging
entit�
est un
patient
de
processus
objet
est une
instance
de
Telex
processus
entit�
objet
est un
instrument
pour
processus
entit�
est le
resultat
de
processus
entit�
d
�finie
entit�
entit�
est une
instance
de
texte
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Food.kif 994-1003
Processus
est une
instance
de
Crushing
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
processus
processus
est le
resultat
de
processus
processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
Food.kif 3199-3211
Processus
est une
instance
de
Curdling
substance
est un
patient
de
processus
substance
est une
instance
de
Colloid
processus
substance
processus
est une
instance
de
separer
processus
est un
sous
-processus de
processus
substance
est un
patient
de
processus
substance
est le
resultat
de
processus
substance
est une
pi
�ce de
substance
substance
est une
instance
de
substance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8726-8736
Entit�
est une
instance
de
ChemicalAcid
entit�
est une
instance
de
ChemicalBase
processus
est une
instance
de
processus chimique
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
processus
S
processus
S est une
instance
de
ChemicalSalt
processus
S est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19379-19392
Attribut
est une
instance
de
SecondaryColor
attribut
est un
attribut
de
objet
processus
objet
,
objet
,
attribut
and
attribut
objet
est le
resultat
de
processus
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
attribut
est un
attribut
de
objet
attribut
est un
attribut
de
objet
attribut
est une
instance
de
couleur primaire
attribut
est une
instance
de
couleur primaire
attribut
est
attribut
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10222-10237
Processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
organisme
AutonomousAgent
exp
�rimente
processus
entit�
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet organique
Dead
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
immediatement
avant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 85-94
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
AutonomousAgent
exp
�rimente
processus
entit�
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 750-758
Processus
est une
instance
de
DismantlingWeaponOfMassDestruction
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
DevelopingWeaponOfMassDestruction
entit�
est le
resultat
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Food.kif 1190-1205
Processus
est une
instance
de
FoamingMilk
entit�
est une
instance
de
ProcessedMilk
entit�
est un
patient
de
processus
processus
processus
and
entit�
processus
est une
instance
de
r�chauffer
entit�
est un
patient
de
processus
processus
est une
instance
de
Aerating
entit�
est un
patient
de
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Bubble
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3665-3678
Processus
est une
instance
de
Gaslighting
processus
est un
agent
de
AutonomousAgent
suffers
processus
and
AutonomousAgent
processus
processus
est une
instance
de
perception
AutonomousAgent
exp
�rimente
processus
causesProposition
suffers
processus
and
AutonomousAgent
and
AutonomousAgent
ne
conna
�t %n{pas}
entit�
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 655-669
Objet
est une
instance
de
Gene
objet
est
situ
� �
objet
objet
est une
instance
de
cellule
processus
objet
and
objet
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
processus
a pour
origine
objet
objet
est le
resultat
de
processus
objet
est une
instance
de
Nucleotide
objet
est une
partie
de
objet
objet
est une
instance
de
RNAMolecule
objet
est
situ
� �
objet
No TPTP formula. May not be expressible in strict first order.
Food.kif 1012-1026
Processus
est une
instance
de
Grinding
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet corpusculaire
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
collection
entit�
entit�
est un
membre
de
entit�
entit�
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.
Medicine.kif 6219-6228
Trou
est une
instance
de
Laceration
objet
est une
instance
de
Skin
objet
est
h
�te du trou
trou
objet
est une
partie
de
objet
processus
processus
est une
instance
de
percer
trou
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1607-1617
AutonomousAgent
est une
instance
de
organisation
IndustryAttribute
est un
attribut
de
AutonomousAgent
industryProductType
IndustryAttribute
and
objet
processus
entit�
processus
est une
instance
de
faire
entit�
est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5210-5222
Entit�
est une
instance
de
ForestProduct
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
organisme
processus
objet
processus
est une
instance
de
Agriculture
entit�
est le
resultat
de
processus
eventLocated
processus
and
objet
objet
est une
instance
de
Forest
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4384-4399
Processus
est une
instance
de
mettre
entit�
est un
patient
de
processus
entit�
est une
instance
de
Spice
processus
aboutit
�
objet
objet
est une
instance
de
PreparedFood
processus
attribut
processus
est une
instance
de
changement interne
objet
est un
patient
de
processus
attribut
est le
resultat
de
processus
attribut
est un
attribut
de
objet
attribut
est une
instance
de
FlavourAttribute
attribut
est une
instance
de
attribut de couleur
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2078-2091
Objet corpusculaire
est une
instance
de
ViewItemPage
processus
est une
instance
de
WebListing
processus
est un
composant
de
objet corpusculaire
entit�
est un
patient
de
processus
entit�
est une
instance
de
physique
processus
processus
and
processus
CONTENT
processus
est une
instance
de
d�clarer
processus
est un
patient
de
processus
processus
inclut une
r
�f�rence �
entit�
processus
CONTENT est le
resultat
de
processus
processus
CONTENT est une
partie
de
objet corpusculaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16802-16810
Proposition
est une
instance
de
plan
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
proposition
NING
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est le
resultat
de
proposition
NING
No TPTP formula. May not be expressible in strict first order.
Military.kif 32-44
Proposition
est une
instance
de
plan
physique
est une
instance
de
processus
proposition
d
�finie
physique
proposition
NING
ContentBearingPhysical
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est le
resultat
de
proposition
NING le
d
�but de
temps
d'existence de
proposition
NING arrive
plus
t�t que le
d
�but de
temps
d'existence de
physique
la
fin
de
temps
d'existence de
proposition
NING arrive
plus
t�t que la
fin
de
temps
d'existence de
physique
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