Designing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Designing

Designing(designing)

more pictures...

accede, aim, arrangement, bow, calculate, defer, design, designed, designing, direct, engineer, fashioned, fenestration, furnishing, give_in, intentional, lay_out, placement, ramification, redesign, submit, undesigned

appearance as argument number 1

(documentation Designing ChineseLanguage "这个过程在空间上和 Planning 类似。 Designing 一 Collection 的 Object 是为了达到一个特定的目的，而按照 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 10887-10890
(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 10885-10885	Designing is a subclass of content development
(subclass Designing IntentionalProcess)	Merge.kif 10884-10884	Designing is a subclass of intentional process

appearance as argument number 2

(subclass GraphicDesigning Designing)	Mid-level-ontology.kif 3283-3283	Graphic design is a subclass of designing
(termFormat ChineseLanguage Designing "设计")	domainEnglishFormat.kif 19258-19258	Graphic design is a subclass of designing
(termFormat ChineseTraditionalLanguage Designing "設計")	domainEnglishFormat.kif 19257-19257	Graphic design is a subclass of designing
(termFormat EnglishLanguage Designing "designing")	domainEnglishFormat.kif 19256-19256	Graphic design is a subclass of designing

consequent

(=> (attribute ?PERSON Designer) (hasSkill Designing ?PERSON))	Biography.kif 680-682	If designer is an attribute of an agent, then the agent has the skill to do designing
(=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP))))	Hotel.kif 1088-1094	If theme room is an attribute of an object, then there exist a process and an entity such that the process is an instance of designing and the entity is a result of the process and the object expresses the entity
(=> (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	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
(=> (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	If florists is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of designing and the entity is an instance of collection and flower is a member type of the entity and the entity is a patient of the other entity and the object is an agent of the other entity

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