CorpuscularObject(corpuscular object) | Band_Aid, Blarney_Stone, aerie, aery, air_bubble, articulate, articulated, back, backrest, band, beehive, bicameral, bifurcate, bifurcated, biramous, blind_bend, blind_curve, bodied, branched, caliche, chambered, coat, coat_of_paint, coating, commemorative, complex, composite, conglomerate, consolidation, corporal, corporate, custom-built, custom-made, cut, discard, disposable, divot, embodied, eyrie, eyry, facial_tissue, fiber, fibre, fibril, filament, finish, finishing, flag, flagstone, float... |
appearance as argument number 1 |
(disjoint CorpuscularObject Substance) | Merge.kif 1227-1227 | Corpuscular object is disjoint from substance |
(documentation CorpuscularObject ChineseLanguage "这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 ") | chinese_format.kif 1624-1625 | |
(documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.") | Merge.kif 1228-1229 | |
(documentation CorpuscularObject JapaneseLanguage "パーツのプロパティが全体で共有されない SelfConnectedObject。") | japanese_format.kif 206-207 | |
(documentation CorpuscularObject SpanishLanguage "Un SelfConnectedObject cuyas propiedades no comparten entre todo el objeto.") | spanish_format.kif 245-246 | |
(subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1226-1226 | Corpuscular object is a subclass of self connected object |
appearance as argument number 2 |
appearance as argument number 3 |
(domain AmountsFn 2 CorpuscularObject) | Merge.kif 7579-7579 | The number 2 argument of Amounts fn is an instance of corpuscular object |
(domain amount 2 CorpuscularObject) | Merge.kif 7594-7594 | The number 2 argument of amount is an instance of corpuscular object |
(domain component 1 CorpuscularObject) | Merge.kif 967-967 | The number 1 argument of component is an instance of corpuscular object |
(domain component 2 CorpuscularObject) | Merge.kif 968-968 | The number 2 argument of component is an instance of corpuscular object |
(domain material 2 CorpuscularObject) | Merge.kif 979-979 | The number 2 argument of material is an instance of corpuscular object |
(domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 4806-4806 | The number 2 argument of slice of figure is an instance of corpuscular object |
(domainSubclass substanceElement 1 CorpuscularObject) | Merge.kif 1242-1242 | The number 1 argument of substance element is a subclass of corpuscular object |
antecedent |
consequent |