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 5218-5231	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 5237-5251	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 8174-8181	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 14797-14803	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 28786-28800	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 29313-29326	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 29333-29342	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 29609-29614	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 33628-33633	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
(=>     (instance ?P ThreeDPrinting)     (exists (?X ?A)         (and             (instance ?X DigitalData)             (represents ?X ?A)             (instance ?A Artifact)             (result ?P ?A))))	QoSontology.kif 491-498	If X is an instance of 3D printing, then there exist Y, Z such that Y is an instance of digital data, Y expresses Z, Z is an instance of artifact, and Z is a result of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners