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
If
an object
is an
instance
of
Aegilops grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
If
an object
is an
instance
of
seafood
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
fish
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
If
an object
is an
instance
of
another kind of object
and
another kind of object
is a
subclass
of
cell nucleus
and every
the other kind of object
is
initially
part
of a
eukaryotic cell
,
then there exists
a third object
such that
the third object
is an
instance
of
chromotin
and
the third object
is a
part
of
the object
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
If
an object
is an
instance
of
spelt wheat grass
and
the object
ELL is a
part
of
the object
and
the object
ELL is an
instance
of
the object
LASS,
then
the object
LASS is a
subclass
of
hexaploid cell
(=>
(
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
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the other object
is a
part
of
the third object
and
the third object
is an
instance
of
the kind of organic object
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
If
an object
is an
instance
of
spice
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
plant anatomical structure
(=>
(
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
If
an object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
,
then there exists
another object
such that
the other object
is an
instance
of
weapon
and
the other object
is a
part
of
the object
and
the other object
is
capable
of doing
the kind of process
as a
the case role
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
If
an object
is an
instance
of
common wheat grass
and
the object
ELL is a
part
of
the object
and
the object
ELL is an
instance
of
the object
LASS,
then
the object
LASS is a
subclass
of
hexaploid cell
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
If
an object
is an
instance
of
durum wheat grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
tetraploid cell
(=>
(
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
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
animal
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
If
an object
is an
instance
of
einkorn wheat grass
and
another object
is a
part
of
the object
and
the object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
If
an object
is an
instance
of
emmer wheat grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
tetraploid cell
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
If
an object
is an
instance
of
food from plant
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
plant
(=>
(
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
If
a class
is a
subclass
of
tissue
and
another class
is a
subclass
of
tissue
and
an object
is an
instance
of
the class
and
another object
is an
instance
of
the other class
and
a third object
is an
instance
of
human
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
the class
is not
equal
to
the other class
and
the class
is not a
subclass
of
the other class
and
the other class
is not a
subclass
of
the class
and
the object
is
adjacent
to
the other object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
connective tissue
and
the entity
is
between
the object
and
the other object
has the
modal
force
of
likely
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
If
an object
is an
instance
of
Triticum urartu
and
another object
is a
part
of
the object
and
the object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
(=>
(
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
If
an object
is an
instance
of
a kind of compound substance
and
a kind of compound substance
is a
subclass
of
compound substance
and there doesn't exist
another object
such that
the other object
is an
instance
of
the kind of compound substance
and
the other object
is a
part
of
the object
and the number of molecules of
a kind of elemental substance
in a molecule of
the kind of compound substance
is
an integer
and
a collection
is an
instance
of
group
and
a third object
is a
member
of
the collection
and
the third object
is a
part
of
the object
and
the third object
is an
instance
of
a kind of elemental substance
,
then
the integer
is a
member
count of
the collection
(=>
(
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
If
pulmonologist
is an
attribute
of
an object
,
then there exist
a process
,
another process
,, ,
another object
and
a third object
such that
a class
is a
subclass
of
diagnostic process
and
another class
is a
subclass
of
therapeutic process
and
the other object
is a
patient
of
the process
and
the other object
is a
patient
of
the other process
and
the third object
is an
instance
of
lung
and
the third object
is a
part
of
the other object
and
the process
is
located
at
lung
and
the other process
is
located
at
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
If
an object
is an
instance
of
plant
and
another object
is a
part
of
the object
,
then there exist
a process
,
an entity
and
another kind of process
such that
the process
is an
instance
of
another kind of process
and
the other kind of process
is a
subclass
of
keeping
and
the entity
is an
instance
of
freshwater
and
the entity
is a
patient
of
the process
and
the other object
is
capable
of doing
the other kind of process
as a
instrument
and
the other object
is an
instance
of
plant leaf
or
the other object
is an
instance
of
plant stem
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