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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Designing
Designing
more pictures...

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


(documentation Designing ChineseLanguage "这个过程在空间上和 Planning 类似。 DesigningCollectionObject 是为了达到一个特定的目的,而按照 Object 之间、和或者相对于者其他 Object 的位置来决定它们的摆放方法。") chinese_format.kif 2976-2978
(documentation Designing EnglishLanguage "The spatial analogue of Planning. Designing a Collection of Objects involves determining a placement of the Objects with respect to one another and perhaps other Objects as well, in order to satisfy a particular purpose.") Merge.kif 10853-10856
(documentation Designing JapaneseLanguage "Planning の 空間アナログ。Objects の Collection を %Designing ことは、特定の目的を満たすために、互いに対して、そしておそらく他の Object に対して Object の配置を決定する。") japanese_format.kif 1736-1738
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Crystal_128_kivio.png") pictureList.kif 6376-6376
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ Room_de_Luxe.jpg") pictureList.kif 6373-6373
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Booster-Layout.jpg") pictureList.kif 6374-6374
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Crystal_Clear_app_kcoloredit.png") pictureList.kif 6377-6377
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Nuvola_apps_designer.png") pictureList.kif 6378-6378
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ PL_IIIcut.gif") pictureList.kif 5959-5959
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ All_Saints_Chapel--L.C._Tiffany.JPG") pictureList.kif 6375-6375
(externalImage Designing "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Architect.png") pictureList.kif 6379-6379
(subclass Designing ContentDevelopment) Merge.kif 10851-10851 Designingコンテンツ開発subclass では %n
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 Designing意図的なプロセスsubclass では %n

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


(subclass GraphicDesigning Designing) Mid-level-ontology.kif 3290-3290 GraphicDesigningDesigningsubclass では %n
(termFormat ChineseLanguage Designing "设计") domainEnglishFormat.kif 19242-19242
(termFormat ChineseTraditionalLanguage Designing "設計") domainEnglishFormat.kif 19241-19241
(termFormat EnglishLanguage Designing "designing") domainEnglishFormat.kif 19240-19240

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


(=>
    (attribute ?PERSON Designer)
    (hasSkill Designing ?PERSON))
Biography.kif 680-682
(=>
    (attribute ?ROOM ThemeRoom)
    (exists (?DESIGN ?PROP)
        (and
            (instance ?DESIGN Designing)
            (result ?DESIGN ?PROP)
            (represents ?ROOM ?PROP))))
Hotel.kif 1088-1094
(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))
Biography.kif 436-465
(=>
    (attribute ?X Florists)
    (hasPurpose ?X
        (exists (?FLOWER ?PROC)
            (and
                (instance ?PROC Designing)
                (instance ?FLOWER Collection)
                (memberType ?FLOWER Flower)
                (patient ?PROC ?FLOWER)
                (agent ?PROC ?X)))))
naics.kif 7773-7782


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