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
GUIButton
Sigma KEE - CardinalityFn
CardinalityFn
appearance as argument number 1
(
documentation
CardinalityFn
ChineseLanguage
"")
chinese_format.kif 2309-2309
(
documentation
CardinalityFn
EnglishLanguage
"(CardinalityFn ?CLASS) returns the number of instances in the
SetOrClass
?CLASS or the number of members in the ?CLASS
Collection
.")
Merge.kif 5512-5514
(
documentation
CardinalityFn
JapaneseLanguage
"(CardinalityFn ?CLASS) は、
SetOrClass
?CLASS内のインスタンスの数または ?CLASS
Collection
のメンバーの数を返す。")
japanese_format.kif 980-981
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5509-5509
域
基數
, 1 and
聯盟
SetOrClass
and
Collection
(
instance
CardinalityFn
UnaryFunction
)
Merge.kif 5508-5508
例
基數
and
UnaryFunction
(
range
CardinalityFn
Integer
)
Merge.kif 5510-5510
範圍
基數
and
Integer
appearance as argument number 2
(
format
ChineseLanguage
CardinalityFn
"%1
instance
的数量")
chinese_format.kif 506-506
(
format
EnglishLanguage
CardinalityFn
"the number of
instance
s in %1")
english_format.kif 511-511
(
format
FrenchLanguage
CardinalityFn
"le nombre d'
instance
s dans %1")
french_format.kif 296-296
(
format
ItalianLanguage
CardinalityFn
"il numero di istanzia in %1")
relations-it.txt 41-41
(
format
JapaneseLanguage
CardinalityFn
"%1 の
instance
s の数")
japanese_format.kif 2073-2073
(
format
PortugueseLanguage
CardinalityFn
"o numero de instancias dentro de %1")
portuguese_format.kif 248-248
(
format
cb
CardinalityFn
"ang pananglitan sa %1")
relations-cb.txt 75-75
(
format
de
CardinalityFn
"die Zahl Faellen in %1")
relations-de.txt 659-659
(
format
hi
CardinalityFn
"%1 ke sadasyon kii sankhyaa")
relations-hindi.txt 83-83
(
format
ro
CardinalityFn
"numãrul
instance
s%t{instanþelor} din %1")
relations-ro.kif 317-317
(
format
sv
CardinalityFn
"antalet instanser av %1")
relations-sv.txt 324-324
(
format
tg
CardinalityFn
"an bilang halimbawa sa %1")
relations-tg.txt 98-98
(
termFormat
ChineseLanguage
CardinalityFn
"势函数")
chinese_format.kif 507-507
(
termFormat
ChineseLanguage
CardinalityFn
"基数")
domainEnglishFormat.kif 13212-13212
(
termFormat
ChineseTraditionalLanguage
CardinalityFn
"基數")
domainEnglishFormat.kif 13211-13211
(
termFormat
EnglishLanguage
CardinalityFn
"cardinality")
domainEnglishFormat.kif 13210-13210
(
termFormat
tg
CardinalityFn
"tungkulin ng bilang halimbawa")
relations-tg.txt 99-99
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
例
Entity
and
個人賬戶
比較多
基數
卡帕
SymbolicString
and
SymbolicString
持有
account
Entity
and 1
例
Entity
and
聯名賬戶
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8072-8079
例
GeopoliticalArea
and
GeopoliticalArea
等於
Integer
and
基數
GeopoliticalArea
的
citizenry
等於
Integer
and
基數
GeopoliticalArea
的
resident
大於或等於
Integer
and
Integer
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
price
and
部
RealNumber
and
Integer
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
selling
price
and
部
RealNumber
and
Integer
(=>
(
and
(
instance
?SET
SetOrClass
)
(
equal
(
CardinalityFn
?SET) ?COUNT))
(
cardinality
?SET ?COUNT))
Government.kif 410-414
例
SetOrClass
and
SetOrClass
等於
基數
SetOrClass
and
NonnegativeInteger
NonnegativeInteger
是
SetOrClass
的
cardinality
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
例
年
and
年
年
EAR
等於
GeopoliticalArea
和
年
的
male
出生估計壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
男
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千的
births
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千裡的
deaths
and
RealNumber
等於
部
GeopoliticalArea
的
population
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千個生存出生裡的
deaths
and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and 1000 and
RealNumber
等於
entity
DEATHCOUNT and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
年齡
entity
and
測量
entity
and
年持續時間
少於
entity
and 1
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的
female
出生預期壽命 and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
的出生預期
life
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
例
List
and
List
例
列表長度
List
and
Integer
List
ITEM
在列表中
List
ITEM and
List
例
List
ITEM and
SymbolicString
Entity
例
Entity
and
SymbolicString
在列表中
Entity
and
List
等於
Integer
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
entity
例
entity
and
Human
期間
何時
entity
and
年
等於
哪裡
entity
and
何時
entity
and
GeopoliticalArea
例
entity
and
Death
體驗者
entity
and
entity
持有期間
何時
entity
and
年齡
entity
and
測量
SymbolicString
and
年持續時間
RealNumber
是
List
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千的
migrants
and
RealNumber
等於
減法
Integer
and
Integer
and 1
例
Entity
and
年
Integer
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
減法
Integer
and
Integer
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
(<=>
(
equal
(
MaleToFemaleRatioFn
?AREA) ?REALNUMBER)
(
and
(
equal
?MALECOUNT
(
CardinalityFn
(
KappaFn
?MALE
(
and
(
instance
?MALE
Human
)
(
attribute
?MALE
Male
)
(
inhabits
?MALE ?AREA)))))
(
equal
?FEMALECOUNT
(
CardinalityFn
(
KappaFn
?FEMALE
(
and
(
instance
?FEMALE
Human
)
(
attribute
?FEMALE
Female
)
(
inhabits
?FEMALE ?AREA)))))
(
equal
(
DivisionFn
?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 206-223
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and
Integer
子集合
MonoploidChromosomeSet
and
Collection
等於
Integer
and
基數
卡帕
Integer
and
子集合
MonoploidChromosomeSet
and
Collection
(=>
(
and
(
exactCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
equal
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2137-2150
那只能是
Integer
values
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
等於
基數
Class
and
Integer
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
例
GeopoliticalArea
and
美國城市
部分
GeopoliticalArea
and
加州
等於
GeopoliticalArea
and
洛杉磯加利福尼亞州
比較多
基數
洛杉磯加利福尼亞州
的
resident
and
基數
GeopoliticalArea
的
resident
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
例
GeopoliticalArea
and
City
部分
GeopoliticalArea
and
法國
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
巴黎
的
resident
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
FinancialTransaction
SymbolicString
entity
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Physical
例
entity
and
Buying
會員
entity
and
Collection
患者
entity
and
SymbolicString
and 在
Collection
裡購買的樣品數量
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
等於
部
基數
entity
entity
and
entity
卡帕
entity
and
例
entity
and
WebListing
例
entity
and
WebSite
例
entity
and
Physical
會員
entity
and
Collection
患者
entity
and
entity
entity
是在
entity
hosted
entity
例
entity
and
Buying
患者
entity
and
entity
entity
facilitates
entity
and
基數
Collection
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
SymbolicString
entity
,
entity
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
entity
and
Physical
例
entity
and
WebListing
例
SymbolicString
and
Bidding
會員
entity
and
Collection
SymbolicString
是個
bid
對於
entity
患者
entity
and
entity
and 在
Collection
的
bids
數字
(=>
(
and
(
instance
?COUNT
Counting
)
(
agent
?COUNT ?AGENT)
(
patient
?COUNT ?ENTITY))
(
exists
(?NUMBER)
(
knows
?AGENT
(
equal
(
CardinalityFn
?ENTITY) ?NUMBER))))
Merge.kif 12182-12188
例
Process
and
Counting
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
entity
知道
CognitiveAgent
and
等於
基數
Entity
and
entity
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
例
試驗
and
試驗
例
TimeInterval
and
TimeInterval
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
會員
SymbolicString
and
purchases
在
試驗
期間
何時
SymbolicString
and
TimeInterval
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
treated
users
在
試驗
例
entity
and
AccessingWebPage
期間
何時
entity
and
TimeInterval
agent
entity
and
SymbolicString
and
purchases
per
user
在
試驗
期間
TimeInterval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
例
試驗
and
試驗
例
Entity
and
TimeInterval
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
會員
SymbolicString
and
purchases
在
試驗
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
treated
users
在
試驗
例
entity
and
AccessingWebPage
agent
entity
and
SymbolicString
and
purchases
per
user
在
試驗
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9499-9503
例
TimeInterval
and
Month
持續時間
TimeInterval
and
測量
Integer
and
一天長度
等於
基數
時間構成
TimeInterval
and
Day
and
Integer
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
例
SearchResultsPage
and
SearchResultsPage
例
List
and
SRPResults
零件
List
and
SearchResultsPage
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
RequestingHyperlink
患者
SymbolicString
and
entity
目的地
SymbolicString
and
entity
例
entity
and
HypertextLink
零件
entity
and
SearchResultsPage
例
entity
and
ProductDescriptionPage
例
entity
and
ViewItemPage
and
列表長度
List
and
qualifying
clicks
在
SearchResultsPage
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
例
GeopoliticalArea
and
美國國家
等於
GeopoliticalArea
and
加州
比較多
基數
加州
的
resident
and
基數
GeopoliticalArea
的
resident
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
例
Collection
and
Collection
例
CorpuscularObject
and
HypertextLink
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
零件
Collection
and
CorpuscularObject
Collection
例
Collection
and
Collection
Process
例
Process
and
RequestingHyperlink
患者
Process
and
CorpuscularObject
會員
Process
and
Collection
等於
點擊通過
CorpuscularObject
的
rate
在
Collection
and
部
基數
Collection
and
基數
Collection
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
例
Collection
and
Collection
例
Collection
and
Collection
子集合
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
Process
AutonomousAgent
,
Process
,
Process
and
Object
例
AutonomousAgent
and
Human
例
Process
and
Buying
例
Process
and
AccessingWebPage
例
Object
and
WebPage
會員
Process
and
Collection
目的地
Process
and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
期間
何時
Process
and
何時
Process
儀器
Process
and
Object
會員
Process
and
Collection
TimeInterval
entity
_IN_INTERVAL and
entity
_IN_INTERVAL
等於
purchases
花在
Collection
期間
TimeInterval
and
部
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
and
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
那裡能有最多 %3
values
對於 1% 的 參數 2%
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
小於或等於
基數
Class
and
Integer
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
那裡至少有
Integer
values
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
大於或等於
基數
Class
and
Integer
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 456-469
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每個女人生的
children
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
SymbolicString
agent
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
持有期間
年
and
棲息
entity
and
GeopoliticalArea
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 863-872
等於
GeopoliticalArea
的
available
軍事服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE
Triangle
))) 3)
Mid-level-ontology.kif 4888-4891
等於
基數
卡帕
SymbolicString
and
圖的一面
SymbolicString
and
三角形
and 3
(
equal
(
CardinalityFn
Continent
) 7)
Merge.kif 14228-14228
等於
基數
Continent
and 7
(
equal
(
CardinalityFn
NativityMagi
) 3)
Media.kif 2003-2003
等於
基數
NativityMagi
and 3
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 886-897
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31766-31771
等於
OrganismPopulationFn
Organism
and
GeographicArea
and
基數
卡帕
Organism
I and
例
Organism
I and
Organism
位於
Organism
I and
GeographicArea
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31744-31749
等於
GeopoliticalArea
的
population
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 924-937
等於
GeopoliticalArea
和
年
每年的
reaching
軍事男性年齡 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
等於
entity
and
減法
entity
and 1
持有期間
年
and
年齡
SymbolicString
and
entity
年齡
SymbolicString
and
entity
等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
大於或等於
基數
TwelveApostles
and 11
(
lessThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 12)
Media.kif 1966-1966
小於或等於
基數
TwelveApostles
and 12
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