(=>     (exhaustiveAttribute ?CLASS @ROW)     (forall (?ATTR1)         (=>             (instance ?ATTR1 ?CLASS)             (exists (?ATTR2)                 (and                     (inList ?ATTR2                         (ListFn @ROW))                     (equal ?ATTR1 ?ATTR2))))))	Merge.kif 502-510	如果 @ROW 是所有的 另一个 有点 属性 的 attributes ， 然后 对所有 实体 如果 那个 实体 是 另一个 有点 属性 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 (@ROW) 的 member 和 那个 实体 equal 那个 另外 实体
(=>     (exhaustiveDecomposition ?CLASS @ROW)     (forall (?OBJ)         (=>             (instance ?OBJ ?CLASS)             (exists (?ITEM)                 (and                     (inList ?ITEM                         (ListFn @ROW))                     (instance ?OBJ ?ITEM))))))	Merge.kif 2938-2946	如果 @ROW 涵盖 另一个 类， 然后 对所有 实体 如果 那个 实体 是 那个 另外 类 的 instance， 然后 有存在 第三 类 这样 那个 第三 类 是 (@ROW) 的 member 和 那个 实体 是 那个 第三 类 的 instance
(=>     (exhaustiveDecomposition @ROW)     (=>         (inList ?ELEMENT             (ListFn @ROW))         (instance ?ELEMENT Class)))	Merge.kif 551-555	如果 @ROW 涵盖 @ROW， 然后 如果 另一个 实体 是 (@ROW) 的 member， 然后 那个 另外 实体 是 类 的 instance
(=>     (instance ?L Album)     (forall (?X)         (=>             (inList ?X ?L)             (instance ?X Recording))))	Music.kif 53-58	如果 串列 是 Album 的 instance， 然后 对所有 实体 如果 那个 实体 是 那个 串列 的 member， 然后 那个 实体 是 Recording 的 instance
(=>     (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 2046-2064	如果 过程 是 ShuttleService 的 instance， 然后 有存在 串列， 客体， and 和 施事体 这样 那个 施事体 是 那个 过程 的 agent 和 那个 施事体 possesses 那个 客体 和 那个 客体 是 汽车 的 instance 和 那个 串列 是 串列 的 instance 和 对所有 实体 如果 那个 实体 是 那个 串列 的 member， 然后 那个 实体 是 PostalPlace 的 instance 和 有存在 另一个 过程 这样 那个 另外 过程 是 运输 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 客体 是导致 那个 另外 过程 的 instrument 和 那个 另外 过程 在 那个 实体 结束
(=>     (instance ?X AlbumChart)     (exists (?A)         (and             (instance ?A Album)             (inList ?A ?X))))	Music.kif 1151-1156	如果 串列 是 AlbumChart 的 instance， 然后 有存在 实体 这样 那个 实体 是 Album 的 instance 和 那个 实体 是 那个 串列 的 member
(=>     (instance ?X MusicChart)     (exists (?P ?OBJ)         (and             (instance ?P Selecting)             (result ?P                 (inList ?OBJ ?X)))))	Music.kif 1127-1132	如果 实体 是 MusicChart 的 instance， 然后 有存在 过程 和 另一个 实体 这样 那个 过程 是 选择 的 instance 和 那个 另外 实体 是 那个 实体 的 member 是 那个 过程 的 result
(=>     (instance ?X SinglesChart)     (exists (?MR)         (and             (instance ?MR MusicRecording)             (inList ?MR ?X))))	Music.kif 1139-1144	如果 串列 是 SinglesChart 的 instance， 然后 有存在 实体 这样 那个 实体 是 音乐录音 的 instance 和 那个 实体 是 那个 串列 的 member
(=>     (searchResult ?RESULT ?SA)     (exists (?RESULTS)         (and             (instance ?RESULTS SRPResults)             (inList ?RESULT ?RESULTS))))	UXExperimentalTerms.kif 2331-2336	如果 WebListing results 从 searching 对于 SearchAttempt ， 然后 有存在 那个 WebListingS 这样 那个 WebListingS 是 SRPResults 的 instance 和 那个 WebListing 是 那个 WebListingS 的 member

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