(=>     (instance ?X SinglesChart)     (exists (?MR)         (and             (instance ?MR MusicRecording)             (inList ?MR ?X))))	Music.kif 1129-1134	如果 串列 是 SinglesChart 的 instance， 然后 有存在 实体 这样 那个 实体 是 音乐录音 的 instance 和 那个 实体 是 那个 串列 的 member
(=>     (searchResult ?RESULT ?SA)     (exists (?RESULTS)         (and             (instance ?RESULTS SRPResults)             (inList ?RESULT ?RESULTS))))	UXExperimentalTerms.kif 2536-2541	如果 WebListing results 从 searching 对于 SearchAttempt ， 然后 有存在 那个 WebListingS 这样 那个 WebListingS 是 SRPResults 的 instance 和 那个 WebListing 是 那个 WebListingS 的 member

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners