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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CorpuscularObject

Sigma KEE - CorpuscularObject
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 1148-1148 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 1149-1150
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1147-1147 Corpuscular object is a subclass of self connected object

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


(subclass Bubble CorpuscularObject) Mid-level-ontology.kif 4697-4697 Bubble is a subclass of corpuscular object
(subclass ContentBearingObject CorpuscularObject) Merge.kif 1254-1254 Content bearing object is a subclass of corpuscular object
(subclass Nest CorpuscularObject) Mid-level-ontology.kif 4724-4724 Nest is a subclass of corpuscular object
(subclass Organelle CorpuscularObject) Mid-level-ontology.kif 9660-9660 Organelle is a subclass of corpuscular object
(subclass OrganicObject CorpuscularObject) Merge.kif 13743-13743 Organic object is a subclass of corpuscular object
(subclass RealEstate CorpuscularObject) FinancialOntology.kif 1310-1310 Real estate is a subclass of corpuscular object
(subclass Sonar CorpuscularObject) Mid-level-ontology.kif 2548-2548 Sonar is a subclass of corpuscular object
(termFormat ChineseLanguage CorpuscularObject "躯体性物体") chinese_format.kif 830-830
(termFormat EnglishLanguage CorpuscularObject "corpuscular object") english_format.kif 862-862

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


(domain AmountsFn 2 CorpuscularObject) Merge.kif 7343-7343 The number 2 argument of AmountsFn is an instance of corpuscular object
(domain amount 2 CorpuscularObject) Merge.kif 7358-7358 The number 2 argument of amount is an instance of corpuscular object
(domain component 1 CorpuscularObject) Merge.kif 917-917 The number 1 argument of component is an instance of corpuscular object
(domain component 2 CorpuscularObject) Merge.kif 918-918 The number 2 argument of component is an instance of corpuscular object
(domain material 2 CorpuscularObject) Merge.kif 929-929 The number 2 argument of material is an instance of corpuscular object
(domain powerComponent 1 CorpuscularObject) Mid-level-ontology.kif 1668-1668 The number 1 argument of power component is an instance of corpuscular object
(domain powerComponent 2 CorpuscularObject) Mid-level-ontology.kif 1669-1669 The number 2 argument of power component is an instance of corpuscular object
(domain sliceOfFigure 2 CorpuscularObject) Mid-level-ontology.kif 4526-4526 The number 2 argument of slice of figure is an instance of corpuscular object
(domainSubclass substanceElement 1 CorpuscularObject) Merge.kif 1163-1163 The number 1 argument of substance element is a subclass of corpuscular object

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


(=>
    (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 4290-4302
(=>
    (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 4304-4317
(=>
    (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 1152-1160

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


(=>
    (instance ?ATTACH Attaching)
    (exists (?OBJ)
        (and
            (instance ?OBJ CorpuscularObject)
            (patient ?ATTACH ?OBJ))))
Merge.kif 11828-11833
(=>
    (instance ?DETACH Detaching)
    (exists (?OBJ)
        (and
            (instance ?OBJ CorpuscularObject)
            (patient ?DETACH ?OBJ))))
Merge.kif 11876-11881
(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H)
                        (and
                            (instance ?H Hole)
                            (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 2843-2872
(=>
    (instance ?PGUIDE PhysicalGuiding)
    (exists (?MOVED)
        (and
            (patient ?PGUIDE ?MOVED)
            (instance ?MOVED CorpuscularObject))))
ComputerInput.kif 127-132
(=>
    (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 4157-4165
(=>
    (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 4278-4288


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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