more pictures...
| Blueprint(blueprint)
more pictures... | | Venn's_diagram, Venn_diagram, architectural_plan, diagram, plan |
| appearance as argument number 1 |
|
|
| (subclass Blueprint Icon) | Mid-level-ontology.kif 14753-14753 | Blueprint is a subclass of icon |
| (documentation Blueprint EnglishLanguage "An Icon which is a scale model of an Artifact, whether the Artifact actually exists or not.") | Mid-level-ontology.kif 14754-14755 | Blueprint is a subclass of icon |
| (externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ LaBelle_Blueprint.jpg") | pictureList.kif 2940-2940 | Blueprint is a subclass of icon |
| (externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Maurice_koechlin_pylone.jpg") | pictureList.kif 3047-3047 | Blueprint is a subclass of icon |
| (externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ K1_drawing.jpg") | pictureList.kif 3049-3049 | Blueprint is a subclass of icon |
| (externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Sample_Floorplan.jpg") | pictureList.kif 3050-3050 | Blueprint is a subclass of icon |
| (externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Carvansara_plan.gif") | pictureList.kif 3051-3051 | Blueprint is a subclass of icon |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 14757-14763 | 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 |
| consequent |
|
|
| (=> (instance ?T Tracing) (exists (?P) (and (instance ?P Blueprint) (result ?T ?P)))) |
Mid-level-ontology.kif 3789-3794 | If X is an instance of tracing, then there exists Y such that Y is an instance of blueprint and Y is a result of X |
| (=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building)))) |
Mid-level-ontology.kif 23485-23494 | If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W is an instance of building |
|
|
|