Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - inList
inList

appearance as argument number 1
-------------------------


(instance inList BinaryPredicate) Merge.kif 3215-3215 in list is an instance of binary predicate
(instance inList PartialValuedRelation) Merge.kif 3216-3216 in list is an instance of partial valued relation
(domain inList 1 Entity) Merge.kif 3217-3217 The number 1 argument of in list is an instance of entity
(domain inList 2 List) Merge.kif 3218-3218 The number 2 argument of in list is an instance of list
(documentation inList EnglishLanguage "The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the List ?LIST. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.") Merge.kif 3220-3222 The number 2 argument of in list is an instance of list

appearance as argument number 2
-------------------------


(subrelation albumTrack inList) Music.kif 332-332 album track is a subrelation of in list
(termFormat EnglishLanguage inList "in list") domainEnglishFormat.kif 30195-30195 album track is a subrelation of in list
(termFormat ChineseTraditionalLanguage inList "在列表中") domainEnglishFormat.kif 30196-30196 album track is a subrelation of in list
(termFormat ChineseLanguage inList "在列表中") domainEnglishFormat.kif 30197-30197 album track is a subrelation of in list
(format EnglishLanguage inList "%1 is %n a member of %2") english_format.kif 132-132 album track is a subrelation of in list

antecedent
-------------------------


(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))		 Merge.kif 489-493 If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of attribute
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))		 Merge.kif 495-499 If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of Y
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))		 Merge.kif 2786-2791 If X is an instance of intentional relation, X Y and @ROW, and W is a member of (@ROW), then Y is interested in W
(=>
    (inList ?ITEM ?LIST)
    (exists (?NUMBER)
        (equal
            (ListOrderFn ?LIST ?NUMBER) ?ITEM)))		 Merge.kif 3224-3227 If X is a member of Y, then there exists Z such that equal W element of Y and X
