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
parallel
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
O argumento numero 1 de
memberType
e' uma
instancia
de
Colecao
(
domain
memberType
2
Class
)
Mid-level-ontology.kif 22650-22650
O argumento numero 2 de
memberType
e' uma
instancia
de
Classe
(
instance
memberType
BinaryPredicate
)
Mid-level-ontology.kif 22648-22648
memberType
e' uma
instancia
de
Predicado Binario
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
chromosomeNumber
EukaryoticCell
and
Numero Inteiro
Objeto
e' uma &parte de
EukaryoticCell
Objeto
e' uma
instancia
de
CellNucleus
EukaryoticCell
OLL e' uma
instancia
de
Colecao
EukaryoticCell
OLL e'
situado
em
Objeto
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
Numero Inteiro
(=>
(
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
haploidNumber
Gamete
and
Numero Inteiro
Gamete
e' uma
instancia
de
Gamete
Objeto
e' uma &parte de
Gamete
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e' uma
instancia
de
Colecao
Colecao
e'
situado
em
Objeto
memberType
Colecao
and
Chromosome
memberCount
Colecao
and
Numero Inteiro
(=>
(
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
Objeto
e' uma
instancia
de
HexaploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
and
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
(=>
(
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
Objeto
e' uma
instancia
de
PentaploidCell
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
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
Objeto
e' uma
instancia
de
TetraploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
(=>
(
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
Objeto
e' uma
instancia
de
TriploidCell
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and 4
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
TetraploidCell
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and 6
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
HexaploidCell
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
CommonWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EmmerWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
DurumWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
TriticumUrartu
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
EmmerWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EinkornWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and 2
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
DiploidCell
(=>
(
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
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
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
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
MonoploidChromosomeSet
e'
igual
a
MonoploidChromosomeSet
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
Colecao
e' uma
instancia
de
MonoploidChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
Chromosome
e'
membro
de
Colecao
Chromosome
e'
membro
de
Colecao
Chromosome
e'
igual
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
memberType
?GROUP ?TYPE)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER ?TYPE))
Mid-level-ontology.kif 22656-22660
memberType
Colecao
and
Classe
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Classe
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
allRoomsPhysicalAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
allRoomsPolicy
?INV ?POLICY)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 233-238
allRoomsPolicy
RoomInventory
and
Policy
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomPolicy
HotelUnit
and
Policy
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
allRoomsServiceAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
CommonWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EmmerWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
DurumWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
TriticumUrartu
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
EmmerWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EinkornWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
numberAdultOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
HumanAdult
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
numberChildOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
HumanChild
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
numberOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
Humano
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
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
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
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
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Colecao
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Objeto
memberCount
Colecao
and
Numero Inteiro
AutonomousAgent
possui
Colecao
(=>
(
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
ObsessiveCompulsiveDisorder
e' um
atributo
de
Agente Cognitivo
Colecao
Classe
memberType
Colecao
and
Classe
Classe
e' uma
sub
-classe de
Investigacao
Classe
e' uma
sub
-classe de
Cleaning
Classe
I e' uma
instancia
de
Classe
Classe
I e' um
agente
de
Agente Cognitivo
Agente Cognitivo
nao
quer
%n
Classe
I
(=>
(
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
Florists
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Flower
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
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
breathingRate
Lung
,
Intervalo Temporal
and
Numero Inteiro
Colecao
Processo
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Breath
memberCount
Colecao
and
Numero Inteiro
Processo
e'
membro
de
Colecao
Lung
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
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
heartRate
Heart
,
Intervalo Temporal
and
Numero Inteiro
Colecao
Processo
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
HeartBeat
memberCount
Colecao
and
Numero Inteiro
Processo
e'
membro
de
Colecao
Heart
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
instance
?ADAPT
OutletAdapter
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?ADAPT)
(
material
Metal
?ADAPT))))
Mid-level-ontology.kif 25968-25975
Objeto Corpuscular
e' uma
instancia
de
OutletAdapter
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Buraco
Colecao
e' uma &parte de
Objeto Corpuscular
Metal
e'
feito
de
Objeto Corpuscular
(=>
(
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
Objeto
e' uma
instancia
de
BowlingBall
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Buraco
memberCount
Colecao
and 3
Colecao
e'
situado
em
Objeto
Colecao
tem por
fim
Entidade
Entidade
Entidade
e'
membro
de
Colecao
Entidade
e' uma
instancia
de
Finger
Entidade
completa
partialmente
Entidade
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
Objeto
e' uma
instancia
de
BowlingFacility
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
BowlingLane
Colecao
e'
situado
em
Objeto
(=>
(
instance
?FLEET
Fleet
)
(
memberType
?FLEET
Vehicle
))
Mid-level-ontology.kif 3516-3518
Colecao
e' uma
instancia
de
Fleet
memberType
Colecao
and
Vehicle
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entidade
e' uma
instancia
de
LargeGroupProcess
Colecao
Fisico
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
memberType
Colecao
and
AutonomousAgent
(=>
(
instance
?RC
RibCage
)
(
memberType
?RC
RibBone
))
Mid-level-ontology.kif 11243-11245
Colecao
e' uma
instancia
de
RibCage
memberType
Colecao
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
Objeto
e' uma
instancia
de
SelfServiceLaundry
Colecao
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
ClothesWashingMachine
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
ClothesDryer
Colecao
e'
situado
em
Objeto
(=>
(
instance
?S
Skull
)
(
memberType
?S
Bone
))
Mid-level-ontology.kif 11483-11485
Colecao
e' uma
instancia
de
Skull
memberType
Colecao
and
Osso
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
Objeto
e' uma
instancia
de
ElectricalOutlet
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Buraco
Colecao
e' uma &parte de
Objeto
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