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
inList
Sigma KEE - inList
inList
appearance as argument number 1
(
documentation
inList
ChineseLanguage
"这是类似
List
的
element
和
instance
。 (
inList
?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST
List
里。例如: (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) 是真的")
chinese_format.kif 1973-1975
(
documentation
inList
EnglishLanguage
"The analog of
element
and
instance
for
List
s. (
inList
?OBJ ?LIST) means that ?OBJ is in the
List
?LIST. For example, (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) would be true.")
Merge.kif 3109-3111
(
documentation
inList
JapaneseLanguage
"
List
s の
element
と
instance
のアナログ。 (
inList
?OBJ ?LIST)とは、?OBJ が
List
?LIST 内であることを意味する。例: (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) は正しい。")
japanese_format.kif 605-607
(
domain
inList
1
Entity
)
Merge.kif 3106-3106
Il numero 1 argomenti di
inList
è un
istanza
di
Entit�
(
domain
inList
2
List
)
Merge.kif 3107-3107
Il numero 2 argomenti di
inList
è un
istanza
di
Lista
(
instance
inList
BinaryPredicate
)
Merge.kif 3104-3104
inList
è un'
istanza
di
PredicatoBinario
(
instance
inList
PartialValuedRelation
)
Merge.kif 3105-3105
inList
è un'
istanza
di
RelazioneAValoreParziale
appearance as argument number 2
(
format
ChineseLanguage
inList
"%1 %n 是 %2 的
member
")
chinese_format.kif 131-131
(
format
EnglishLanguage
inList
"%1 is %n a
member
of %2")
english_format.kif 132-132
(
format
FrenchLanguage
inList
"%1 est %n un membre de %2")
french_format.kif 87-87
(
format
ItalianLanguage
inList
"%1 è %n un è membro di %2")
relations-it.txt 147-147
(
format
JapaneseLanguage
inList
"%1 は %2 の
member
では %n")
japanese_format.kif 1914-1914
(
format
PortugueseLanguage
inList
"%1 e' %n um membro de %2")
portuguese_format.kif 39-39
(
format
cz
inList
"%1 %p{je} %n{nen�} a
member
of %2")
relations-cz.txt 103-103
(
format
de
inList
"%1 ist ein Mitglied von %2")
relations-de.txt 157-157
(
format
hi
inList
"%1 %2 kaa sadasya %n hai")
relations-hindi.txt 186-186
(
format
ro
inList
"%1 %n{nu} este un
member
%t{element} al lui %2")
relations-ro.kif 106-106
(
format
sv
inList
"%1 är %n{inte} en medlem i %2")
relations-sv.txt 86-86
(
format
tg
inList
"%1 %n ay ang kasapi ng %2")
relations-tg.txt 298-298
(
subrelation
albumTrack
inList
)
Music.kif 332-332
albumTrack
è una
sottorelazione
di
inList
(
termFormat
ChineseLanguage
inList
"在列表中")
domainEnglishFormat.kif 30193-30193
(
termFormat
ChineseLanguage
inList
"在列表内")
chinese_format.kif 132-132
(
termFormat
ChineseTraditionalLanguage
inList
"在列表中")
domainEnglishFormat.kif 30192-30192
(
termFormat
EnglishLanguage
inList
"in list")
domainEnglishFormat.kif 30191-30191
(
termFormat
de
inList
"inListe")
terms-de.txt 47-47
(
termFormat
tg
inList
"sa mula")
relations-tg.txt 299-299
antecedent
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3286-3290
NumeroReale
is
uguale
a
AverageFn
Lista
Entit�
è un
Lista
Entit�
è un'
istanza
di
Numero
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2005-2017
Lista
is
uguale
a
Mean3SecondWindSpeedListFn
AreaGeografica
and
IntervalloTemporale
FunzioneDiQuantit�
è un
Lista
IntervalloTemporale
LIST
IntervalloTemporale
IntervalloTemporale
LIST is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and 3
SecondDuration
(s
IntervalloTemporale
è un
IntervalloTemporale
LIST
FunzioneDiQuantit�
is
uguale
a
Mean3SecondWindSpeedFn
AreaGeografica
and
IntervalloTemporale
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 1998-2003
Lista
is
uguale
a
Mean3SecondWindSpeedListFn
AreaGeografica
and
IntervalloTemporale
Entit�
è un
Lista
Entit�
è un'
istanza
di
FunzioneDiQuantit�
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
exhaustiveAttribute
Attributo
and @ROW
Entit�
è un
Entit�
è un'
istanza
di
Attributo
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
exhaustiveAttribute
Attributo
and @ROW
Entit�
è un
Entit�
è un'
istanza
di
Attributo
(=>
(
and
(
inList
?E ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U)))
(
instance
?E
RationalNumber
))
Merge.kif 7582-7587
Entit�
è un
Lista
Lista
is
uguale
a
AmountsFn
Sostanza
,
OggettoCorpuscolare
and
UnitOfMass
Entit�
è un'
istanza
di
NumeroRazionale
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1975-1980
IntervalloTemporale
è un
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and
Durata
durata
di
IntervalloTemporale
è
Durata
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
Entit�
è un
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and
Durata
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
exists
(?SRP)
(
and
(
instance
?SRP
SearchResultsPage
)
(
component
?RESULTS ?SRP))))
UXExperimentalTerms.kif 2491-2498
Entit�
è un
Lista
Lista
è un'
istanza
di
SRPResults
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
SearchResultsPage
Lista
è un
componente
di
OggettoCorpuscolare
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
Entit�
è un
Lista
Lista
è un'
istanza
di
SRPResults
Entit�
è un'
istanza
di
WebListing
Entit�
è un'
istanza
di
WebPage
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
inList
?TIME ?LIST))
(
instance
?Time
TimeInterval
))
Weather.kif 1929-1933
Lista
è un'
istanza
di
ConsecutiveTimeIntervalList
Entit�
è un
Lista
Entit�
è un'
istanza
di
IntervalloTemporale
(=>
(
and
(
instance
?LIST
MeasuringList
)
(
inList
?M ?LIST))
(
instance
?M
Measuring
))
Weather.kif 1716-1720
Lista
è un'
istanza
di
MeasuringList
Entit�
è un
Lista
Entit�
è un'
istanza
di
Misurare
(=>
(
and
(
instance
?LIST
MeasuringResultList
)
(
inList
?R ?LIST))
(
instance
?R
PhysicalQuantity
))
Weather.kif 1784-1788
Lista
è un'
istanza
di
MeasuringResultList
Entit�
è un
Lista
Entit�
è un'
istanza
di
Quantit�Fisica
(=>
(
and
(
instance
?LIST
MeasuringSurfaceWindSpeedList
)
(
inList
?M ?LIST))
(
instance
?M
SurfaceWindSpeedMeasuring
))
Weather.kif 1750-1754
Lista
è un'
istanza
di
MeasuringSurfaceWindSpeedList
Entit�
è un
Lista
Entit�
è un'
istanza
di
SurfaceWindSpeedMeasuring
(=>
(
and
(
instance
?LIST
NumberList
)
(
inList
?NUM ?LIST))
(
instance
?NUM
Number
))
Weather.kif 1819-1823
Lista
è un'
istanza
di
NumberList
Entit�
è un
Lista
Entit�
è un'
istanza
di
Numero
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
Entit�
è un'
istanza
di
IntentionalRelation
Entit�
AgenteCognitivo
and @ROW
Entit�
è un
AgenteCognitivo
è
interessato
a
Entit�
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
AreaGeografica
Processo
è un
MeasuringList
Processo
è un'
istanza
di
Misurare
eventLocated
Processo
and
AreaGeografica
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1860-1864
measuringListInterval
MeasuringList
and
Durata
Entit�Concreta
è un
MeasuringList
durata
di il
tempo
di esistenza di
Entit�Concreta
è
Durata
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
Oggetto
è
AttributoPosizionale
a
Oggetto
@ROW è
opposto
a
AttributoPosizionale
è un
AttributoPosizionale
è un
AttributoPosizionale
is
uguale
a
AttributoPosizionale
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
Entit�Concreta
è un
Entit�Concreta
è un
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
NumeroInteroPositivo
è
meno
di
NumeroInteroPositivo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
inList
?ACCESSING ?LIST))
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)
(
exists
(?DEST)
(
and
(
instance
?DEST
WebPage
)
(
destination
?ACCESSING
WebPage
)))))
UXExperimentalTerms.kif 771-781
viewedItemList
AutonomousAgent
and
Lista
Processo
è un
Lista
Processo
è un'
istanza
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
è un'
istanza
di
WebPage
Processo
fine
s in
WebPage
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3113-3116
Entit�
è un
Lista
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Entit�
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
(
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
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
Lista
and
NumeroReale
Lista
NumeroInteroPositivo
lunghezza
di
Lista
is
uguale
a
lunghezza
di
Lista
1th
elemento
di
Lista
is
uguale
a 1th
elemento
di
Lista
NumeroInteroPositivo
NumeroInteroPositivo
è un
Lista
NumeroReale
NumeroReale
MINUSONE,
NumeroInteroPositivo
and
NumeroInteroPositivo
NumeroReale
è
pi
ù grande di 1
NumeroReale
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroReale
NumeroInteroPositivo
è un
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
è un
Lista
NumeroReale
MINUSONE is
uguale
a (
NumeroReale
+ 1
NumeroReale
MINUSONE is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
+
NumeroInteroPositivo
(=>
(
albumArtist
?A ?P)
(
exists
(?R ?M)
(
and
(
instance
?R
Recording
)
(
inList
?R ?A)
(
record
?R ?M)
(
agent
?M ?P))))
Music.kif 280-287
albumArtist
Album
and
AgenteCognitivo
OggettoSemiotico
Processo
OggettoSemiotico
è un'
istanza
di
Recording
OggettoSemiotico
è un
Album
record
OggettoSemiotico
and
Processo
Processo
è un
agente
di
AgenteCognitivo
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Sostanza
,
OggettoCorpuscolare
and
NumeroReale
UnitOfMass
(s
Sostanza
I è un'
istanza
di
Sostanza
la
misura
Sostanza
I è
NumeroReale
2
UnitOfMass
(s
Sostanza
I è una
parte
di
OggettoCorpuscolare
Lista
NumeroReale
2
UnitOfMass
(s è un
Lista
Lista
is
uguale
a
AmountsFn
Sostanza
,
OggettoCorpuscolare
and
UnitOfMass
NumeroReale
is
uguale
a
ListSumFn
Lista
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
pi
ù grande di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
meno
di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?X))))))
Music.kif 936-946
DataStorageDevice
is
uguale
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
è un'
istanza
di
DataStorageDevice
Oggetto
Oggetto
è un
Album
OggettoSemiotico
OggettoSemiotico
è un esatta
copia
di
Oggetto
stored
OggettoSemiotico
and
DataStorageDevice
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2005-2017
Lista
is
uguale
a
Mean3SecondWindSpeedListFn
AreaGeografica
and
IntervalloTemporale
FunzioneDiQuantit�
è un
Lista
IntervalloTemporale
LIST
IntervalloTemporale
IntervalloTemporale
LIST is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and 3
SecondDuration
(s
IntervalloTemporale
è un
IntervalloTemporale
LIST
FunzioneDiQuantit�
is
uguale
a
Mean3SecondWindSpeedFn
AreaGeografica
and
IntervalloTemporale
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
Oggetto
è un'
istanza
di
DigitalDataStorageDevice
Stringa
è una
parte
di
Oggetto
Stringa
è un'
istanza
di
DigitalData
CodeMap
Lista
and
Entit�
codeMapping
CodeMap
,
Stringa
and
Entit�
Lista
esprime
CodeMap
Entit�
è un
Lista
Entit�
è un'
istanza
di
NumeroBinario
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1532-1547
WaterWave
è un'
istanza
di
WaterWave
waveHeight
WaterWave
and
MisuraDiLunghezza
Lista
SuperficieAcquatica
,
Unit�DiMisura
and
NumeroReale
MisuraDiLunghezza
è un
Lista
SuperficieAcquatica
è un'
istanza
di
SuperficieAcquatica
eventLocated
WaterWave
and
SuperficieAcquatica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
significantWaveHeight
SuperficieAcquatica
, il
tempo
di esistenza di
WaterWave
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a 4.0 +
StandardDeviationFn
Lista
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
average
Lista
and
NumeroReale
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
NumeroReale
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
@ROW è
opposto
a
Entit�
è un
Entit�
è un'
istanza
di
Attributo
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
Classe
è
scomposto
disgiuntivamente in @ROW
Classe
Classe
è un
Classe
è una
sottoclasse
di
Classe
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
Classe
è
scomposto
disgiuntivamente in @ROW
Classe
Classe
Classe
è un
Classe
è un
Classe
is
uguale
a
Classe
Classe
è
disgiunto
da
Classe
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
@ROW è
scomposto
disgiuntivamente in @ROW
Entit�
è un
Entit�
è un'
istanza
di
Classe
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
Entit�
è un
Entit�
è un'
istanza
di
Numero
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
Entit�
è un
Entit�
è un'
istanza
di
Numero
(=>
(
equal
?X
(
MaxValueFn
?LIST))
(
not
(
exists
(?Y)
(
and
(
inList
?Y ?LIST)
(
greaterThan
?Y ?X)))))
Weather.kif 1685-1692
NumeroReale
is
uguale
a
MaxValueFn
Lista
NumeroReale
NumeroReale
è un
Lista
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
exhaustiveAttribute
Attributo
and @ROW
Entit�
Entit�
è un'
istanza
di
Attributo
Entit�
Entit�
è un
Entit�
is
uguale
a
Entit�
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
Classe
è
coperto
da @ROW
Entit�
Entit�
è un'
istanza
di
Classe
Classe
Classe
è un
Entit�
è un'
istanza
di
Classe
(=>
(
exhaustiveDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 558-562
@ROW è
coperto
da @ROW
Entit�
è un
Entit�
è un'
istanza
di
Classe
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