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
memberCount
Sigma KEE - memberCount
memberCount
appearance as argument number 1
(
documentation
memberCount
EnglishLanguage
"(
memberCount
?ORG ?NUMBER) means that there is a total ?NUMBER of
member
s in the
Collection
?ORG.")
Mid-level-ontology.kif 22637-22638
(
domain
memberCount
1
Collection
)
Mid-level-ontology.kif 22634-22634
会员数
的 1 数量 是
群体
的
instance
(
domain
memberCount
2
Integer
)
Mid-level-ontology.kif 22635-22635
会员数
的 2 数量 是
整数
的
instance
(
instance
memberCount
BinaryPredicate
)
Mid-level-ontology.kif 22633-22633
会员数
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
memberCount
"%2 %n 是 %1 的
member
计数")
domainEnglishFormat.kif 1683-1683
(
format
ChineseTraditionalLanguage
memberCount
"%2 %n 是 %1 的
member
計數")
domainEnglishFormat.kif 1682-1682
(
format
EnglishLanguage
memberCount
"%2 is %n a
member
count of %1")
domainEnglishFormat.kif 1681-1681
(
termFormat
ChineseLanguage
memberCount
"会员数")
domainEnglishFormat.kif 37001-37001
(
termFormat
ChineseTraditionalLanguage
memberCount
"會員數")
domainEnglishFormat.kif 37000-37000
(
termFormat
EnglishLanguage
memberCount
"member count")
domainEnglishFormat.kif 36999-36999
antecedent
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberCount
?COLL ?I))
(
monoploidNumber
?COLL ?I))
VirusProteinAndCellPart.kif 743-747
如果
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
整数
是
那个 MonoploidChromosomeSet
的
member
计数,
然后
monoploidNumber
那个 MonoploidChromosomeSet
and
那个 整数
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
如果
过程
是
LargeGroupProcess
的
instance
和
群体
是
群体
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是事件
那个 过程
的
involved
和
整数
是
那个 群体
的
member
计数,
然后
那个 整数
是
greaterThan
10
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
如果
过程
是
Spamming
的
instance
和
群体
是
一群人
的
instance
和
整数
是
那个 群体
的
member
计数 和
那个 过程
在
那个 群体
结束,
然后
那个 整数
是
greaterThan
100 的声明 has
容易
的语气
(=>
(
and
(
instance
?X
Kidnapping
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
patient
?X ?G))
(
lessThan
?N 3))
Mid-level-ontology.kif 21952-21958
如果
过程
是
绑架
的
instance
和
群体
是
一群人
的
instance
和
整数
是
那个 群体
的
member
计数 和
那个 群体
是
那个 过程
的
patient
,
然后
那个 整数
是
lessThan
3
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
如果
整数
是
群体
的
member
计数 和
那个 群体
对于
非负整数
的
member
类别计数
类
,
然后
那个 整数
是
greaterThanOrEqualTo
那个 非负整数
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
如果
整数
是
机构
在组织 的数量
seats
和
另一个 整数
是
那个 机构
的
member
计数,
然后
那个 整数
是
greaterThanOrEqualTo
那个 另外 整数
(=>
(
memberCount
?ORG ?NUM)
(
equal
?NUM
(
CardinalityFn
(
KappaFn
?MEM
(
member
?MEM ?ORG)))))
Mid-level-ontology.kif 22640-22646
如果
整数
是
群体
的
member
计数,
然后
那个 整数
equal
符号串
所描述的类别
instance
的数量
consequent
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1528-1539
百分之
实数
在
信仰团体
的人相信
那个 信仰团体
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
地理区域
和
那个 物理
是
那个 信仰团体
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1547-1558
实数
percent
的人在
地理区域
是
民族群组
若且唯若 有存在
群体
,
另一个 群体
,, ,
物理
,, ,
那个 物理
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 物理
是
located
在
那个 地理区域
和
那个 物理
是
那个 民族群组
的
member
和
那个 物理
是
那个 群体
的
member
和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 物理
2 是
located
在
那个 地理区域
和
那个 物理
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1566-1577
百分之
实数
的人在
地理区域
speak
语言
若且唯若 有存在
群体
,
另一个 群体
,, ,
有感知的主事
,, ,
那个 有感知的主事
2,, ,
那个 实数
1, and 和
那个 实数
2 这样
那个 有感知的主事
是
located
在
那个 地理区域
和
那个 有感知的主事
是
那个 群体
的
member
和
那个 语言
是
那个 有感知的主事
的
speaks
语言 和
那个 实数
1 是
那个 群体
的
member
计数 和
那个 有感知的主事
2 是
located
在
那个 地理区域
和
那个 有感知的主事
2 是
那个 另外 群体
的
member
和
那个 实数
2 是
那个 另外 群体
的
member
计数 和
那个 实数
和 100
equal
那个 实数
1 和
那个 实数
2
(=>
(
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
整数
和
客体
是
那个 真核细胞
的
part
和
那个 客体
是
细胞核
的
instance
和
那个 真核细胞
OLL 是
群体
的
instance
和
那个 真核细胞
OLL 是
located
在
那个 客体
和
Chromosome
是
那个 真核细胞
OLL 的
member
类别,
然后
那个 整数
是
那个 真核细胞
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
整数
和
那个 Gamete
是
Gamete
的
instance
和
客体
是
那个 Gamete
的
part
和
那个 客体
是
细胞核
的
instance
和
群体
是
群体
的
instance
和
那个 群体
是
located
在
那个 客体
和
Chromosome
是
那个 群体
的
member
类别,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
如果
客体
是
水晶
的
instance
和
单晶结构
是
那个 客体
的
attribute
和
自身连接物体
是
物质
的
instance
和
固体
是
那个 自身连接物体
的
attribute
和
多晶结构
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
物质
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 客体
不 是
那个 另外 自身连接物体
的
part
,
然后 有存在
那个 客体
LNT,
整数
, and 和
另一个 客体
这样
那个 客体
LNT 是
群体
的
instance
和
那个 整数
是
那个 客体
LNT 的
member
计数 和
那个 整数
是
greaterThanOrEqualTo
4 和
如果
那个 另外 客体
是
那个 客体
LNT 的
member
,
然后
那个 另外 客体
是
那个 自身连接物体
的
part
和
那个 客体
接上
那个 另外 客体
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
如果
客体
是
有点 复合物质
的
instance
和
有点 复合物质
是
复合物质
的
subclass
和 不存在
另一个 客体
这样
那个 另外 客体
是
那个 有点 复合物质
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
molecularRatio
有点 元素物质
,
整数
and
那个 有点 复合物质
和
群体
是
群组
的
instance
和
第三 客体
是
那个 群体
的
member
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
有点 元素物质
的
instance
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
如果
群体
是
Eyebrow
的
instance
和
Healthy
是
客体
的
attribute
和
那个 群体
是
那个 客体
的
part
和
物理
是
那个 群体
的
member
,
然后 2 是
那个 群体
的
member
计数
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3528-3533
如果
群体
是
Fleet
的
instance
和
施事体
有个
fleet
的
整数
交通工具 和
那个 施事体
possesses
那个 群体
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
如果
有点 固定人工制品
能
accommodate
大部分
整数
的人 和
实体
是
有点 固定人工制品
的
instance
和
那个 实体
是
施事体
的财产 的
element
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
member
计数 和
那个 第三 实体
是
lessThanOrEqualTo
那个 整数
和
那个 另外 实体
stays
在
那个 实体
的声明 has
可能性
的语气
(=>
(
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
整数
成人 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
这样
那个 群体
是
一群人
的
instance
和
人类成人
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
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
整数
孩童 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
另一个 群体
这样
那个 群体
是
一群人
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
一群人
的
instance
和
人类的孩子
是
那个 另外 群体
的
member
类别 和
那个 整数
是
那个 另外 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
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
整数
居住者 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
这样
那个 群体
是
一群人
的
instance
和
人类
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
and
(
numberOfCustomers
?NUM ?RESERVE)
(
fulfillingEntity
?AGENT ?RESERVE)
(
reservingEntity
?CUST ?RESERVE))
(
exists
(?GRP)
(
and
(
potentialCustomer
?GRP ?AGENT)
(
instance
?GRP
GroupOfPeople
)
(
member
?CUST ?GRP)
(
memberCount
?GRP ?NUM))))
Dining.kif 732-742
如果
Reservation
是对于
正整数
customers
和
施事体
fulfills
那个 Reservation
和
另一个 施事体
reserves
那个 Reservation
,
然后 有存在
群体
这样
那个 群体
是个
potential
customer
对于
那个 施事体
和
那个 群体
是
一群人
的
instance
和
那个 另外 施事体
是
那个 群体
的
member
和
那个 正整数
是
那个 群体
的
member
计数
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
如果
HotelReservation
是对于
整数
seniors
和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
实数
这样
那个 群体
是
一群人
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
人类成人
的
instance
和
那个 物理
的
age
是
那个 实数
年持续时间
和
那个 实数
是
greaterThanOrEqualTo
60
和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
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
有认知的主事
,
有点 客体
,
货币测量
,
时距
and
数量
和
那个 数量
是
整数
的
instance
,
然后
那个 有认知的主事
desires
有存在
实体
和
另一个 实体
这样
那个 实体
是
购买
的
instance
和
那个 实体
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 实体
and
那个 另外 实体
和
那个 货币测量
是
那个 实体
的
transaction
总额 和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 另外 实体
是
群体
的
instance
和
有点 客体
是
那个 另外 实体
的
member
类别 和
那个 数量
是
那个 另外 实体
的
member
计数 和
那个 有认知的主事
possesses
那个 另外 实体
(=>
(
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
有认知的主事
,
有点 客体
,
货币测量
,
时距
and
数量
和
那个 数量
是
整数
的
instance
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
群体
的
instance
和
有点 客体
是
那个 实体
的
member
类别 和
那个 数量
是
那个 实体
的
member
计数 和
那个 有认知的主事
possesses
那个 实体
(=>
(
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
施事体
,
有点 客体
,
货币测量
,
时距
and
整数
和
那个 整数
是
整数
的
instance
,
然后 不存在
转移
和
群体
这样
那个 转移
是
购买
的
instance
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 转移
and
那个 群体
和
那个 货币测量
是
那个 转移
的
transaction
总额 和
那个 施事体
是
那个 转移
的
agent
和
那个 群体
是
群体
的
instance
和
有点 客体
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 施事体
possesses
那个 群体
(=>
(
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
肺
,
时距
and
整数
,
然后 有存在
群体
和
过程
这样
那个 群体
是
群体
的
instance
和
Breath
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
如果
那个 过程
是
那个 群体
的
member
,
然后
那个 肺
是
那个 过程
的
patient
和
那个 过程
出现 的
time
在
那个 时距
时段内发生
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
如果
地区
有对于
整数
的
capacity
根据
命题
,
然后
如果
那个 地区
表达
那个 命题
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
那个 实体
的
member
计数 和
那个 另外 实体
是
lessThanOrEqualTo
那个 整数
和
那个 实体
是
located
在
那个 地区
的声明 has
可能性
的语气
(=>
(
coilCount
?WC ?N)
(
exists
(?C)
(
and
(
instance
?C
Collection
)
(
memberCount
?C ?N)
(
forall
(?M)
(=>
(
member
?M ?C)
(
and
(
attribute
?M
ClosedTwoDimensionalFigure
)
(
part
?M ?WC)
(
not
(
exists
(?M2)
(
and
(
overlapsSpatially
?M2 ?M)
(
member
?M2 ?C))))))))))
Cars.kif 3117-3133
如果
coilCount
WireCoil
and
整数
,
然后 有存在
群体
这样
那个 群体
是
群体
的
instance
和
那个 整数
是
那个 群体
的
member
计数 和 对所有
客体
如果
那个 客体
是
那个 群体
的
member
,
然后
封闭的二维图
是
那个 客体
的
attribute
和
那个 客体
是
那个 WireCoil
的
part
和 不存在
那个 客体
2 这样
那个 客体
2 和
那个 客体
重叠 和
那个 客体
2 是
那个 群体
的
member
(=>
(
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
心
,
时距
and
整数
,
然后 有存在
群体
和
过程
这样
那个 群体
是
群体
的
instance
和
HeartBeat
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
如果
那个 过程
是
那个 群体
的
member
,
然后
那个 心
是
那个 过程
的
patient
和
那个 过程
出现 的
time
在
那个 时距
时段内发生
(=>
(
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
如果
客体
是
BowlingBall
的
instance
,
然后 有存在
群体
这样
那个 群体
是
群体
的
instance
和
洞
是
那个 群体
的
member
类别 和 3 是
那个 群体
的
member
计数 和
那个 群体
是
located
在
那个 客体
和
那个 群体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
那个 群体
的
member
和
那个 实体
是
手指
的
instance
和
那个 实体
fills
了
那个 另外 实体
的一部分
(=>
(
instance
?B
Bus
)
(
hasPurpose
?B
(
exists
(?C ?T ?N ?P)
(
and
(
instance
?C
Collection
)
(
instance
?T
Transportation
)
(
memberCount
?C ?N)
(
greaterThan
?N 11)
(=>
(
member
?P ?C)
(
patient
?T ?P))))))
Transportation.kif 1972-1983
如果
物理
是
总线
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
群体
的
instance
和
那个 另外 实体
是
运输
的
instance
和
那个 第三 实体
是
那个 实体
的
member
计数 和
那个 第三 实体
是
greaterThan
11 和
如果
那个 第四 实体
是
那个 实体
的
member
,
然后
那个 第四 实体
是
那个 另外 实体
的
patient
(=>
(
instance
?PARK
ParkingLot
)
(
exists
(?C ?N)
(
and
(
located
?C ?PARK)
(
forall
(?SLOT)
(=>
(
member
?SLOT ?C)
(
instance
?SLOT
ParkingRegion
)))
(
memberCount
?C ?N)
(
greaterThan
?N 1))))
TransportDetail.kif 78-88
如果
客体
是
停车场
的
instance
,
然后 有存在
群体
和
整数
这样
那个 群体
是
located
在
那个 客体
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
ParkingRegion
的
instance
和
那个 整数
是
那个 群体
的
member
计数 和
那个 整数
是
greaterThan
1
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