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 3110-3112
(
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 3107-3107
(
domain
inList
2
List
)
Merge.kif 3108-3108
(
instance
inList
BinaryPredicate
)
Merge.kif 3105-3105
(
instance
inList
PartialValuedRelation
)
Merge.kif 3106-3106
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
(
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 3287-3291
(=>
(
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 1988-2000
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 1981-1986
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
(=>
(
and
(
inList
?E ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U)))
(
instance
?E
RationalNumber
))
Merge.kif 7583-7588
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1958-1963
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1949-1956
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
exists
(?SRP)
(
and
(
instance
?SRP
SearchResultsPage
)
(
component
?RESULTS ?SRP))))
UXExperimentalTerms.kif 2491-2498
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
inList
?TIME ?LIST))
(
instance
?Time
TimeInterval
))
Weather.kif 1912-1916
(=>
(
and
(
instance
?LIST
MeasuringList
)
(
inList
?M ?LIST))
(
instance
?M
Measuring
))
Weather.kif 1699-1703
(=>
(
and
(
instance
?LIST
MeasuringResultList
)
(
inList
?R ?LIST))
(
instance
?R
PhysicalQuantity
))
Weather.kif 1767-1771
(=>
(
and
(
instance
?LIST
MeasuringSurfaceWindSpeedList
)
(
inList
?M ?LIST))
(
instance
?M
SurfaceWindSpeedMeasuring
))
Weather.kif 1733-1737
(=>
(
and
(
instance
?LIST
NumberList
)
(
inList
?NUM ?LIST))
(
instance
?NUM
Number
))
Weather.kif 1802-1806
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1752-1758
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1843-1847
(=>
(
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 16992-17000
(=>
(
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
(=>
(
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
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3114-3117
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
(
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
(
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
(<=>
(
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
(=>
(
albumArtist
?A ?P)
(
exists
(?R ?M)
(
and
(
instance
?R
Recording
)
(
inList
?R ?A)
(
record
?R ?M)
(
agent
?M ?P))))
Music.kif 280-287
(=>
(
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 7597-7612
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4862-4873
(=>
(
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 4875-4889
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4947-4957
(=>
(
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 4959-4973
(=>
(
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
(=>
(
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 1988-2000
(=>
(
and
(
fleetDeadWeightTonnage
?FLEET
(
MeasureFn
?T
LongTon
))
(
vesselDeadWeightTonnage
?VESSEL
(
MeasureFn
?X
LongTon
))
(
member
?VESSEL ?FLEET))
(
exists
(?L)
(
and
(
instance
?L
List
)
(
inList
?X ?L)
(
equal
?T
(
listSumFn
?L)))))
Transportation.kif 2566-2576
(=>
(
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
(=>
(
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 1515-1530
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5370-5375
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2951-2956
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2958-2967
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4855-4860
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4940-4945
(=>
(
equal
?X
(
MaxValueFn
?LIST))
(
not
(
exists
(?Y)
(
and
(
inList
?Y ?LIST)
(
greaterThan
?Y ?X)))))
Weather.kif 1668-1675
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2941-2949
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