(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))		 Merge.kif 3397-3401 If equal X and the average of the numbers in Y and Z is a member of Y, then Z is an instance of number
(=>
    (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 17275-17283 If X is Y to Z, @ROW is the opposite of, Y is a member of (@ROW), V is a member of (@ROW), and equal Y and V, then X is not V to Z
(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTBFFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTBFInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34337-34348 If equal X hour duration(s) and The MTBF of Y, Z is an instance of Y, equal W hour duration(s) and The MTBF of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (and
        (instance ?D Device)
        (deviceUpTime ?D ?UP)
        (duration ?UP
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceUpTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34419-34427 If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (devicePlannedDownTime ?D ?PLAN)
        (duration ?PLAN
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DevicePlannedDownTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34438-34446 If X is an instance of device, device X is scheduled to be in DeviceOff during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (deviceFailTime ?D ?FAIL)
        (duration ?FAIL
            (MeasureFn ?X HourDuration))
        (attribute ?D Repairable)
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceFailTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34458-34467 If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (MTTFFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?Y HourDuration)
            (TimeToFailureFn ?D))
        (inList ?Y ?L))
    (equal ?X
        (AverageFn ?L)))		 Mid-level-ontology.kif 34563-34574 If equal X hour duration(s) and The MTTF of Y, Z is an instance of Y, equal W hour duration(s) and The time to failure of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRepairFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRepairInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34613-34624 If equal X hour duration(s) and The MTTRepairFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (and
        (instance ?D Device)
        (inList
            (TimeToRecoveryFn ?D) ?L))
    (equal ?L
        (TimeToRecoveryDurationListFn ?D)))		 Mid-level-ontology.kif 34692-34698 If X is an instance of device and The time to recovery of X is HourDuration is a member of Y, then equal Y and The list of time to recovery duration for X is
(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRecoveryFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRecoveryInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34711-34722 If equal X hour duration(s) and The MTTRecoveryFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (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 790-806 If All of the following hold: (1) the list of processes @ROW (2) Y is a member of (@ROW) (3) Z is a member of (@ROW) (4) equal W element of (@ROW) and Y (5) equal V element of (@ROW) and Z (6) U is less than T, then the time of existence of Y happens earlier than the time of existence of Z
(=>
    (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 If X is the list of items viewed by Y and Z is a member of X, then Z is an instance of accessing web page, Y is an agent of Z, and there exists W such that W is an instance of web page and Z ends up at web page
(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (or
        (instance ?ITEM WebListing)
        (instance ?ITEM WebPage)))		 UXExperimentalTerms.kif 2484-2490 If X is a member of Y and Y is an instance of search results, then X is an instance of web listing or X is an instance of web page
(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (exists (?SRP)
        (and
            (instance ?SRP SearchResultsPage)
            (component ?RESULTS ?SRP))))		 UXExperimentalTerms.kif 2492-2499 If X is a member of Y and Y is an instance of search results, then there exists Z such that Z is an instance of search results page and Y is a component of Z
(=>
    (and
        (equal ?L
            (DailyTempListFn ?W ?M ?Y))
        (inList ?T ?L)
        (equal ?DAYS
            (NumberOfDaysInMonthFn ?M ?Y)))
    (exists (?D ?DAY ?YEAR)
        (and
            (lessThanOrEqualTo ?D ?DAYS)
            (equal ?T
                (DailyTempFn ?W ?DAY))
            (instance ?Y ?YEAR)
            (instance ?DAY
                (DayFn ?D
                    (MonthFn ?M ?YEAR))))))		 Weather.kif 643-657 If equal X and The List of daily temperature for month Y in year Z for GeographicArea W, V is a member of X, and equal U, Number of days in month Y, and year Z, then there exist T, S, R such that T is less than or equal to U, equal V, The avearage daily temperature for Region W, Z is an instance of R, and S is an instance of the day T of month the month Y
(=>
    (and
        (equal ?TEMP
            (ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))
        (instance ?Y
            (YearFn ?I))
        (equal ?YEAR
            (SubtractionFn ?I ?N))
        (greaterThanOrEqualTo ?N 0)
        (lessThan ?N 30)
        (instance ?U UnitOfTemperature)
        (equal
            (MeasureFn ?X ?U)
            (MeanMonthSSTFn ?W ?M
                (YearFn ?YEAR)))
        (inList ?X ?L))
    (equal ?TEMP
        (MeasureFn
            (AverageFn ?L) ?U)))		 Weather.kif 822-839 If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s)
(=>
    (and
        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))		 Weather.kif 3009-3013 If X is an instance of measuring list and Y is a member of X, then Y is an instance of measuring
(=>
    (and
        (instance ?LIST MeasuringSurfaceWindSpeedList)
        (inList ?M ?LIST))
    (instance ?M SurfaceWindSpeedMeasuring))		 Weather.kif 3043-3047 If X is an instance of measuring surface wind speed list and Y is a member of X, then Y is an instance of surface wind speed measuring
(=>
    (and
        (locationMeasuringList ?LIST ?PLACE)
        (inList ?M ?LIST))
    (and
        (instance ?M Measuring)
        (eventLocated ?M ?PLACE)))		 Weather.kif 3062-3068 If The eventLocated for X is Y and Z is a member of X, then Z is an instance of measuring and Z is located at Y
(=>
    (and
        (instance ?LIST MeasuringResultList)
        (inList ?R ?LIST))
    (instance ?R PhysicalQuantity))		 Weather.kif 3070-3074 If X is an instance of measuring result list and Y is a member of X, then Y is an instance of physical quantity
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))		 Weather.kif 3099-3103 If X is an instance of number list and Y is a member of X, then Y is an instance of number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))		 Merge.kif 456-460 Assuming @ROW is the opposite of, it follows that: if Y is a member of (@ROW), then Y is an instance of attribute
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))		 Merge.kif 501-509 If @ROW are all the attributes of Y, then For all Entity Z: if Z is an instance of Y, then there exists W such that W is a member of (@ROW) and equal Z and W
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 550-554 Assuming @ROW is covered by @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 566-570 Assuming @ROW is disjointly decomposed into @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
(=>
    (exhaustiveDecomposition ?CLASS @ROW)
    (forall (?OBJ)
        (=>
            (instance ?OBJ ?CLASS)
            (exists (?ITEM)
                (and
                    (inList ?ITEM
                        (ListFn @ROW))
                    (instance ?OBJ ?ITEM))))))		 Merge.kif 3051-3059 If X is covered by @ROW, then For all Entity Z: if Z is an instance of X, then there exists W such that W is a member of (@ROW) and Z is an instance of W
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 3061-3066 If X is disjointly decomposed into @ROW, then For all Class Z: if Z is a member of (@ROW), then Z is a subclass of X
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))		 Merge.kif 3068-3077 If X is disjointly decomposed into @ROW, then For all Classes Z and W: if Z is a member of (@ROW), W is a member of (@ROW), and equal Z and W, then Z is disjoint from W
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 4966-4971 Assuming equal the greatest common divisor of @ROW and Y, it follows that: if Z is a member of (@ROW), then Z is an instance of number
(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))		 Merge.kif 4973-4984 If equal the greatest common divisor of @ROW and Y and equal Y and 0, then For all Integer Z: if Z is a member of (@ROW), then equal Z mod Y and 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 4986-5000 If equal the greatest common divisor of @ROW and Y and equal Y and 0, then there doesn't exist Z such that Z is greater than Y and W W is a member of (@ROW)equal W mod Z and 0
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 5051-5056 Assuming equal the least common multiple of @ROW and Y, it follows that: if Z is a member of (@ROW), then Z is an instance of number
(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))		 Merge.kif 5058-5068 If equal the least common multiple of @ROW and Y and equal Y and 0, then For all Integer Z: if Z is a member of (@ROW), then equal Y mod Z and 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 5070-5084 If equal the least common multiple of @ROW and Y and equal Y and 0, then there doesn't exist Z such that Z is less than Y and W W is a member of (@ROW)equal Z mod W and 0
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))		 Merge.kif 5492-5497 If X is an average of Y, then For all Entity Z: if Z is a member of Y, then Z is an instance of real number
(=>
    (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 7740-7755 If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T
(=>
    (and
        (instance ?O Odometer)
        (instance ?V Vehicle)
        (part ?O ?V)
        (instance ?T Translocation)
        (instrument ?T ?V)
        (path ?T ?P)
        (distanceOnPath
            (MeasureFn ?D ?U) ?P)
        (instance ?U LengthMeasure))
    (hasPurpose ?O
        (exists (?M ?L ?DIST)
            (and
                (instance ?M Measuring)
                (instrument ?M ?O)
                (measurementReading ?O ?DIST)
                (inList ?D ?L)
                (holdsDuring
                    (WhenFn
                        (EndFn ?M))
                    (and
                        (equal ?DIST
                            (MeasureFn
                                (ListSumFn ?L) ?U))
                        (not
                            (attribute ?O ResetMeasuringDevice))))))))		 Cars.kif 2824-2850 If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>
    (and
        (instance ?X OrderingParts)
        (patient ?X ?P))
    (hasPurpose ?X
        (exists (?L)
            (and
                (instance ?L List)
                (inList ?P ?L)))))		 Economy.kif 2096-2104 If X is an instance of Ordering parts and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of list and Y is a member of Z
(=>
    (instance ?SVC ShuttleService)
    (exists (?LIST ?VEHICLE ?AGENT)
        (and
            (agent ?SVC ?AGENT)
            (possesses ?AGENT ?VEHICLE)
            (instance ?VEHICLE Automobile)
            (instance ?LIST List)
            (forall (?X)
                (=>
                    (inList ?X ?LIST)
                    (and
                        (instance ?X PostalPlace)
                        (exists (?TRANSPORT)
                            (and
                                (instance ?TRANSPORT Transportation)
                                (agent ?TRANSPORT ?AGENT)
                                (instrument ?TRANSPORT ?VEHICLE)
                                (destination ?TRANSPORT ?X)))))))))		 Hotel.kif 2053-2071 If X is an instance of shuttle, then All of the following hold: (1) there exist Y, Z (2) W such that W is an agent of X (3) W possesses Z (4) Z is an instance of automobile (5) Y is an instance of list (6) V V is a member of YV is an instance of postal place (7) there exists U such that U is an instance of transportation (8) W is an agent of U (9) Z is an instrument for U (10) U ends up at V
(=>
    (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 799-810 If X is an instance of digital data storage device, Y is a part of X, and Y is an instance of digital data, then there exist Z, W, V such that Y in Z denotes V, W expresses Z, and V is a member of WV is an instance of binary number
(=>
    (instance ?L Album)
    (forall (?X)
        (=>
            (inList ?X ?L)
            (instance ?X Recording))))		 Music.kif 53-58 If X is an instance of album, then For all Entity Y: if Y is a member of X, then Y is an instance of recording
(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))		 Music.kif 280-287 If X is a performer on Y, then there exist Z, W such that Z is an instance of recording, Z is a member of Y, Z is a record of W, and X is an agent of W
(=>
    (and
        (equal ?D
            (AlbumCopiesFn ?A ?DS))
        (instance ?X ?D))
    (forall (?S)
        (=>
            (inList ?S ?A)
            (exists (?C)
                (and
                    (copy ?C ?S)
                    (dataStored ?C ?X))))))		 Music.kif 938-948 If equal X and the set of copies on Y of Z and W is an instance of X, then For all Object V: if V is a member of Z, then there exists U such that U is a copy of V and W is stored on U
(=>
    (instance ?X MusicChart)
    (exists (?P ?OBJ)
        (causesProposition
            (and
                (instance ?P Selecting)
                (patient ?P ?X))
            (inList ?OBJ ?X))))		 Music.kif 1127-1134 If X is an instance of music charts, then there exist Y, Z such that Z is a member of X is a causes proposition of Y is an instance of selecting, and X is a patient of Y
(=>
    (instance ?X SinglesChart)
    (exists (?MR)
        (and
            (instance ?MR MusicRecording)
            (inList ?MR ?X))))		 Music.kif 1141-1146 If X is an instance of singles chart, then there exists Y such that Y is an instance of music recording and Y is a member of X
(=>
    (instance ?X AlbumChart)
    (exists (?A)
        (and
            (instance ?A Album)
            (inList ?A ?X))))		 Music.kif 1153-1158 If X is an instance of album chart, then there exists Y such that Y is an instance of album and Y is a member of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners