consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (or                         (capability Sport instrument ?THING)                         (capability MakingMusic instrument ?THING)                         (instance ?THING Book)                         (instance ?THING MusicRecording)                         (instance ?THING MusicText))                     (patient ?EV ?THING))))))	naics.kif 7600-7618	If a collection is an instance of organization and SportingGoodsHobbyBookAndMusicStores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of MusicRecording or the object is an instance of MusicText and the object is a patient of the agent
(=>     (instance ?CHAPTER Chapter)     (exists (?BOOK)         (and             (instance ?BOOK Book)             (subsumesContentInstance ?BOOK ?CHAPTER))))	Mid-level-ontology.kif 16058-16063	If a ContentBearingPhysical is an instance of Chapter, then there exists another ContentBearingPhysical such that the other ContentBearingPhysical is an instance of book and the other ContentBearingPhysical subsumes the content of the ContentBearingPhysical
(=>     (instance ?L LibraryBuilding)     (hasPurpose ?L         (exists (?B)             (and                 (instance ?B Book)                 (located ?L ?B)))))	Mid-level-ontology.kif 9681-9687	If a physical is an instance of LibraryBuilding, then the physical has the purpose there exists an entity such that the entity is an instance of book and the physical is located at the entity
(=>     (instance ?SERIES Series)     (exists (?BOOK1 ?BOOK2)         (and             (instance ?BOOK1 Book)             (instance ?BOOK2 Book)             (subsumesContentInstance ?SERIES ?BOOK1)             (subsumesContentInstance ?SERIES ?BOOK2)             (not                 (equal ?BOOK1 ?BOOK2)))))	Mid-level-ontology.kif 16010-16018	If a ContentBearingPhysical is an instance of series, then there exist another ContentBearingPhysical and a third ContentBearingPhysical such that the other ContentBearingPhysical is an instance of book and the third ContentBearingPhysical is an instance of book and the ContentBearingPhysical subsumes the content of the other ContentBearingPhysical and the ContentBearingPhysical subsumes the content of the third ContentBearingPhysical and equal the other ContentBearingPhysical and the third ContentBearingPhysical

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 is open source software produced by Articulate Software and its partners