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 22652-22654
(
domain
memberType
1
Collection
)
Mid-level-ontology.kif 22649-22649
Die Zahl 1 Argument von
memberType
ist ein
fall
von
Collection
%n{nicht}
(
domain
memberType
2
Class
)
Mid-level-ontology.kif 22650-22650
Die Zahl 2 Argument von
memberType
ist ein
fall
von
Class
%n{nicht}
(
instance
memberType
BinaryPredicate
)
Mid-level-ontology.kif 22648-22648
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 703-711
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 794-803
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 1004-1023
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 974-984
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 951-966
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 921-931
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 939-949
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 992-1002
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 896-905
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 866-875
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 877-888
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 719-731
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 22656-22660
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 30956-30971
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 30898-30908
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 30923-30938
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 10386-10398
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 10345-10357
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 25968-25975
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 1125-1138
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 1162-1168
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 7932-7938
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 11243-11245
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 25402-25411
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 11483-11485
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 25911-25917
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