part (part)

The basic mereological relation. All other mereological relations are defined in terms of this one. (part part whole) simply means that the Object part is part of the Object whole. Note that, since part is a ReflexiveRelation, every Object is a part of itself.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

sthaana sambandha
is instance of

aanshika anukrama sambandha
is instance of

part

Superrelation(s)

partly located

located

part

Subrelation(s)

proper part piece component member superficial part interior part

Coordinate term(s)

back fn front fn mereological difference fn mereological product fn mereological sum fn principal host fn skin fn where fn before or equal between connected connects distance greater than or equal to hole larger less than or equal to located orientation partially fills partly located smaller sub attribute sub list sub process subclass subrelation subsumes content class subsumes content instance traverses

Type restrictions

part(object, object)

Related WordNet synsets

comprehension, comprising: the act of comprising something
part, piece: a portion of a natural object; "they analyzed the river into three parts"; "he needed a piece of granite"
part, portion, component part, component: something determined in relation to something that includes it; "he wanted to feel a part of something bigger than himself"; "I read a portion of the manuscript"; "the smaller component is hard to reach"

See more related synsets on a separate page.

Axioms (57)

Agar obj is an instance of aatmasambaddha vastu, to "the front of obj" is a part of obj.

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))

Agar obj is an instance of aatmasambaddha vastu, to "the back of obj" is a part of obj.

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))

obj1 is a properPart of obj2 agar hai obj1 is a part of obj2 aur obj2 is not a part of obj1.

(<=>
      (properPart ?OBJ1 ?OBJ2)
      (and
            (part ?OBJ1 ?OBJ2)
            (not
                  (part ?OBJ2 ?OBJ1))))

Agar objecttype is a subclass of padaartha aur object is an instance of objecttype aur part is a part of object, to part is an instance of objecttype.

(=>
      (and
            (subclass ?OBJECTTYPE Substance)
            (instance ?OBJECT ?OBJECTTYPE)
            (part ?PART ?OBJECT))
      (instance ?PART ?OBJECTTYPE))

Agar obj is an instance of padaartha aur attr is an attribute of obj aur part is a part of obj, to attr is an attribute of part.

(=>
      (and
            (instance ?OBJ Substance)
            (attribute ?OBJ ?ATTR)
            (part ?PART ?OBJ))
      (attribute ?PART ?ATTR))

Agar particle is an instance of upa-aaNavika kaNa, to yah kuch aNu atom nahin, ki particle is a part of atom.

(=>
      (instance ?PARTICLE SubatomicParticle)
      (exists
            (?ATOM)
            (and
                  (instance ?ATOM Atom)
                  (part ?PARTICLE ?ATOM))))

Agar string is an instance of saanketika taara, to yah kuch varNa part nahin, ki part is a part of string.

(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))

agar obj is located at region,
to sab-kuch subobj ke lie hai, ki: agar subobj is a part of obj, to subobj is located at region

(=>
      (located ?OBJ ?REGION)
      (forall
            (?SUBOBJ)
            (=>
                  (part ?SUBOBJ ?OBJ)
                  (located ?SUBOBJ ?REGION))))

Agar obj is partly located in region, to yah kuch subobj nahin, ki subobj is a part of obj aur subobj is exactly located in region.

(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))

obj1 overlaps with obj2 agar hai yah kuch obj3 nahin, ki obj3 is a part of obj1 aur obj3 is a part of obj2.

(<=>
      (overlapsSpatially ?OBJ1 ?OBJ2)
      (exists
            (?OBJ3)
            (and
                  (part ?OBJ3 ?OBJ1)
                  (part ?OBJ3 ?OBJ2))))

obj1 partially overlaps with obj2 agar hai

obj1 is not a part of obj2
obj2 is not a part of obj1
yah kuch obj3 nahin, ki obj3 is a part of obj1 aur obj3 is a part of obj2

(<=>
      (overlapsPartially ?OBJ1 ?OBJ2)
      (and
            (not
                  (part ?OBJ1 ?OBJ2))
            (not
                  (part ?OBJ2 ?OBJ1))
            (exists
                  (?OBJ3)
                  (and
                        (part ?OBJ3 ?OBJ1)
                        (part ?OBJ3 ?OBJ2)))))

agar obj1 obj2 kaa satah hai,
to sab-kuch obj3 ke lie hai, ki: agar obj3 is a superficial part of obj2, to obj3 is a part of obj1

(=>
      (surface ?OBJ1 ?OBJ2)
      (forall
            (?OBJ3)
            (=>
                  (superficialPart ?OBJ3 ?OBJ2)
                  (part ?OBJ3 ?OBJ1))))

Agar the bottom of object is bottom aur part is a part of object aur part is not connected to bottom, to part is above to bottom.

(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))

Agar the top of object is top aur part is a part of object aur part is not connected to top, to part is below to top.

(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))

Agar a side of object is side aur part is a part of object aur part is not connected to side, to yah kuch direct nahin, ki side is direct to part.

(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))

Agar obj3 is equal to "the union of the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 yaa part is a part of obj2.

(=>
      (equal
            ?OBJ3
            (MereologicalSumFn ?OBJ1 ?OBJ2))
      (forall
            (?PART)
            (<=>
                  (part ?PART ?OBJ3)
                  (or
                        (part ?PART ?OBJ1)
                        (part ?PART ?OBJ2)))))

Agar obj3 is equal to "the intersection of the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 aur part is a part of obj2.

(=>
      (equal
            ?OBJ3
            (MereologicalProductFn ?OBJ1 ?OBJ2))
      (forall
            (?PART)
            (<=>
                  (part ?PART ?OBJ3)
                  (and
                        (part ?PART ?OBJ1)
                        (part ?PART ?OBJ2)))))

Agar obj3 is equal to "the difference between the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 aur part is not a part of obj2.

(=>
      (equal
            ?OBJ3
            (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
      (forall
            (?PART)
            (<=>
                  (part ?PART ?OBJ3)
                  (and
                        (part ?PART ?OBJ1)
                        (not
                              (part ?PART ?OBJ2))))))

agar hole1 obj men chidra hai aur hole2 obj men chidra hai,
to sab-kuch hole3 ke lie hai, ki: agar hole3 is a part of "the union of the parts of hole1 and hole2", to hole3 obj men chidra hai

(=>
      (and
            (hole ?HOLE1 ?OBJ)
            (hole ?HOLE2 ?OBJ))
      (forall
            (?HOLE3)
            (=>
                  (part
                        ?HOLE3
                        (MereologicalSumFn ?HOLE1 ?HOLE2))
                  (hole ?HOLE3 ?OBJ))))

Agar hole obj1 men chidra hai aur obj1 is a part of obj2, to hole overlaps with obj2 yaa hole obj2 men chidra hai.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (part ?OBJ1 ?OBJ2))
      (or
            (overlapsSpatially ?HOLE ?OBJ2)
            (hole ?HOLE ?OBJ2)))

fillable is an attribute of hole1 agar hai yah kuch antaraala hole2 nahin, ki hole1 is a part of hole2.

(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))

Agar obj partially fills hole1, to yah kuch hole2 nahin, ki hole2 is a part of hole1 aur obj completely fills hole2.

(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))

Agar obj properly fills hole1, to yah kuch hole2 nahin, ki hole2 is a part of hole1 aur obj fills hole2.

(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))

Agar obj1 completely fills hole, to yah kuch obj2 nahin, ki obj2 is a part of obj1 aur obj2 fills hole.

(=>
      (completelyFills ?OBJ1 ?HOLE)
      (exists
            (?OBJ2)
            (and
                  (part ?OBJ2 ?OBJ1)
                  (fills ?OBJ2 ?HOLE))))

Agar path is an instance of roga vigyaaniya prakriyaa aur org experiences path, to yah kuch part,roga yaa lakshaNa disease nahin, ki part is a part of org aur disease is an attribute of part.

