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
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
Wenn
sheddingLeaves
Plant
and
PlantLeaf
und
** Plant
ist ein
fall
von
DeciduousTree
%n{nicht} und
** PlantLeaf
ist ein
fall
von
PlantLeaf
%n{nicht},
dann es gibt
** Process
und
** Process
um
** Process
ist eine
teilkategorie
von
Removing
und
** ** Process
gescheit
alle
YearDuration
und
** ** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
beginnet an
** Plant
%n{nicht} und
** PlantLeaf
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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 9560-9573
Wenn
Object
ist ein
fall
von
Plant
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Process
,
Entity
, and und
** ** Process
um
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** ** Process
ist eine
teilkategorie
von
Keeping
und
** Entity
ist ein
fall
von
FreshWater
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
instrument
** ** ** Process
zu tun und
** ** Object
ist ein
fall
von
PlantLeaf
%n{nicht} oder
** ** Object
ist ein
fall
von
PlantStem
%n{nicht}
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
LeafyGreenVegetable
%n{nicht},
dann
initialPart
** ** Object
and
Plant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
Cabbage
%n{nicht},
dann
initialPart
** ** Object
and
CabbagePlant
(
subclass
PlantLeaf
PlantAnatomicalStructure
)
Mid-level-ontology.kif 9467-9467
PlantLeaf
ist eine
teilkategorie
von
PlantAnatomicalStructure
(
subclass
PlantLeaf
Organ
)
Mid-level-ontology.kif 9468-9468
PlantLeaf
ist eine
teilkategorie
von
Organ
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