consequent

(=>     (instance ?X WriteOnceDataStorage)     (and         (modalAttribute             (exists (?WRITE1 ?DATA1)                 (and                     (instance ?WRITE1 Writing)                     (patient ?WRITE1 ?X)                     (patient ?WRITE1 ?DATA1)                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?WRITE1))                         (stored ?DATA1 ?X)))) Possibility)         (not             (modalAttribute                 (exists (?WRITE2 ?DATA2)                     (and                         (stored ?DATA2 ?X)                         (or                             (instance ?WRITE2 ContentDevelopment)                             (instance ?WRITE2 DeletingData))                         (not                             (equal ?WRITE1 ?WRITE2))                         (patient ?WRITE2 ?DATA2))) Possibility))))	Media.kif 713-736	If X is an instance of write once data storage, then the statement there exist Y, Z such that Y is an instance of writing, X is a patient of Y, Z is a patient of Y, and Z is stored on X holds during immediately after the time of existence of Y has the modal force of possibility and the statement there don't exist W, V such that V is stored on X, W is an instance of content development or W is an instance of deleting data, equal Y, W, and V is a patient of W doesn't have the modal force of possibility
(=>     (instance ?X RewritableDataStorage)     (and         (modalAttribute             (exists (?WRITE1 ?DATA1)                 (and                     (instance ?WRITE1 Writing)                     (patient ?WRITE1 ?X)                     (patient ?WRITE1 ?DATA1)                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?WRITE1))                         (stored ?DATA1 ?X)))) Possibility)         (modalAttribute             (exists (?WRITE2 ?DATA2)                 (and                     (stored ?DATA2 ?X)                     (or                         (instance ?WRITE2 ContentDevelopment)                         (instance ?WRITE2 DeletingData))                     (not                         (equal ?WRITE1 ?WRITE2))                     (patient ?WRITE2 ?DATA2))) Possibility)))	Media.kif 741-763	If X is an instance of rewritable data storage, then the statement there exist Y, Z such that Y is an instance of writing, X is a patient of Y, Z is a patient of Y, and Z is stored on X holds during immediately after the time of existence of Y has the modal force of possibility and the statement there exist W, V such that V is stored on X, W is an instance of content development or W is an instance of deleting data, equal Y, W, and V is a patient of W has the modal force of possibility
(=>     (and         (instance ?X ReadOnlyMemoryDataStorage)         (instance ?FABRICATION Manufacture)         (result ?FABRICATION ?X))     (not         (modalAttribute             (exists (?WRITE1 ?DATA1 ?WRITE2)                 (and                     (or                         (instance ?WRITE2 ContentDevelopment)                         (instance ?WRITE2 DeletingData))                     (earlier                         (WhenFn ?FABRICATION)                         (WhenFn ?WRITE1))                     (patient ?WRITE1 ?X)                     (patient ?WRITE1 ?DATA1)                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?WRITE1))                         (stored ?DATA1 ?X)))) Possibility)))	Media.kif 768-788	If X is an instance of read only memory data storage, Y is an instance of manufacture, and X is a result of Y, then the statement there don't exist Z, W, V such that V is an instance of content development or V is an instance of deleting data, the time of existence of Y happens earlier than the time of existence of Z, X is a patient of Z, W is a patient of Z, and W is stored on X holds during immediately after the time of existence of Z doesn't have the modal force of possibility
(=>     (instance ?A Announcement)     (exists (?CD ?I)         (and             (instance ?CD ContentDevelopment)             (result ?CD ?A)             (refers ?A ?I)             (instance ?I SocialInteraction)             (earlier                 (WhenFn ?CD)                 (WhenFn ?I)))))	Mid-level-ontology.kif 16022-16032	If X is an instance of announcement, then there exist Y, Z such that Y is an instance of content development, X is a result of Y, X includes a reference to Z, Z is an instance of social interaction, and the time of existence of Y happens earlier than the time of existence of Z
(=>     (and         (instance ?EP EntertainmentProfession)         (attribute ?P ?EP))     (or         (occupation ?P             (OccupationFn Performance))         (occupation ?P             (OccupationFn ContentDevelopment))))	Mid-level-ontology.kif 20832-20838	If X is an instance of entertainment profession and X is an attribute of Y, then the occupation of performance is an occupation of Y or the occupation of content development is an occupation of Y
(=>     (attribute ?P Journalist)     (and         (occupation ?P             (OccupationFn ContentDevelopment))         (occupation ?P             (OccupationFn Disseminating))))	Mid-level-ontology.kif 20866-20870	If journalist is an attribute of X, then the occupation of content development is an occupation of X and the occupation of disseminating is an occupation of X
(=>     (hasExpertise ?H Architecture)     (exists (?D ?P ?B)         (and             (instance ?D ContentDevelopment)             (agent ?D ?H)             (result ?D ?P)             (instance ?P Blueprint)             (represents ?P ?B)             (instance ?B Building))))	Mid-level-ontology.kif 23462-23471	If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W is an instance of building
(=>     (policyClause ?CLAUSE ?ATTR ?POL ?AGENT)     (exists (?PROP ?PROC)         (and             (policyOwner ?AGENT ?POL)             (instance ?PROC ContentDevelopment)             (result ?PROC ?CLAUSE)             (agent ?PROC ?AGENT)             (containsInformation ?CLAUSE ?PROP)             (subProposition ?PROP ?POL)             (modalAttribute ?CLAUSE ?ATTR))))	TravelPolicies.kif 259-269	If policy clause X, Y, Z and W, then All of the following hold: (1) there exist V (2) U such that W enacts policy Z (3) U is an instance of content development (4) X is a result of U (5) W is an agent of U (6) X contains information V (7) V is a sub-proposition of Z (8) the statement X has the modal force of Y

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