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
memberType
Sigma KEE - memberType
memberType
appearance as argument number 1
(
documentation
memberType
EnglishLanguage
"(
memberType
?GROUP ?TYPE) means that all the members of the
Collection
?GROUP belong to the
Class
?TYPE.")
Mid-level-ontology.kif 22651-22653
(
domain
memberType
1
Collection
)
Mid-level-ontology.kif 22648-22648
Die Zahl 1 Argument von
memberType
ist ein
fall
von
Collection
%n{nicht}
(
domain
memberType
2
Class
)
Mid-level-ontology.kif 22649-22649
Die Zahl 2 Argument von
memberType
ist ein
fall
von
Class
%n{nicht}
(
instance
memberType
BinaryPredicate
)
Mid-level-ontology.kif 22647-22647
memberType
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
memberType
"%2 %n 是 %1 的
member
类别")
domainEnglishFormat.kif 1695-1695
(
format
ChineseTraditionalLanguage
memberType
"%2 %n 是 %1 的
member
類別")
domainEnglishFormat.kif 1694-1694
(
format
EnglishLanguage
memberType
"%2 is %n a
member
type of %1")
domainEnglishFormat.kif 1693-1693
(
termFormat
ChineseLanguage
memberType
"会员类型")
domainEnglishFormat.kif 37037-37037
(
termFormat
ChineseTraditionalLanguage
memberType
"會員類型")
domainEnglishFormat.kif 37036-37036
(
termFormat
EnglishLanguage
memberType
"member type")
domainEnglishFormat.kif 37035-37035
antecedent
(=>
(
and
(
chromosomeNumber
?C ?I)
(
part
?N ?C)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 702-710
Wenn
chromosomeNumber
EukaryoticCell
and
Integer
und
Object
ist ein
teil
von
** EukaryoticCell
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** EukaryoticCell
OLL ist ein
fall
von
Collection
%n{nicht} und
** EukaryoticCell
OLL
befindet
sich an %n{nicht} und
memberType
** EukaryoticCell
OLL and
Chromosome
,
dann
memberCount
** EukaryoticCell
OLL and
** Integer
(=>
(
and
(
haploidNumber
?CELL ?I)
(
instance
?CELL
Gamete
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 793-802
Wenn
haploidNumber
Gamete
and
Integer
und
** Gamete
ist ein
fall
von
Gamete
%n{nicht} und
Object
ist ein
teil
von
** Gamete
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
Collection
ist ein
fall
von
Collection
%n{nicht} und
** Collection
befindet
sich an %n{nicht} und
memberType
** Collection
and
Chromosome
,
dann
memberCount
** Collection
and
** Integer
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B)
(
equal
?A ?C)
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1003-1022
Wenn
Object
ist ein
fall
von
HexaploidCell
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
,
dann es gibt
** Collection
,
** Collection
, and und
** Collection
um
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist gleich
** ** Collection
nicht
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 973-983
Wenn
Object
ist ein
fall
von
PentaploidCell
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht},
dann
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 5
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 950-965
Wenn
Object
ist ein
fall
von
TetraploidCell
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
,
dann es gibt
** Collection
und
** Collection
um
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist gleich
** ** Collection
nicht
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 920-930
Wenn
Object
ist ein
fall
von
TriploidCell
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht},
dann
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 938-948
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 4 und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
TetraploidCell
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 991-1001
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 6 und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
HexaploidCell
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
CommonWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EmmerWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsTauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
DurumWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
TriticumUrartu
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsSpeltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
EmmerWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EinkornWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsGrass
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 895-904
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 2 und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
DiploidCell
%n{nicht}
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 865-874
Wenn
Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** Collection
and
Chromosome
und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
EukaryoticCell
%n{nicht} und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht},
dann
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 876-887
Wenn
Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** Collection
and
Chromosome
und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
EukaryoticCell
%n{nicht} und
MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** MonoploidChromosomeSet
ist gleich
** ** MonoploidChromosomeSet
nicht,
dann
homologousChromosomePair
** MonoploidChromosomeSet
and
** ** MonoploidChromosomeSet
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 718-730
Wenn
Collection
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
memberType
** Collection
and
Chromosome
und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
EukaryoticCell
%n{nicht} und
Chromosome
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Chromosome
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Chromosome
ist gleich
** ** Chromosome
nicht,
dann
homologousChromosome
** Chromosome
and
** ** Chromosome
(=>
(
and
(
memberType
?GROUP ?TYPE)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER ?TYPE))
Mid-level-ontology.kif 22655-22659
Wenn
memberType
Collection
and
Class
und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
** Class
%n{nicht}
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
Wenn
allRoomsPhysicalAmenity
RoomInventory
and
** Physical
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
allRoomsPolicy
?INV ?POLICY)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 233-238
Wenn
allRoomsPolicy
RoomInventory
and
Policy
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomPolicy
** ** HotelUnit
and
** Policy
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
Wenn
allRoomsServiceAmenity
RoomInventory
and
** Physical
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
CommonWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EmmerWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsTauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
DurumWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
TriticumUrartu
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsSpeltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
EmmerWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EinkornWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsGrass
(=>
(
and
(
numberAdultOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
HumanAdult
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2883-2892
Wenn
numberAdultOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** Collection
and
HumanAdult
und
memberCount
** Collection
and
** Integer
und
potentialCustomer
** Collection
and
** AutonomousAgent
(=>
(
and
(
numberChildOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?SUBCOL)
(
and
(
instance
?COL
GroupOfPeople
)
(
subCollection
?SUBCOL ?COL)
(
instance
?SUBCOL
GroupOfPeople
)
(
memberType
?SUBCOL
HumanChild
)
(
memberCount
?SUBCOL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2903-2914
Wenn
numberChildOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
und
** Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** ** Collection
and
HumanChild
und
memberCount
** ** Collection
and
** Integer
und
potentialCustomer
** Collection
and
** AutonomousAgent
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
Wenn
numberOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** Collection
and
Human
und
memberCount
** Collection
and
** Integer
und
potentialCustomer
** Collection
and
** AutonomousAgent
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30944-30959
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
Integer
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** entity
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** entity
and
** ** entity
und
transactionAmount
** entity
and
** CurrencyMeasure
und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** ** entity
and
** Object
und
memberCount
** ** entity
and
** Quantity
und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} %n{nicht}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30886-30896
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
Integer
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** entity
and
** Object
und
memberCount
** entity
and
** Quantity
und
** CognitiveAgent
besitzt
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30911-30926
Wenn
shortage
AutonomousAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
und
** Integer
ist ein
fall
von
Integer
%n{nicht},
dann es gibt nicht
Transfer
und
Collection
um
** Transfer
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** Transfer
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** Transfer
and
** Collection
und
transactionAmount
** Transfer
and
** CurrencyMeasure
und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
** Object
und
memberCount
** Collection
and
** Integer
und
** AutonomousAgent
besitzt
** Collection
%n{nicht}
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
Wenn
ObsessiveCompulsiveDisorder
ist ein
attribut
von
CognitiveAgent
%n{nicht},
dann es gibt
Collection
und
Class
um
memberType
** Collection
and
** Class
und
** Class
ist eine
teilkategorie
von
Investigating
oder
** Class
ist eine
teilkategorie
von
Cleaning
und
wenn
** Class
I ist ein
fall
von
** Class
%n{nicht},
dann
** Class
I ist der
agent
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
wuenscht
** Class
I nicht
(=>
(
attribute
?X
Florists
)
(
hasPurpose
?X
(
exists
(?FLOWER ?PROC)
(
and
(
instance
?PROC
Designing
)
(
instance
?FLOWER
Collection
)
(
memberType
?FLOWER
Flower
)
(
patient
?PROC ?FLOWER)
(
agent
?PROC ?X)))))
naics.kif 7773-7782
Wenn
Florists
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Designing
%n{nicht} und
** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** entity
and
Flower
und
** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Object
%n{nicht} %n{nicht}
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10385-10397
Wenn
breathingRate
Lung
,
TimeInterval
and
Integer
,
dann es gibt
Collection
und
Process
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Breath
und
memberCount
** Collection
and
** Integer
und
wenn
** Process
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Lung
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht}
(=>
(
heartRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
HeartBeat
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10344-10356
Wenn
heartRate
Heart
,
TimeInterval
and
Integer
,
dann es gibt
Collection
und
Process
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HeartBeat
und
memberCount
** Collection
and
** Integer
und
wenn
** Process
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Heart
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht}
(=>
(
instance
?ADAPT
OutletAdapter
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?ADAPT)
(
material
Metal
?ADAPT))))
Mid-level-ontology.kif 25956-25963
Wenn
CorpuscularObject
ist ein
fall
von
OutletAdapter
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HoleRegion
und
** Collection
ist ein
teil
von
** CorpuscularObject
%n{nicht} und
Metal
ist von
** CorpuscularObject
gebildet
(=>
(
instance
?B
BowlingBall
)
(
exists
(?HOLES)
(
and
(
instance
?HOLES
Collection
)
(
memberType
?HOLES
HoleRegion
)
(
memberCount
?HOLES 3)
(
located
?HOLES ?B)
(
hasPurpose
?HOLES
(
exists
(?FINGER ?HOLE)
(
and
(
member
?HOLE ?HOLES)
(
instance
?FINGER
Finger
)
(
partiallyFills
?FINGER ?HOLE)))))))
Sports.kif 1126-1139
Wenn
Object
ist ein
fall
von
BowlingBall
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HoleRegion
und
memberCount
** Collection
and 3 und
** Collection
befindet
sich an %n{nicht} und
** Collection
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
Mitglied
von
** Collection
%n{nicht} und
** entity
ist ein
fall
von
Finger
%n{nicht} und
** entity
fuellt
** ** entity
teilweise %n{nicht}
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1163-1169
Wenn
Object
ist ein
fall
von
BowlingFacility
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
BowlingLane
und
** Collection
befindet
sich an %n{nicht}
(=>
(
instance
?FLEET
Fleet
)
(
memberType
?FLEET
Vehicle
))
Mid-level-ontology.kif 3516-3518
Wenn
Collection
ist ein
fall
von
Fleet
%n{nicht},
dann
memberType
** Collection
and
Vehicle
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7931-7937
Wenn
Entity
ist ein
fall
von
LargeGroupProcess
%n{nicht},
dann es gibt
Collection
und
Physical
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
memberType
** Collection
and
AutonomousAgent
(=>
(
instance
?RC
RibCage
)
(
memberType
?RC
RibBone
))
Mid-level-ontology.kif 11242-11244
Wenn
Collection
ist ein
fall
von
RibCage
%n{nicht},
dann
memberType
** Collection
and
RibBone
(=>
(
instance
?ROOM
SelfServiceLaundry
)
(
exists
(?WASHER ?DRYER)
(
and
(
instance
?WASHER
Collection
)
(
memberType
?WASHER
ClothesWashingMachine
)
(
located
?WASHER ?ROOM)
(
instance
?DRYER
Collection
)
(
memberType
?DRYER
ClothesDryer
)
(
located
?DRYER ?ROOM))))
Mid-level-ontology.kif 25401-25410
Wenn
Object
ist ein
fall
von
SelfServiceLaundry
%n{nicht},
dann es gibt
Collection
und
** Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
ClothesWashingMachine
und
** Collection
befindet
sich an %n{nicht} und
** ** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** ** Collection
and
ClothesDryer
und
** ** Collection
befindet
sich an %n{nicht}
(=>
(
instance
?S
Skull
)
(
memberType
?S
Bone
))
Mid-level-ontology.kif 11482-11484
Wenn
Collection
ist ein
fall
von
Skull
%n{nicht},
dann
memberType
** Collection
and
Bone
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25899-25905
Wenn
Object
ist ein
fall
von
ElectricalOutlet
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HoleRegion
und
** Collection
ist ein
teil
von
** Object
%n{nicht}
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