inList

-------------------------


(=>
    (instance ?L Album)
    (forall (?X)
        (=>
            (inList ?X ?L)
            (instance ?X Recording))))
Music.kif 53-58
(=>
    (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 2035-2053
(=>
    (instance ?X AlbumChart)
    (exists (?A)
        (and
            (instance ?A Album)
            (inList ?A ?X))))
Music.kif 1149-1154
(=>
    (instance ?X MusicChart)
    (exists (?P ?OBJ)
        (and
            (instance ?P Selecting)
            (result ?P
                (inList ?OBJ ?X)))))
Music.kif 1125-1130
(=>
    (instance ?X SinglesChart)
    (exists (?MR)
        (and
            (instance ?MR MusicRecording)
            (inList ?MR ?X))))
Music.kif 1137-1142
(=>
    (searchResult ?RESULT ?SA)
    (exists (?RESULTS)
        (and
            (instance ?RESULTS SRPResults)
            (inList ?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336


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