consequent

(=>     (instance ?MAKING Making)     (exists (?ARTIFACT)         (and             (instance ?ARTIFACT Artifact)             (result ?MAKING ?ARTIFACT))))	Merge.kif 13107-13112	If X is an instance of making, then there exists Y such that Y is an instance of artifact and Y is a result of X
(=>     (instance ?W Wickering)     (hasPurpose ?W         (exists (?WICK ?OBJ ?WARP ?WEFT)             (and                 (instance ?WICK Wicker)                 (patient ?W ?WICK)                 (part ?WARP ?WICK)                 (part ?WEFT ?WICK)                 (traverses ?WARP ?WEFT)                 (not                     (equal ?WARP ?WEFT))                 (result ?W ?OBJ)                 (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 5190-5203	If X is an instance of wickering, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of wicker (3) Y is a patient of X (4) W is a part of Y (5) V is a part of Y (6) W traverses V (7) equal W (8) V (9) Z is a result of X (10) Z is an instance of artifact
(=>     (instance ?WEAVE Weaving)     (hasPurpose ?WEAVE         (exists (?SUB ?WARP ?WEFT ?OBJ)             (and                 (instance ?SUB Substance)                 (attribute ?SUB Pliable)                 (patient ?WEAVE ?SUB)                 (part ?WARP ?SUB)                 (part ?WEFT ?SUB)                 (not                     (equal ?WARP ?WEFT))                 (orientation ?WARP ?WEFT RightAngle)                 (result ?WEAVE ?OBJ)                 (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 5209-5223	If X is an instance of weaving, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) pliable is an attribute of Y (4) Y is a patient of X (5) Z is a part of Y (6) W is a part of Y (7) equal Z (8) W (9) Z is at a right angle to to W (10) V is a result of X (11) V is an instance of artifact
(=>     (instance ?S Workshop)     (hasPurpose ?S         (exists (?M ?W)             (and                 (instance ?M Making)                 (result ?M ?W)                 (instance ?W Artifact)))))	Mid-level-ontology.kif 8136-8143	If X is an instance of workshop, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of artifact
(=>     (instance ?PLAN Blueprint)     (hasPurpose ?PLAN         (exists (?ARTIFACT)             (and                 (instance ?ARTIFACT Artifact)                 (represents ?PLAN ?ARTIFACT)))))	Mid-level-ontology.kif 14751-14757	If X is an instance of blueprint, then X has the purpose there exists Y such that Y is an instance of artifact and X expresses Y
(=>     (instance ?X MultimediaProjector)     (hasPurpose ?X         (exists (?RS ?SCREEN ?VIDEO)             (and                 (instance ?RS RadiatingLight)                 (instrument ?RS ?X)                 (patient ?RS ?VIDEO)                 (or                     (instance ?VIDEO VideoRecording)                     (instance ?VIDEO Image))                 (destination ?RS ?SCREEN)                 (instance ?SCREEN Artifact)                 (attribute ?SCREEN Flat)                 (not                     (connected ?X ?SCREEN))))))	Mid-level-ontology.kif 28740-28754	If X is an instance of multimedia projector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating light (3) X is an instrument for Y (4) W is a patient of Y (5) W is an instance of video recording or W is an instance of image (6) Y ends up at Z (7) Z is an instance of artifact (8) flat is an attribute of Z (9) X is not connected to Z
(=>     (instance ?X Tripod)     (hasPurpose ?X         (exists (?OBJ ?PUT ?PROC)             (and                 (instance ?OBJ Artifact)                 (instance ?PUT Putting)                 (patient ?PUT ?OBJ)                 (destination ?PUT ?X)                 (instance ?PROC Process)                 (instrument ?PROC ?OBJ)                 (before                     (EndFn                         (WhenFn ?PUT))                     (BeginFn                         (WhenFn ?PROC)))))))	Mid-level-ontology.kif 29267-29280	If X is an instance of tripod, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of artifact (3) Z is an instance of putting (4) Y is a patient of Z (5) Z ends up at X (6) W is an instance of process (7) Y is an instrument for W (8) the end of the time of existence of Z happens before the beginning of the time of existence of W
(=>     (instance ?X Easel)     (hasPurpose ?X         (exists (?OBJ ?PUT)             (and                 (instance ?OBJ Artifact)                 (attribute ?OBJ Flat)                 (instance ?PUT Putting)                 (patient ?PUT ?OBJ)                 (destination ?PUT ?X)))))	Mid-level-ontology.kif 29287-29296	If X is an instance of easel, then X has the purpose there exist Y, Z such that Y is an instance of artifact, flat is an attribute of Y, Z is an instance of putting, Y is a patient of Z, and Z ends up at X
(=>     (instance ?X ArtifactMediatedCommunication)     (exists (?OBJ)         (and             (instance ?OBJ Artifact)             (instrument ?X ?OBJ))))	Mid-level-ontology.kif 29563-29568	If X is an instance of artifact mediated communication, then there exists Y such that Y is an instance of artifact and Y is an instrument for X
(=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Class)         (instance ?O ?S))     (instance ?O Artifact))	Mid-level-ontology.kif 33582-33587	If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then W is an instance of artifact
(=>     (and         (instance ?X PartInspection)         (patient ?X ?P)         (instance ?P SelfConnectedObject))     (exists (?A ?M)         (and             (part ?P ?A)             (instance ?A Artifact)             (instance ?M Manufacture)             (result ?M ?A)             (subProcess ?X ?M))))	Economy.kif 2054-2065	If X is an instance of part inspection, Y is a patient of X, and Y is an instance of self connected object, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W
(=>     (and         (instance ?X OrderingParts)         (patient ?X ?P))     (exists (?A ?M)         (and             (part ?P ?A)             (instance ?A Artifact)             (instance ?M Manufacture)             (result ?M ?A)             (subProcess ?X ?M))))	Economy.kif 2085-2095	If X is an instance of Ordering parts and Y is a patient of X, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W
(=>     (instance ?P ProductAssembly)     (exists (?O ?Q ?W)         (and             (patient ?P ?O)             (patient ?P ?Q)             (not                 (equal ?O ?Q))             (instance ?O SelfConnectedObject)             (instance ?Q SelfConnectedObject)             (part ?O ?W)             (part ?Q ?W)             (instance ?W Artifact)             (result ?P ?W))))	Economy.kif 2144-2157	If X is an instance of Product assembly, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a patient of X (3) Z is a patient of X (4) equal Y (5) Z (6) Y is an instance of self connected object (7) Z is an instance of self connected object (8) Y is a part of W (9) Z is a part of W (10) W is an instance of artifact (11) W is a result of X
(=>     (attribute ?X MeanOfProduction)     (hasPurpose ?X         (or             (exists (?MAKE ?PRODUCT)                 (and                     (instance ?MAKE Making)                     (involvedInEvent ?MAKE ?X)                     (not                         (result ?MAKE ?X))                     (instance ?PRODUCT Artifact)                     (result ?MAKE ?PRODUCT)                     (hasPurpose ?PRODUCT                         (exists (?SELL)                             (and                                 (instance ?SELL Selling)                                 (patient ?SELL ?PRODUCT))))))             (exists (?SERVICE)                 (and                     (instance ?SERVICE CommercialService)                     (involvedInEvent ?SERVICE ?X))))))	Economy.kif 6108-6128	If mean of production is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V
(=>     (and         (instance ?CG CapitalMeanOfProduction)         (attribute ?CGO ?CG))     (exists (?A ?MONEY ?AGENT ?PROPERTYITEM)         (or             (and                 (instance ?MONEY Currency)                 (equal ?CGO ?MONEY))             (and                 (element ?PROPERTYITEM                     (PropertyFn ?AGENT))                 (equal ?PROPERTYITEM ?CGO))             (and                 (instance ?A Artifact)                 (equal ?CGO ?A)))))	Economy.kif 6135-6149	If X is an instance of capital goods and X is an attribute of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that W is an instance of currency (3) equal Y (4) W, U is an element of belongings of V (5) equal U (6) Y, or Z is an instance of artifact (7) equal Y (8) Z

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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners