consequent

(=>     (and         (instance ?BUILD Constructing)         (result ?BUILD ?ARTIFACT))     (instance ?ARTIFACT StationaryArtifact))	Merge.kif 13118-13122	If X is an instance of constructing and Y is a result of X, then Y is an instance of stationary artifact
(=>     (contractor ?BUILDING ?CONTRACTOR)     (exists (?CONTRACT ?AGENT)         (and             (property ?CONTRACT Contract)             (partyToAgreement ?AGENT ?CONTRACT)             (partyToAgreement ?CONTRACTOR ?CONTRACT)             (confersObligation ?AGENT ?CONTRACTOR                 (exists (?CONSTRUCT ?BUILDING2)                     (and                         (instance ?CONSTRUCT Constructing)                         (agent ?CONSTRUCT ?CONTRACTOR)                         (result ?CONSTRUCT ?BUILDING2)                         (instance ?BUILDING2 StationaryArtifact)))))))	Mid-level-ontology.kif 23065-23078	If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W
(=>     (instance ?Estate RealEstate)     (or         (instance ?Estate StationaryArtifact)         (instance ?Estate LandArea)         (exists (?Artifact ?Area)             (and                 (instance ?Artifact StationaryArtifact)                 (instance ?Area LandArea)                 (equal ?Estate                     (MereologicalSumFn ?Artifact ?Area))))))	FinancialOntology.kif 1399-1408	If X is an instance of real estate, then At least one of the following holds: (1) X is an instance of stationary artifact (2) X is an instance of land area (3) there exist Y, Z such that Y is an instance of stationary artifact, Z is an instance of land area, equal X, the union of the parts of Y, and Z
(=>     (patient ?RAIN AcidRainfall)     (modalAttribute         (exists (?D ?O ?X ?L)             (and                 (instance ?D Damaging)                 (causes ?RAIN ?D)                 (instrument ?D ?RAIN)                 (instance ?O Organism)                 (instance ?X StationaryArtifact)                 (instance ?L Outdoors)                 (located ?X ?L)                 (located ?O ?L)                 (or                     (patient ?D ?O)                     (patient ?D ?X)))) Possibility))	Geography.kif 3955-3970	If acid rainfall is a patient of X, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X causes Y (4) X is an instrument for Y (5) Z is an instance of organism (6) W is an instance of stationary artifact (7) V is an instance of outdoors (8) W is located at V (9) Z is located at V (10) Z is a patient of Y or W is a patient of Y has the modal force of possibility
(=>     (attribute ?X LoftStyle)     (instance ?X StationaryArtifact))	Hotel.kif 1161-1163	If loft style is an attribute of X, then X is an instance of stationary artifact
(=>     (attribute ?X LoftStyle)     (exists (?FLOOR ?LOFT ?CEILING)         (and             (bottom ?FLOOR ?X)             (top ?CEILING ?X)             (instance ?LOFT StationaryArtifact)             (orientation ?LOFT ?FLOOR Above)             (orientation ?LOFT ?CEILING Below))))	Hotel.kif 1165-1173	If loft style is an attribute of X, then there exist Y, Z, W such that the bottom of X is Y, the top of X is W, Z is an instance of stationary artifact, Z is above to Y, and Z is below to W

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