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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CorpuscularObject
CorpuscularObjectجِسْم كُرَيْوِي, Band_Aid, Blarney_Stone, Objeto_Corpuscular, OggettoCorpuscolare, aerie, aery, air_bubble, articulate, articulated, back, backrest, bagay, 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, corpuscular_object, custom-built, custom-made, cut, discard, disposable, divot, embodied, eyrie, eyry, facial_tissue, fiber, fibre, fibril, filament...

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


s__disjoint(s__CorpuscularObject,s__Substance)

Merge.kif 1249-1249
s__documentation(s__CorpuscularObject,s__ChineseLanguage,'这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 ')

Merge.kif 1252-1253
s__documentation(s__CorpuscularObject,s__EnglishLanguage,'A SelfConnectedObject whose parts have properties that are not shared by the whole.')

Merge.kif 1250-1251
s__subclass(s__CorpuscularObject,s__SelfConnectedObject)

Merge.kif 1248-1248

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


s__instance(s__CorpuscularObject,s__SetOrClass)

Mid-level-ontology.kif 5302-5302
s__subclass(s__ContentBearingObject,s__CorpuscularObject)

Merge.kif 1354-1354
s__instance(s__Nest,s__SetOrClass)

Mid-level-ontology.kif 5329-5329
s__subclass(s__OrganicObject,s__CorpuscularObject)

Merge.kif 14323-14323
s__subclass(s__RealEstate,s__CorpuscularObject)

FinancialOntology.kif 1298-1298
s__instance(s__CorpuscularObject,s__SetOrClass)

Mid-level-ontology.kif 3076-3076
s__termFormat(s__ChineseLanguage,s__CorpuscularObject,'躯体性物体')

chinese_format.kif 830-830
s__termFormat(s__EnglishLanguage,s__CorpuscularObject,'corpuscular object')

english_format.kif 517-517
s__termFormat(s__FrenchLanguage,s__CorpuscularObject,'objet corpusculaire ')

french_format.kif 506-506
s__termFormat(s__Hindi,s__CorpuscularObject,'kaNikaa sambandhI padaartha')

terms-hindi.txt 38-38
s__termFormat(s__ItalianLanguage,s__CorpuscularObject,'OggettoCorpuscolare')

terms-it.txt 39-39
s__termFormat(s__PortugueseLanguage,s__CorpuscularObject,'Objeto Corpuscular')

portuguese_format.kif 458-458
s__termFormat(s__ar__m,s__CorpuscularObject,'جِسْم كُرَيْوِي')

arabic_format.kif 242-242
s__termFormat(s__cz__m,s__CorpuscularObject,'corpuscular object')

terms-cz.txt 73-73
s__termFormat(s__tg__m,s__CorpuscularObject,'bagay')

terms-tg.txt 42-42

appearance as argument number 3
-------------------------


s__domain(s__component__m,1,s__CorpuscularObject)

Merge.kif 1002-1002
s__domain(s__component__m,2,s__CorpuscularObject)

Merge.kif 1003-1003
s__domain(s__material__m,2,s__CorpuscularObject)

Merge.kif 1016-1016
s__domain(s__powerComponent__m,1,s__CorpuscularObject)

Mid-level-ontology.kif 2144-2144
s__domain(s__powerComponent__m,2,s__CorpuscularObject)

Mid-level-ontology.kif 2145-2145
s__domain(s__sliceOfFigure__m,2,s__CorpuscularObject)

Mid-level-ontology.kif 5131-5131

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


( ! [V__HR,V__K,V__H] :
   ((s__instance(V__HR,s__Reel) &
       s__instance(V__K,s__Keeping) &
       s__instance(V__H,s__CorpuscularObject) &
       s__attribute(V__H,s__LongAndThin) &
       s__attribute(V__H,s__Pliable) &
       s__instrument(V__K,V__HR)
     &
     s__patient(V__K,V__H))
=>
(? [V__P] :
   (s__part(V__P,V__H)
   &
   s__meetsSpatially(V__P,V__HR))))
)

Cars.kif 4251-4263
( ! [V__HR,V__K,V__H] :
   ((s__instance(V__HR,s__Reel) &
       s__instance(V__K,s__Keeping) &
       s__instance(V__H,s__CorpuscularObject) &
       s__attribute(V__H,s__LongAndThin) &
       s__attribute(V__H,s__Pliable) &
       s__instrument(V__K,V__HR)
     &
     s__patient(V__K,V__H))
=>
(? [V__R] :
   (s__instance(V__R,s__Rotating) &
     s__patient(V__R,V__HR)
   &
   s__subProcess(V__R,V__K))))
)

Cars.kif 4265-4278
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__CorpuscularObject) =>
     (? [V__SUBSTANCE1,V__SUBSTANCE2] :
       (s__subclass(V__SUBSTANCE1,s__Substance) &
         s__subclass(V__SUBSTANCE2,s__Substance) &
         s__material(V__SUBSTANCE1,V__OBJ)
       &
       s__material(V__SUBSTANCE2,V__OBJ)
     &
     (~ (V__SUBSTANCE1 = V__SUBSTANCE2)))))
)

Merge.kif 1255-1263

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


( ! [V__ATTACH] :
   (s__instance(V__ATTACH,s__Attaching) =>
     (? [V__OBJ] :
       (s__instance(V__OBJ,s__CorpuscularObject) &
         s__patient(V__ATTACH,V__OBJ))))
)

Merge.kif 12251-12256
( ! [V__DETACH] :
   (s__instance(V__DETACH,s__Detaching) =>
     (? [V__OBJ] :
       (s__instance(V__OBJ,s__CorpuscularObject) &
         s__patient(V__DETACH,V__OBJ))))
)

Merge.kif 12281-12286
No TPTP formula. May not be expressible in strict first order. Cars.kif 2824-2853
( ! [V__PGUIDE] :
   (s__instance(V__PGUIDE,s__PhysicalGuiding) =>
     (? [V__MOVED] :
       (s__patient(V__PGUIDE,V__MOVED)
       &
       s__instance(V__MOVED,s__CorpuscularObject))))
)

ComputerInput.kif 125-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4759-4767
No TPTP formula. May not be expressible in strict first order. Cars.kif 4239-4249


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