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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CorpuscularObject
CorpuscularObject(corpuscular object)جِسْم كُرَيْوِي, 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1244-1244 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1247-1248
No TPTP formula. May not be expressible in strict first order. Merge.kif 1245-1246
No TPTP formula. May not be expressible in strict first order. Merge.kif 1243-1243 Corpuscular object is a subclass of self connected object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5298-5298 Bubble is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1349-1349 Content bearing object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5325-5325 Nest is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14244-14244 Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1298-1298 Real estate is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3076-3076 Sonar is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 830-830 "躯体性物体" is the printable form of corpuscular object in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 517-517 "corpuscular object" is the printable form of corpuscular object in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 506-506 "objet corpusculaire " is the printable form of corpuscular object in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 38-38 "kaNikaa sambandhI padaartha" is the printable form of corpuscular object in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 39-39 "OggettoCorpuscolare" is the printable form of corpuscular object in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 458-458 "Objeto Corpuscular" is the printable form of corpuscular object in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 242-242 "جِسْم كُرَيْوِي" is the printable form of corpuscular object in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 73-73 "corpuscular object" is the printable form of corpuscular object in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 42-42 "bagay" is the printable form of corpuscular object in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1000-1000 The number 1 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1001-1001 The number 2 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 The number 2 argument of material is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2144-2144 The number 1 argument of power component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2145-2145 The number 2 argument of power component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5127-5127 The number 2 argument of slice of figure is an instance of corpuscular object

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4292-4304
No TPTP formula. May not be expressible in strict first order. Cars.kif 4306-4319
No TPTP formula. May not be expressible in strict first order. Merge.kif 1250-1258

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12172-12177
No TPTP formula. May not be expressible in strict first order. Merge.kif 12202-12207
No TPTP formula. May not be expressible in strict first order. Cars.kif 2865-2894
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 125-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4755-4763
No TPTP formula. May not be expressible in strict first order. Cars.kif 4280-4290


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