consequent

(=>     (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 6084-6104	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 (?M ?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 6111-6125	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,, , U (2) T such that V is an instance of currency (3) equal Y (4) V, T is an element of belongings of U (5) equal T (6) Y, or W is an instance of artifact (7) equal Y (8) W
(=>     (instance ?MAKING Making)     (exists (?ARTIFACT)         (and             (instance ?ARTIFACT Artifact)             (result ?MAKING ?ARTIFACT))))	Merge.kif 12993-12998	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 5069-5082	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 5088-5102	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 8037-8044	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 14701-14707	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 28878-28892	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 29364-29377	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 29384-29393	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 29660-29665	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 33700-33705	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
(=>     (instance ?P ThreeDPrinting)     (exists (?X ?A)         (and             (instance ?X DigitalData)             (represents ?X ?A)             (instance ?A Artifact)             (result ?P ?A))))	QoSontology.kif 505-512	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 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