| appearance as argument number 1 |
|
|
| (subclass StationaryArtifact Artifact) | Merge.kif 15893-15893 | Stationary artifact is a subclass of artifact |
| (documentation StationaryArtifact EnglishLanguage "A StationaryArtifact is an Artifact that has a fixed spatial location. Most instances of this Class are architectural works, e.g. the Eiffel Tower, the Great Pyramids, office towers, single_family houses, etc.") | Merge.kif 15894-15897 | Stationary artifact is a subclass of artifact |
| (typicalPart StationaryArtifact Facility) | Mid-level-ontology.kif 7714-7714 | A stationary artifact is typically a part of a Facility |
| (externalImage StationaryArtifact "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px_All_Gizah_Pyramids.jpg") | pictureList.kif 1256-1256 | A stationary artifact is typically a part of a Facility |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass maxRoomCapacity 1 StationaryArtifact) | Hotel.kif 476-476 | The number 1 argument of maximum capacity is a subclass of stationary artifact |
| (domain humanCapacity 1 StationaryArtifact) | Mid-level-ontology.kif 7654-7654 | The number 1 argument of human capacity is an instance of stationary artifact |
| (domain StreetAddressFn 1 StationaryArtifact) | Mid-level-ontology.kif 7662-7662 | The number 1 argument of street address is an instance of stationary artifact |
| (domain workLocation 2 StationaryArtifact) | Mid-level-ontology.kif 22809-22809 | The number 2 argument of work location is an instance of stationary artifact |
| (domain constructionPeriod 1 StationaryArtifact) | Mid-level-ontology.kif 23081-23081 | The number 1 argument of construction period is an instance of stationary artifact |
| (domain contractor 1 StationaryArtifact) | Mid-level-ontology.kif 23096-23096 | The number 1 argument of contractor is an instance of stationary artifact |
| antecedent |
|
|
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 13010-13015 | If X is an instance of stationary artifact, then there exists Y such that Y is an instance of constructing and X is a result of Y |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?PLACE) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?PLACE)) (not (exists (?P2) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?P2)) (not (equal ?PLACE ?P2)))))))) |
Merge.kif 15899-15909 | If X is an instance of stationary artifact, then there exists Y such that X is located at Y holds during the time of existence of X, there doesn't exist Z such that X is located at Z holds during the time of existence of X, equal Y, and Z |
| consequent |
|
|
| (=> (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 1375-1384 | 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 3974-3989 | 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 |
| (=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 13004-13008 | 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 (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR)))) |
Mid-level-ontology.kif 23102-23115 | 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) W obligates X to perform task of the type 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 |
|
|
|