(=>
      (and
            (instance ?PATH PathologicProcess)
            (experiencer ?PATH ?ORG))
      (exists
            (?PART ?DISEASE)
            (and
                  (part ?PART ?ORG)
                  (instance ?DISEASE DiseaseOrSyndrome)
                  (attribute ?PART ?DISEASE))))

agar
- path1 is path along with process occurs
- process origins at source
- process ends at dest
- the length of path1 is measure1
- yah kuch path2,measure2 nahin, ki path2 is path along with process occurs aur process origins at origin aur process ends at dest aur the length of path2 is measure2 aur measure2 is less than measure1
,
to sab-kuch obj ke lie hai, ki: agar obj is a part of path1, to source aur dest ke biich main obj hai

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))

Agar proc is an instance of aarogyakara prakriyaa aur bio is a patient of proc, to

bio is an instance of jIvadhaarI padaartha
yah kuch jIvadhaarI padaartha org nahin, ki bio is a part of org

(=>
      (and
            (instance ?PROC TherapeuticProcess)
            (patient ?PROC ?BIO))
      (or
            (instance ?BIO Organism)
            (exists
                  (?ORG)
                  (and
                        (instance ?ORG Organism)
                        (part ?BIO ?ORG)))))

combine is an instance of sanyojana aur obj1 is a resource for combine aur obj2 is a result of combine agar hai obj1 is not a part of obj2 immediately before "the time of existence of combine" aur obj1 is a part of obj2 immediately after "the time of existence of combine".

(<=>
      (and
            (instance ?COMBINE Combining)
            (resource ?COMBINE ?OBJ1)
            (result ?COMBINE ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?COMBINE))
                  (not
                        (part ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?COMBINE))
                  (part ?OBJ1 ?OBJ2))))

Agar process is an instance of avastaa parivartana aur obj is a patient of process, to yah kuch part,bhOtika avasthaa state1,bhOtika avasthaa state2 nahin, ki part is a part of obj aur state1 is not equal to state2 aur state1 is an attribute of part immediately before "the time of existence of process" aur state2 is an attribute of part immediately after "the time of existence of freeze".

(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))

Agar melt is an instance of pighalana aur obj is a patient of melt, to yah kuch part nahin, ki part is a part of obj aur solid is an attribute of part immediately before "the time of existence of melt" aur liquid is an attribute of part immediately after "the time of existence of melt".

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))

Agar boil is an instance of ubalana aur obj is a patient of boil, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of boil" aur gas is an attribute of part immediately after "the time of existence of boil".

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))

Agar cond is an instance of sanghanana aur obj is a patient of cond, to yah kuch part nahin, ki part is a part of obj aur gas is an attribute of part immediately before "the time of existence of cond" aur liquid is an attribute of part immediately after "the time of existence of cond".

(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (attribute ?PART Liquid)))))

Agar freeze is an instance of himiikarana aur obj is a patient of freeze, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of freeze" aur solid is an attribute of part immediately after "the time of existence of freeze".

(=>
      (and
            (instance ?FREEZE Freezing)
            (patient ?FREEZE ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Solid)))))

Agar land1 is an instance of thala kshetra, to yah kuch land2 nahin, ki land1 is a part of land2 aur land2 is an instance of mahaadvIpa yaa land2 is an instance of dvIpa.

(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))

Agar island is an instance of dvIpa, to yah kuch thala kshetra area,part1,part2 nahin, ki part1 is a part of island aur part2 is a part of area aur island is not a part of area aur area is not a part of island aur part1 is connected to part2.

(=>
      (instance ?ISLAND Island)
      (not
            (exists
                  (?AREA ?PART1 ?PART2)
                  (and
                        (instance ?AREA LandArea)
                        (part ?PART1 ?ISLAND)
                        (part ?PART2 ?AREA)
                        (not
                              (part ?ISLAND ?AREA))
                        (not
                              (part ?AREA ?ISLAND))
                        (connected ?PART1 ?PART2)))))

Agar organism is an instance of vEshika jIva, to yah kuch jEvika rUpa se kriyaashIla padaartha substance nahin, ki substance is a part of organism.

(=>
      (instance ?ORGANISM ToxicOrganism)
      (exists
            (?SUBSTANCE)
            (and
                  (instance ?SUBSTANCE BiologicallyActiveSubstance)
                  (part ?SUBSTANCE ?ORGANISM))))

Agar food is an instance of aahaara, to yah kuch pOshtika tatva nutrient nahin, ki nutrient is a part of food.

(=>
      (instance ?FOOD Food)
      (exists
            (?NUTRIENT)
            (and
                  (instance ?NUTRIENT Nutrient)
                  (part ?NUTRIENT ?FOOD))))

agar food is an instance of aahaara,
to sab-kuch part1 ke lie hai, ki: agar part1 is a part of food, to yah kuch part2,pashu animal nahin, ki part1 is a part of part2 aur part2 is a part of animal

(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))

agar meat is an instance of maansa,
to sab-kuch part ke lie hai, ki: agar part is a part of meat, to yah kuch subpart,time,animal nahin, ki subpart is a part of part aur animal is an instance of pashu aur subpart is a part of animal during time

(=>
      (instance ?MEAT Meat)
      (forall
            (?PART)
            (=>
                  (part ?PART ?MEAT)
                  (exists
                        (?SUBPART ?TIME ?ANIMAL)
                        (and
                              (part ?SUBPART ?PART)
                              (holdsDuring
                                    ?TIME
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (part ?SUBPART ?ANIMAL))))))))

agar veg is an instance of phala yaa sabjee,
to sab-kuch part ke lie hai, ki: agar part is a part of veg, to yah kuch subpart,time,plant nahin, ki subpart is a part of part aur plant is an instance of vanaspati aur subpart is a part of plant during time

(=>
      (instance ?VEG FruitOrVegetable)
      (forall
            (?PART)
            (=>
                  (part ?PART ?VEG)
                  (exists
                        (?SUBPART ?TIME ?PLANT)
                        (and
                              (part ?SUBPART ?PART)
                              (holdsDuring
                                    ?TIME
                                    (and
                                          (instance ?PLANT Plant)
                                          (part ?SUBPART ?PLANT))))))))

Agar anat is an instance of shaarIrika sanrachanaa, to yah kuch jIvadhaarI padaartha organism nahin, ki anat is a part of organism.

(=>
      (instance ?ANAT AnatomicalStructure)
      (exists
            (?ORGANISM)
            (and
                  (instance ?ORGANISM Organism)
                  (part ?ANAT ?ORGANISM))))

Agar part is an instance of shaarIrika sanrachanaa, to yah kuch koshIka cell nahin, ki cell is a part of part.

(=>
      (instance ?PART AnatomicalStructure)
      (exists
            (?CELL)
            (and
                  (instance ?CELL Cell)
                  (part ?CELL ?PART))))

Agar stuff is an instance of Utaka, to yah kuch koshIka part nahin, ki part is a part of stuff.

(=>
      (instance ?STUFF Tissue)
      (exists
            (?PART)
            (and
                  (instance ?PART Cell)
                  (part ?PART ?STUFF))))

Agar stuff is an instance of Utaka, to yah kuch jIvadhaarI padaartha organism nahin, ki stuff is a part of organism.

(=>
      (instance ?STUFF Tissue)
      (exists
            (?ORGANISM)
            (and
                  (instance ?ORGANISM Organism)
                  (part ?STUFF ?ORGANISM))))

Agar bone is an instance of asthi, to yah kuch kasherukI vert nahin, ki bone is a part of vert.

(=>
      (instance ?BONE Bone)
      (exists
            (?VERT)
            (and
                  (instance ?VERT Vertebrate)
                  (part ?BONE ?VERT))))

Agar morph is an instance of rUpima, to yah kuch rUpima othermorph nahin, ki othermorph is a part of morph aur othermorph is not equal to morph.

(=>
      (instance ?MORPH Morpheme)
      (not
            (exists
                  (?OTHERMORPH)
                  (and
                        (instance ?OTHERMORPH Morpheme)
                        (part ?OTHERMORPH ?MORPH)
                        (not
                              (equal ?OTHERMORPH ?MORPH))))))

Agar morph is an instance of rUpima, to yah kuch shabda word nahin, ki morph is a part of word.

(=>
      (instance ?MORPH Morpheme)
      (exists
            (?WORD)
            (and
                  (instance ?WORD Word)
                  (part ?MORPH ?WORD))))

Agar word is an instance of shabda, to yah kuch rUpima part nahin, ki part is a part of word.

(=>
      (instance ?WORD Word)
      (exists
            (?PART)
            (and
                  (part ?PART ?WORD)
                  (instance ?PART Morpheme))))

Agar phrase is an instance of vaakyaansha, to yah kuch shabda part1,shabda part2 nahin, ki part1 is a part of phrase aur part2 is a part of phrase aur part1 is not equal to part2.

(=>
      (instance ?PHRASE Phrase)
      (exists
            (?PART1 ?PART2)
            (and
                  (part ?PART1 ?PHRASE)
                  (part ?PART2 ?PHRASE)
                  (instance ?PART1 Word)
                  (instance ?PART2 Word)
                  (not
                        (equal ?PART1 ?PART2)))))

Agar sentence is an instance of vaakya, to yah kuch sangyaa vaakyansha phrase1,kriyaa vaakyaansha phrase2 nahin, ki phrase1 is a part of sentence aur phrase2 is a part of sentence.

(=>
      (instance ?SENTENCE Sentence)
      (exists
            (?PHRASE1 ?PHRASE2)
            (and
                  (instance ?PHRASE1 NounPhrase)
                  (instance ?PHRASE2 VerbPhrase)
                  (part ?PHRASE1 ?SENTENCE)
                  (part ?PHRASE2 ?SENTENCE))))

Agar text is an instance of vishaya, to yah kuch vaakya part nahin, ki part is a part of text.

(=>
      (instance ?TEXT Text)
      (exists
            (?PART)
            (and
                  (part ?PART ?TEXT)
                  (instance ?PART Sentence))))

Agar sent is an instance of vaakya, to yah kuch sangyaa vaakyansha noun,kriyaa vaakyaansha verb nahin, ki noun is a part of sent aur verb is a part of sent.

(=>
      (instance ?SENT Sentence)
      (exists
            (?NOUN ?VERB)
            (and
                  (instance ?NOUN NounPhrase)
                  (instance ?VERB VerbPhrase)
                  (part ?NOUN ?SENT)
                  (part ?VERB ?SENT))))

Agar mole is an instance of mOlikyUla, to yah kuch aNu atom1,aNu atom2 nahin, ki atom1 is a part of mole aur atom2 is a part of mole aur atom1 is not equal to atom2.

(=>
      (instance ?MOLE Molecule)
      (exists
            (?ATOM1 ?ATOM2)
            (and
                  (instance ?ATOM1 Atom)
                  (instance ?ATOM2 Atom)
                  (part ?ATOM1 ?MOLE)
                  (part ?ATOM2 ?MOLE)
                  (not
                        (equal ?ATOM1 ?ATOM2)))))

Agar clothing is an instance of paridhaana, to yah kuch vastra fabric nahin, ki fabric is a part of clothing.

(=>
      (instance ?CLOTHING Clothing)
      (exists
            (?FABRIC)
            (and
                  (instance ?FABRIC Fabric)
                  (part ?FABRIC ?CLOTHING))))

Agar dry is an attribute of obj, to yah kuch subobj nahin, ki subobj is a part of obj aur liquid is an attribute of subobj.

(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))

agar wet is an attribute of obj,
to sab-kuch part ke lie hai, ki: agar part is a part of obj, to yah kuch subpart nahin, ki subpart is a part of part aur liquid is an attribute of subpart

(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))

Agar body is an instance of janana sharIra aur body is a part of org aur org is an instance of jIvadhaarI padaartha, to female is an attribute of org.

(=>
      (and
            (instance ?BODY ReproductiveBody)
            (part ?BODY ?ORG)
            (instance ?ORG Organism))
      (attribute ?ORG Female))