CorpuscularObject - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CorpuscularObject

CorpuscularObject

appearance as argument number 1

(disjoint CorpuscularObject Substance)	Merge.kif 1237-1237	不相交的 CorpuscularObject and Substance
(documentation CorpuscularObject ChineseLanguage "这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 ")	chinese_format.kif 1624-1625	不相交的 CorpuscularObject and Substance
(documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.")	Merge.kif 1238-1239	不相交的 CorpuscularObject and Substance
(documentation CorpuscularObject JapaneseLanguage "パーツのプロパティが全体で共有されない SelfConnectedObject。")	japanese_format.kif 206-207	不相交的 CorpuscularObject and Substance
(documentation CorpuscularObject SpanishLanguage "Un SelfConnectedObject cuyas propiedades no comparten entre todo el objeto.")	spanish_format.kif 245-246	不相交的 CorpuscularObject and Substance
(subclass CorpuscularObject SelfConnectedObject)	Merge.kif 1236-1236	子類 CorpuscularObject and SelfConnectedObject

appearance as argument number 2

(subclass Bubble CorpuscularObject)	Mid-level-ontology.kif 5937-5937	子類氣泡 and CorpuscularObject
(subclass ContentBearingObject CorpuscularObject)	Merge.kif 1337-1337	子類 ContentBearingObject and CorpuscularObject
(subclass Nest CorpuscularObject)	Mid-level-ontology.kif 5964-5964	子類巢 and CorpuscularObject
(subclass Organelle CorpuscularObject)	Mid-level-ontology.kif 11447-11447	子類 Organelle and CorpuscularObject
(subclass OrganicObject CorpuscularObject)	Merge.kif 14499-14499	子類 OrganicObject and CorpuscularObject
(subclass RealEstate CorpuscularObject)	FinancialOntology.kif 1372-1372	子類房地產 and CorpuscularObject
(subclass Sonar CorpuscularObject)	Mid-level-ontology.kif 3075-3075	子類聲納 and CorpuscularObject
(termFormat ChineseLanguage CorpuscularObject "躯体性物体")	chinese_format.kif 830-830	子類聲納 and CorpuscularObject
(termFormat EnglishLanguage CorpuscularObject "corpuscular object")	english_format.kif 862-862	子類聲納 and CorpuscularObject
(termFormat FrenchLanguage CorpuscularObject "objet corpusculaire ")	french_format.kif 506-506	子類聲納 and CorpuscularObject
(termFormat Hindi CorpuscularObject "kaNikaa sambandhI padaartha")	terms-hindi.txt 38-38	子類聲納 and CorpuscularObject
(termFormat ItalianLanguage CorpuscularObject "OggettoCorpuscolare")	terms-it.txt 41-41	子類聲納 and CorpuscularObject
(termFormat JapaneseLanguage CorpuscularObject "微粒子オブジェクト")	japanese_format.kif 2191-2191	子類聲納 and CorpuscularObject
(termFormat PortugueseLanguage CorpuscularObject "Objeto Corpuscular")	portuguese_format.kif 458-458	子類聲納 and CorpuscularObject
(termFormat cz CorpuscularObject "corpuscular object")	terms-cz.txt 73-73	子類聲納 and CorpuscularObject
(termFormat de CorpuscularObject "korpuskularer Gegenstand")	terms-de.txt 332-332	子類聲納 and CorpuscularObject
(termFormat ro CorpuscularObject "obiect neomogen")	relations-ro.kif 527-527	子類聲納 and CorpuscularObject
(termFormat tg CorpuscularObject "bagay")	terms-tg.txt 42-42	子類聲納 and CorpuscularObject

appearance as argument number 3

(domain AmountsFn 2 CorpuscularObject)	Merge.kif 7628-7628	域 AmountsFn, 2 and CorpuscularObject
(domain amount 2 CorpuscularObject)	Merge.kif 7644-7644	域 amount, 2 and CorpuscularObject
(domain component 1 CorpuscularObject)	Merge.kif 977-977	域零件, 1 and CorpuscularObject
(domain component 2 CorpuscularObject)	Merge.kif 978-978	域零件, 2 and CorpuscularObject
(domain material 2 CorpuscularObject)	Merge.kif 989-989	域材料, 2 and CorpuscularObject
(domain sliceOfFigure 2 CorpuscularObject)	Mid-level-ontology.kif 5288-5288	域一塊圖, 2 and CorpuscularObject
(domainSubclass substanceElement 1 CorpuscularObject)	Merge.kif 1252-1252	域子類 substanceElement, 1 and CorpuscularObject

antecedent

(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O)))))))	Food.kif 1013-1027	例 Process and Grinding 患者 Process and Entity 例 Entity and CorpuscularObject 持有期間結束何時 Process and entity 結果 Process and entity 例 entity and Collection entity 會員 entity and entity 部分 entity and Entity
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR))))	Cars.kif 4348-4360	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K))))	Cars.kif 4362-4375	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process and Process
(=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Merge.kif 1241-1249	例 CorpuscularObject and CorpuscularObject Substance Substance 子類 Substance and Substance 子類 Substance and Substance 材料 Substance and CorpuscularObject 材料 Substance and CorpuscularObject equal Substance and Substance

consequent

(=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R))))	Military.kif 193-212	例 Process and 旋轉患者 Process and Object 例 Object and ContinuousTrack Collection Collection, Object and Process 例 Collection and Collection 會員 Collection and Collection 例 Collection and 輪 Integer 是 Collection 的 member 計數比較多 Integer and 2 部分 Collection and Object 部分 Object and Object 例 Object and CorpuscularObject Object 是又長又瘦 attribute Object and 易彎的位於 Collection and Object 例 Process and 旋轉原因 Process and Process
(=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ))))	Merge.kif 12519-12524	例 Process and Attaching Entity 例 Entity and CorpuscularObject 患者 Process and Entity
(=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?OBJ))))	Merge.kif 12569-12574	例 Process and Detaching Entity 例 Entity and CorpuscularObject 患者 Process and Entity
(=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3))))))))))))	Cars.kif 2827-2856	例 Physical and Gasket 有目的 Physical and entity entity 例 entity and CorpuscularObject 例 entity and CorpuscularObject 空間的符合 entity and Physical 空間的符合 entity and Physical entity entity, entity and entity 例 entity and HoleRegion equal Physical and 洞主持人 entity 例 entity and 易位路徑 entity and entity 起源 entity and entity 目的地 entity and entity 包含 entity and entity 包含 entity and entity 空間的符合 entity and entity entity 包含 entity and entity 包含 entity and entity 包含 entity and entity
(=> (instance ?PGUIDE PhysicalGuiding) (exists (?MOVED) (and (patient ?PGUIDE ?MOVED) (instance ?MOVED CorpuscularObject))))	ComputerInput.kif 105-110	例 Process and PhysicalGuiding Entity 患者 Process and Entity 例 Entity and CorpuscularObject
(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2)))))	Mid-level-ontology.kif 4728-4736	例 Physical and 墊圈有目的 Physical and entity entity 例 entity and CorpuscularObject 例 entity and 附著裝置空間的符合 entity and Physical 包含 Physical and entity
(=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H)))))	Cars.kif 4336-4346	例 Physical and 捲軸有目的 Physical and entity entity 例 entity and Keeping 例 entity and CorpuscularObject attribute entity and 又長又瘦 attribute entity and 易彎的儀器 entity and Physical 患者 entity and 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