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
FreeChurchOfScotland
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
域
會員類型
, 1 and
Collection
(
domain
memberType
2
Class
)
Mid-level-ontology.kif 22650-22650
域
會員類型
, 2 and
Class
(
instance
memberType
BinaryPredicate
)
Mid-level-ontology.kif 22648-22648
例
會員類型
and
BinaryPredicate
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
真核細胞
and
Integer
部分
Object
and
真核細胞
例
Object
and
細胞核
例
真核細胞
OLL and
Collection
位於
真核細胞
OLL and
Object
Chromosome
是
真核細胞
OLL 的
member
類別
Integer
是
真核細胞
OLL 的
member
計數
(=>
(
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
Integer
例
Gamete
and
Gamete
部分
Object
and
Gamete
例
Object
and
細胞核
例
Collection
and
Collection
位於
Collection
and
Object
Chromosome
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
(=>
(
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
例
Object
and
HexaploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
(=>
(
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
例
Object
and
PentaploidCell
例
Object
and
細胞核
部分
Object
and
Object
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
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
例
Object
and
TetraploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
(=>
(
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
例
Object
and
TriploidCell
例
Object
and
細胞核
部分
Object
and
Object
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 4
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 6
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
CommonWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EmmerWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsTauschii
的
initially
part
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
DurumWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
TriticumUrartu
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsSpeltoides
的
initially
part
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
EmmerWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EinkornWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsGrass
的
initially
part
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 2
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
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
例
Collection
and
HomologousChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
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
例
Collection
and
HomologousChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
子集合
MonoploidChromosomeSet
and
Collection
子集合
MonoploidChromosomeSet
and
Collection
等於
MonoploidChromosomeSet
and
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
例
Collection
and
MonoploidChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
會員
Chromosome
and
Collection
會員
Chromosome
and
Collection
等於
Chromosome
and
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
memberType
?GROUP ?TYPE)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER ?TYPE))
Mid-level-ontology.kif 22656-22660
Class
是
Collection
的
member
類別
會員
Physical
and
Collection
例
Physical
and
Class
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
all
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
allRoomsPolicy
?INV ?POLICY)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 233-238
所有房間在
RoomInventory
有政策
Policy
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Policy
是應用在
HotelUnit
的
policy
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
所有房間在在
RoomInventory
有服務
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
CommonWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EmmerWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsTauschii
的
initially
part
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
DurumWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
TriticumUrartu
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsSpeltoides
的
initially
part
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
EmmerWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EinkornWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsGrass
的
initially
part
(=>
(
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
HotelReservation
也許
have
Integer
成人
AutonomousAgent
fulfills
HotelReservation
Collection
例
Collection
and
一群人
人類成人
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
Collection
是個
potential
customer
對於
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
HotelReservation
也許
have
Integer
孩童
AutonomousAgent
fulfills
HotelReservation
Collection
Collection
例
Collection
and
一群人
子集合
Collection
and
Collection
例
Collection
and
一群人
人類的孩子
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
Collection
是個
potential
customer
對於
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
HotelReservation
也許
have
Integer
居住者
AutonomousAgent
fulfills
HotelReservation
Collection
例
Collection
and
一群人
Human
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
Collection
是個
potential
customer
對於
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
例
Integer
and
Integer
Transfer
Collection
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Collection
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Collection
and
Collection
Object
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
擁有
AutonomousAgent
and
Collection
(=>
(
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
attribute
CognitiveAgent
and
ObsessiveCompulsiveDisorder
Collection
Class
Class
是
Collection
的
member
類別
子類
Class
and
Investigating
子類
Class
and
清潔的
例
Class
I and
Class
agent
Class
I and
CognitiveAgent
想要
CognitiveAgent
and
Class
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
attribute
Object
and
花店
有目的
Object
and
entity
entity
例
entity
and
設計
例
entity
and
Collection
花
是
entity
的
member
類別
患者
entity
and
entity
agent
entity
and
Object
(=>
(
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
肺
,
TimeInterval
and
Integer
Collection
Process
例
Collection
and
Collection
Breath
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
會員
Process
and
Collection
患者
Process
and
肺
期間
何時
Process
and
TimeInterval
(=>
(
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
心
,
TimeInterval
and
Integer
Collection
Process
例
Collection
and
Collection
HeartBeat
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
會員
Process
and
Collection
患者
Process
and
心
期間
何時
Process
and
TimeInterval
(=>
(
instance
?ADAPT
OutletAdapter
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?ADAPT)
(
material
Metal
?ADAPT))))
Mid-level-ontology.kif 25968-25975
例
CorpuscularObject
and
OutletAdapter
Collection
例
Collection
and
Collection
HoleRegion
是
Collection
的
member
類別
部分
Collection
and
CorpuscularObject
材料
Metal
and
CorpuscularObject
(=>
(
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
例
Object
and
BowlingBall
Collection
例
Collection
and
Collection
HoleRegion
是
Collection
的
member
類別 3 是
Collection
的
member
計數
位於
Collection
and
Object
有目的
Collection
and
entity
entity
會員
entity
and
Collection
例
entity
and
手指
部分填補
entity
and
entity
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
例
Object
and
BowlingFacility
Collection
例
Collection
and
Collection
BowlingLane
是
Collection
的
member
類別
位於
Collection
and
Object
(=>
(
instance
?FLEET
Fleet
)
(
memberType
?FLEET
Vehicle
))
Mid-level-ontology.kif 3516-3518
例
Collection
and
Fleet
車輛
是
Collection
的
member
類別
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
例
Entity
and
LargeGroupProcess
Collection
Physical
例
Collection
and
Collection
會員
Physical
and
Collection
AutonomousAgent
是
Collection
的
member
類別
(=>
(
instance
?RC
RibCage
)
(
memberType
?RC
RibBone
))
Mid-level-ontology.kif 11243-11245
例
Collection
and
RibCage
RibBone
是
Collection
的
member
類別
(=>
(
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
例
Object
and
SelfServiceLaundry
Collection
Collection
例
Collection
and
Collection
洗衣機
是
Collection
的
member
類別
位於
Collection
and
Object
例
Collection
and
Collection
乾衣機
是
Collection
的
member
類別
位於
Collection
and
Object
(=>
(
instance
?S
Skull
)
(
memberType
?S
Bone
))
Mid-level-ontology.kif 11483-11485
例
Collection
and
頭骨
Bone
是
Collection
的
member
類別
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
例
Object
and
ElectricalOutlet
Collection
例
Collection
and
Collection
HoleRegion
是
Collection
的
member
類別
部分
Collection
and
Object
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