Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Objet
est une
instance
de
AegilopsGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
Objet
est une
instance
de
Seafood
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
poisson
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
Objet
est une
instance
de
objet
objet
est une
sous
-classe de
CellNucleus
initialPart
objet
and
EukaryoticCell
objet
objet
est une
instance
de
Chromotin
objet
est une
partie
de
objet
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Objet
est une
instance
de
SpeltWheatGrass
objet
ELL est une
partie
de
objet
objet
ELL est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
HexaploidCell
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
Objet
est une
instance
de
Spice
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
PlantAnatomicalStructure
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
Objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
processus
est une
sous
-classe de
tirer
objet
objet
est une
instance
de
arme
objet
est une
partie
de
objet
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Objet
est une
instance
de
CommonWheatGrass
objet
ELL est une
partie
de
objet
objet
ELL est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
HexaploidCell
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
Objet
est une
instance
de
DurumWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
TetraploidCell
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
Objet
est une
instance
de
AuditoriumSeat
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Auditorium
objet
est une
instance
de
PerformanceStage
objet
est
situ
� �
objet
objet
est une
instance
de
humain
processus
est une
sous
-classe de
voir
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Objet
est une
instance
de
viande
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
animal
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
Objet
est une
instance
de
EinkornWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
Objet
est une
instance
de
EmmerWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
TetraploidCell
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Objet
est une
instance
de
FoodFromPlant
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
plante
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
est une
sous
-classe de
tissu
classe
est une
sous
-classe de
tissu
objet
est une
instance
de
classe
objet
est une
instance
de
classe
objet
est une
instance
de
humain
objet
est une
partie
de
objet
objet
est une
partie
de
objet
classe
est
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
objet
est
Adjacent
�
objet
l'argument
entit�
entit�
est une
instance
de
ConnectiveTissue
entit�
est
entre
objet
et
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
Objet
est une
instance
de
TriticumUrartu
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Objet
est une
instance
de
substance compos�e
substance compos�e
est une
sous
-classe de
substance compos�e
objet
objet
est une
instance
de
substance compos�e
objet
est une
partie
de
objet
molecularRatio
substance �l�mentaire
,
nombre entier
and
substance compos�e
collection
est une
instance
de
groupe
objet
est un
membre
de
collection
objet
est une
partie
de
objet
objet
est une
instance
de
substance �l�mentaire
memberCount
collection
and
nombre entier
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
Pulmonologist
est un
attribut
de
objet
processus
processus
,
objet
and
objet
classe
est une
sous
-classe de
processus de diagnostique
classe
est une
sous
-classe de
processus therapeutique
objet
est un
patient
de
processus
objet
est un
patient
de
processus
objet
est une
instance
de
Lung
objet
est une
partie
de
objet
processus
est
situ
� �
Lung
processus
est
situ
� �
Lung
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
Objet
est une
instance
de
plante
objet
est une
partie
de
objet
processus
entit�
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
garder
entit�
est une
instance
de
FreshWater
entit�
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
instrument
objet
est une
instance
de
PlantLeaf
objet
est une
instance
de
PlantStem
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