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
CardinalityFn
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 5511-5513
(
documentation
CardinalityFn
JapaneseLanguage
"(CardinalityFn ?CLASS) は、
SetOrClass
?CLASS内のインスタンスの数または ?CLASS
Collection
のメンバーの数を返す。")
japanese_format.kif 980-981
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5508-5508
Il numero 1 argomenti di
CardinalityFn
è un
istanza
di l'
unione
di
InsiemeOClasse
e
InsiemeConcreto
(
instance
CardinalityFn
UnaryFunction
)
Merge.kif 5507-5507
CardinalityFn
è un'
istanza
di
FunzioneUnaria
(
range
CardinalityFn
Integer
)
Merge.kif 5509-5509
rango
di
CardinalityFn
è un'istanza di
NumeroIntero
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
Entit�
è un'
istanza
di
PersonalAccount
il numero di
istanzia
in la
classe
descritta da
Stringa
è
pi
ù grande di 1
Entit�
è un'
istanza
di
JointAccount
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8045-8052
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
CitizenryFn
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
ResidentFn
AreaGeopolitica
NumeroIntero
è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
NumeroReale
è un'
istanza
di
MisuraMonetaria
NumeroIntero
è un'
istanza
di
NumeroReale
NumeroReale
is
uguale
a
GMBFn
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
ABPFn
InsiemeConcreto
is
uguale
a
NumeroReale
+
NumeroIntero
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
NumeroReale
è un'
istanza
di
MisuraMonetaria
NumeroIntero
è un'
istanza
di
NumeroReale
NumeroReale
is
uguale
a
GMVFn
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
ASPFn
InsiemeConcreto
is
uguale
a
NumeroReale
+
NumeroIntero
(=>
(
and
(
instance
?SET
SetOrClass
)
(
equal
(
CardinalityFn
?SET) ?COUNT))
(
cardinality
?SET ?COUNT))
Government.kif 446-450
InsiemeOClasse
è un'
istanza
di
InsiemeOClasse
il numero di
istanzia
in
InsiemeOClasse
is
uguale
a
NumeroInteroNonNegativo
cardinality
InsiemeOClasse
and
NumeroInteroNonNegativo
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
Anno
è un'
istanza
di l'
anno
Anno
EAR
MaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
BirthsPerThousandFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
PopulationFn
AreaGeopolitica
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
DeathsPerThousandFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
PopulationFn
AreaGeopolitica
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
DeathsPerThousandLiveBirthsFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
FemaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
LifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
MigrantsPerThousandFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
(
NumeroIntero
+
NumeroIntero
is
uguale
a 1
Entit�
è un'
istanza
di l'
anno
NumeroIntero
PopulationFn
AreaGeopolitica
is
uguale
a
NumeroReale
vales
durante
Anno
NumeroReale
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroReale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
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
MaleToFemaleRatioFn
AreaGeopolitica
is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroReale
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and
NumeroIntero
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
NumeroIntero
(=>
(
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
exactCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
is
uguale
a
NumeroIntero
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
AreaGeopolitica
è un'
istanza
di
AmericanCity
AreaGeopolitica
è una
parte
di
California
AreaGeopolitica
is
uguale
a
LosAngelesCalifornia
il numero di
istanzia
in
ResidentFn
LosAngelesCalifornia
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
AreaGeopolitica
è un'
istanza
di
Citt�
AreaGeopolitica
è una
parte
di
France
il numero di
istanzia
in
ResidentFn
AreaGeopolitica
è
minore
o uguale a il numero di
istanzia
in
ResidentFn
Paris
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
Stringa
Entit�
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BoughtItemsFn
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
il numero di
istanzia
in
Entit�
Entit�
and
Entit�
la
classe
descritta da
Entit�
+ il numero di
istanzia
in
InsiemeConcreto
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
Stringa
Entit�
,
Entit�
and
Stringa
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
and
(
instance
?COUNT
Counting
)
(
agent
?COUNT ?AGENT)
(
patient
?COUNT ?ENTITY))
(
exists
(?NUMBER)
(
knows
?AGENT
(
equal
(
CardinalityFn
?ENTITY) ?NUMBER))))
Merge.kif 12136-12142
Processo
è un'
istanza
di
Contare
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Entit�
AgenteCognitivo
conosce
s il numero di
istanzia
in
Entit�
is
uguale
a
Entit�
(=>
(
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
Experimenting
è un'
istanza
di
Experimenting
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
il numero di
istanzia
in la
classe
descritta da
Stringa
+ il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
PPIFn
Experimenting
and
IntervalloTemporale
(=>
(
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
Experimenting
è un'
istanza
di
Experimenting
Entit�
è un'
istanza
di
IntervalloTemporale
il numero di
istanzia
in la
classe
descritta da
Stringa
+ il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
PPSFn
Experimenting
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
IntervalloTemporale
è un'
istanza
di
Mese
durata
di
IntervalloTemporale
è
NumeroIntero
DayDuration
(s
il numero di
istanzia
in
decomposizione
di
IntervalloTemporale
in
Giorno
s is
uguale
a
NumeroIntero
(=>
(
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
è un'
istanza
di
SearchResultsPage
Lista
è un'
istanza
di
SRPResults
Lista
è un
componente
di
SearchResultsPage
il numero di
istanzia
in la
classe
descritta da
Stringa
+
lunghezza
di
Lista
is
uguale
a
SRPEngagementFn
SearchResultsPage
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
AreaGeopolitica
è un'
istanza
di
AmericanState
AreaGeopolitica
is
uguale
a
California
il numero di
istanzia
in
ResidentFn
California
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoCorpuscolare
è un'
istanza
di
HypertextLink
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
InsiemeConcreto
è un
componente
di
OggettoCorpuscolare
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
RequestingHyperlink
OggettoCorpuscolare
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
ClickThroughRateFn
InsiemeConcreto
and
OggettoCorpuscolare
is
uguale
a il numero di
istanzia
in
InsiemeConcreto
+ il numero di
istanzia
in
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Oggetto
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
AccessingWebPage
Oggetto
è un'
istanza
di
WebPage
Processo
è un
membro
di
InsiemeConcreto
Processo
fine
s in
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
membro
di
InsiemeConcreto
IntervalloTemporale
Entit�
_IN_INTERVAL and
Entit�
_IN_INTERVAL
SCRFn
InsiemeConcreto
and
IntervalloTemporale
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL + il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL
(=>
(
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
maxCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
è
minore
o uguale a
NumeroIntero
(=>
(
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
minCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
è
pi
ù grande di o uguale a
NumeroIntero
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
ChildrenBornPerWomanFn
AreaGeopolitica
and
Anno
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
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 872-881
AvailableForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
equal
(
CardinalityFn
Continent
) 7)
Merge.kif 14182-14182
Il numero di
istanzia
in
Continente
is
uguale
a 7
(
equal
(
CardinalityFn
NativityMagi
) 3)
Media.kif 2003-2003
Il numero di
istanzia
in
NativityMagi
is
uguale
a 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 895-906
FitForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
Organismo
and
AreaGeografica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Organismo
I
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717
PopulationFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
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 933-946
ReachingMilitaryAgeAnnuallyMaleFn
AreaGeopolitica
and
Anno
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
Il numero di
istanzia
in
TwelveApostles
è
pi
ù grande di o uguale a 11
(
lessThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 12)
Media.kif 1966-1966
Il numero di
istanzia
in
TwelveApostles
è
minore
o uguale a 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