Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blueprint

Sigma KEE - Blueprint
Blueprint
more pictures...
تصْمِيم, تصْمِيم عِمْرانِي, خَرِيطَة مَبْنَى,

appearance as argument number 1
-------------------------


(documentation Blueprint EnglishLanguage "An Icon which is a scale model of an Artifact, whether the Artifact actually exists or not.") Mid-level-ontology.kif 10820-10821
(externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ LaBelle_Blueprint.jpg") pictureList.kif 2942-2942
(externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Maurice_koechlin_pylone.jpg") pictureList.kif 3049-3049
(externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Carvansara_plan.gif") pictureList.kif 3053-3053
(externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Sample_Floorplan.jpg") pictureList.kif 3052-3052
(externalImage Blueprint "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ K1_drawing.jpg") pictureList.kif 3051-3051
(subclass Blueprint Icon) Mid-level-ontology.kif 10819-10819

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Blueprint "blueprint") domainEnglishFormat.kif 2325-2325

antecedent
-------------------------


(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10823-10829

consequent
-------------------------


(=>
    (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 18453-18462
(=>
    (instance ?T Tracing)
    (exists (?P)
        (and
            (instance ?P Blueprint)
            (result ?T ?P))))
Mid-level-ontology.kif 3846-3851


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners