Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# or (or)

The truth-functional connective of disjunction.

## Ontology

SUMO / STRUCTURAL-ONTOLOGY

## Class(es)

 taarkika prachaalaka

or

## Coordinate term(s)

<=>  =>  and  entails  exists  forall  not

or(sUtra, sUtra)

## Related WordNet synsets

See more related synsets on a separate page.

## Axioms (61)

Agar the number number argument of rel is an instance of class1 aur the number number argument of rel is an instance of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
```(=>
(and
(domain ?REL ?NUMBER ?CLASS1)
(domain ?REL ?NUMBER ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))```

Agar the number number argument of rel is a subclass of class1 aur the number number argument of rel is a subclass of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
```(=>
(and
(domainSubclass ?REL ?NUMBER ?CLASS1)
(domainSubclass ?REL ?NUMBER ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))```

Agar range of rel is an instance of class1 aur range of rel is an instance of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
```(=>
(and
(range ?REL ?CLASS1)
(range ?REL ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))```

Agar the values returned by rel are subclasses of class1 aur the values returned by rel are subclasses of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
```(=>
(and
(rangeSubclass ?REL ?CLASS1)
(rangeSubclass ?REL ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))```

abs is an instance of amUrta agar hai yah kuch point nahin, ki abs is located at point yaa abs exists during point.
```(<=>
(instance ?ABS Abstract)
(not
(exists
(?POINT)
(or
(located ?ABS ?POINT)
(time ?ABS ?POINT)))))```

number1 is less than or equal to number2 agar hai number1 is equal to number2 yaa number1 is less than number2.
```(<=>
(lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2)))```

number1 is greater than or equal to number2 agar hai number1 is equal to number2 yaa number1 is greater than number2.
```(<=>
(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(greaterThan ?NUMBER1 ?NUMBER2)))```

```(=>
(instance ?REL ReflexiveRelation)
(=>
(or
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))
(holds ?REL ?INST1 ?INST1)))```

Agar
, to rel is an instance of asaamanjasyapUrNa sambandha.
```(=>
(and
(instance ?REL BinaryRelation)
(or
(domain ?REL 1 ?CLASS1)
(domainSubclass ?REL 1 ?CLASS1))
(or
(domain ?REL 2 ?CLASS2)
(domainSubclass ?REL 2 ?CLASS2)
(range ?REL ?CLASS2)
(rangeSubclass ?REL ?CLASS2))
(disjoint ?CLASS1 ?CLASS2))
(instance ?REL AsymmetricRelation))```

Agar rel is an instance of , to sab-kuch inst1,inst2 ke lie hai, ki: rel(inst1,inst2) holds yaa inst1 is equal to inst2 yaa rel(inst2,inst1) holds.
```(=>
(instance ?REL TrichotomizingRelation)
(forall
(?INST1 ?INST2)
(or
(holds ?REL ?INST1 ?INST2)
(equal ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))```

Agar rel is an instance of pUrna anukrama sambandha, to sab-kuch inst1,inst2 ke lie hai, ki: rel(inst1,inst2) holds yaa rel(inst2,inst1) holds.
```(=>
(instance ?REL TotalOrderingRelation)
(forall
(?INST1 ?INST2)
(or
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))```

Agar formula1 is an instance of sUtra aur formula2 is an instance of sUtra, to formula1 increases likelihood of formula2 yaa formula1 decreases likelihood of formula2 yaa probability of formula1 and formula2 is independent.
```(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?FORMULA2)))```

• agar relation is trichotomizing on class,
• to sab-kuch inst1,inst2 ke lie hai, ki: agar inst1 is an instance of class aur inst2 is an instance of class, to relation(inst1,inst2) holds yaa relation(inst2,inst1) holds yaa inst1 is equal to inst2
• .
```(=>
(trichotomizingOn ?RELATION ?CLASS)
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(or
(holds ?RELATION ?INST1 ?INST2)
(holds ?RELATION ?INST2 ?INST1)
(equal ?INST1 ?INST2)))))```

Agar obj1 traverses obj2, to obj1 crosses obj2 yaa obj1 penetrates obj2.
```(=>
(traverses ?OBJ1 ?OBJ2)
(or
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))```

"the absolute value of number1" is equal to number2 aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka agar hai
```(<=>
(and
(equal
(AbsoluteValueFn ?NUMBER1)
?NUMBER2)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber))
(or
(and
(instance ?NUMBER1 NonnegativeRealNumber)
(equal ?NUMBER1 ?NUMBER2))
(and
(instance ?NUMBER1 NegativeRealNumber)
(equal
?NUMBER2
(SubtractionFn 0 ?NUMBER1)))))```

Agar "the larger of number1 and number2" is equal to number, to
• number is equal to number1 aur number1 is greater than number2
• yaa
• number is equal to number2 aur number2 is greater than number1
• yaa
• number is equal to number1 aur number is equal to number2
• .
```(=>
(equal
(MaxFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(or
(and
(equal ?NUMBER ?NUMBER1)
(greaterThan ?NUMBER1 ?NUMBER2))
(and
(equal ?NUMBER ?NUMBER2)
(greaterThan ?NUMBER2 ?NUMBER1))
(and
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2))))```

Agar "the smaller of number1 and number2" is equal to number, to
• number is equal to number1 aur number1 is less than number2
• yaa
• number is equal to number2 aur number2 is less than number1
• yaa
• number is equal to number1 aur number is equal to number2
• .
```(=>
(equal
(MinFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(or
(and
(equal ?NUMBER ?NUMBER1)
(lessThan ?NUMBER1 ?NUMBER2))
(and
(equal ?NUMBER ?NUMBER2)
(lessThan ?NUMBER2 ?NUMBER1))
(and
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2))))```

```(=>
(forall
(?NUMBER)
(=>
(equal
(RemainderFn ?PRIME ?NUMBER)
0)
(or
(equal ?NUMBER 1)
(equal ?NUMBER ?PRIME)))))```

• agar "number1 rounded" is equal to number2,
• to
• agar "(number1-"the largest integer less than or equal to number1")" is less than , to number2 is equal to "the largest integer less than or equal to number1"
• yaa
• agar "(number1-"the largest integer less than or equal to number1")" is greater than or equal to , to number2 is equal to "the ceiling of number1"
• .
```(=>
(equal
(RoundFn ?NUMBER1)
?NUMBER2)
(or
(=>
(lessThan
(SubtractionFn
?NUMBER1
(FloorFn ?NUMBER1))
0.5)
(equal
?NUMBER2
(FloorFn ?NUMBER1)))
(=>
(greaterThanOrEqualTo
(SubtractionFn
?NUMBER1
(FloorFn ?NUMBER1))
0.5)
(equal
?NUMBER2
(CeilingFn ?NUMBER1)))))```

Agar number is an instance of aQNaatmaka vaastavika anka, to "the sign of number" is equal to yaa "the sign of number" is equal to .
```(=>
(instance ?NUMBER NonnegativeRealNumber)
(or
(equal
(SignumFn ?NUMBER)
1)
(equal
(SignumFn ?NUMBER)
0)))```

```(=>
(instance ?SUPERCLASS PairwiseDisjointClass)
(forall
(?CLASS1 ?CLASS2)
(=>
(and
(instance ?CLASS1 ?SUPERCLASS)
(instance ?CLASS2 ?SUPERCLASS))
(or
(equal ?CLASS1 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2)))))```

Agar graph is an instance of aalekha aur node1 is an instance of granthi aalekha aur node2 is an instance of granthi aalekha aur node1 is a part of graph aur node2 is a part of graph aur node1 is not equal to node2, to yah kuch arc,path nahin, ki
```(=>
(and
(instance ?GRAPH Graph)
(instance ?NODE1 GraphNode)
(instance ?NODE2 GraphNode)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(not
(equal ?NODE1 ?NODE2)))
(exists
(?ARC ?PATH)
(or
(and
(subGraph ?PATH ?GRAPH)
(instance ?PATH GraphPath)
(or
(and
(equal
(BeginNodeFn ?PATH)
?NODE1)
(equal
(EndNodeFn ?PATH)
?NODE2))
(and
(equal
(BeginNodeFn ?PATH)
?NODE2)
(equal
(EndNodeFn ?PATH)
?NODE1)))))))```

• agar
• "the value of path" is equal to sum
• aur
• subpath is a subgraph of path
• aur
• arc1 is a part of path
• aur
• the value of arc1 is number1
• aur
• sab-kuch arc2 ke lie hai, ki: agar arc2 is a part of path, to arc2 is a part of subpath yaa arc2 is equal to arc1
,
• to sum is equal to "("the value of subpath"+number1)"
• .
```(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(subGraph ?SUBPATH ?PATH)
(graphPart ?ARC1 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(forall
(?ARC2)
(=>
(graphPart ?ARC2 ?PATH)
(or
(graphPart ?ARC2 ?SUBPATH)
(equal ?ARC2 ?ARC1)))))
(equal
?SUM
(PathWeightFn ?SUBPATH)
?NUMBER1)))```

• agar
• "the value of path" is equal to sum
• aur
• arc1 is a part of path
• aur
• arc2 is a part of path
• aur
• the value of arc1 is number1
• aur
• the value of arc2 is number2
• aur
• sab-kuch arc3 ke lie hai, ki: agar arc3 is a part of path, to arc3 is equal to arc1 yaa arc3 is equal to arc2
,
• to "the value of path" is equal to "(number1+number2)"
• .
```(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(graphPart ?ARC1 ?PATH)
(graphPart ?ARC2 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(arcWeight ?ARC2 ?NUMBER2)
(forall
(?ARC3)
(=>
(graphPart ?ARC3 ?PATH)
(or
(equal ?ARC3 ?ARC1)
(equal ?ARC3 ?ARC2)))))
(equal
(PathWeightFn ?PATH)

Agar point1 happen?{s} before or at point2, to point1 happen?{s} before point2 yaa point1 is equal to point2.
```(=>
(beforeOrEqual ?POINT1 ?POINT2)
(or
(before ?POINT1 ?POINT2)
(equal ?POINT1 ?POINT2)))```

Agar leap is an instance of adhivarsha aur leap is equal to "number varsha(s)", to
```(=>
(and
(instance ?LEAP LeapYear)
(equal
?LEAP
(MeasureFn ?NUMBER Year)))
(or
(and
(equal
(RemainderFn ?NUMBER 4)
0)
(not
(equal
(RemainderFn ?NUMBER 100)
0)))
(equal
(RemainderFn ?NUMBER 400)
0)))```

• agar "decomposition of interval into ? interval-types" is equal to class,
• to sab-kuch time1,time2 ke lie hai, ki: agar time1 is an instance of class aur time2 is an instance of class aur time1 is not equal to time2, to time1 meets time2 yaa time2 meets time1 yaa time1 happens earlier than time2 yaa time2 happens earlier than time1
• .
```(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?CLASS)
(instance ?TIME2 ?CLASS)
(not
(equal ?TIME1 ?TIME2)))
(or
(meetsTemporally ?TIME1 ?TIME2)
(meetsTemporally ?TIME2 ?TIME1)
(earlier ?TIME1 ?TIME2)
(earlier ?TIME2 ?TIME1)))))```

Agar obj1 is connected to obj2, to obj1 meets obj2 yaa obj1 overlaps with obj2.
```(=>
(connected ?OBJ1 ?OBJ2)
(or
(meetsSpatially ?OBJ1 ?OBJ2)
(overlapsSpatially ?OBJ1 ?OBJ2)))```

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 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)))```

Agar subproc is a subprocess of proc, to "the time of existence of subproc" is equal to "the time of existence of proc" yaa "the time of existence of subproc" takes place during "the time of existence of proc".
```(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal
(WhenFn ?SUBPROC)
(WhenFn ?PROC))
(during
(WhenFn ?SUBPROC)
(WhenFn ?PROC))))```

Agar proc is an instance of anaga yaa Utaka prakriyaa, to yah kuch thing nahin, ki proc is located at thing aur thing is an instance of anga yaa thing is an instance of Utaka.
```(=>
(instance ?PROC OrganOrTissueProcess)
(exists
(?THING)
(and
(located ?PROC ?THING)
(or
(instance ?THING Organ)
(instance ?THING Tissue)))))```

Agar poison is an instance of vishaaktataa, to yah kuch thing nahin, ki thing is a patient of poison aur thing is an instance of jIvadhaarI padaartha yaa thing is an instance of shaarIrika sanrachanaa.
```(=>
(instance ?POISON Poisoning)
(exists
(?THING)
(and
(patient ?POISON ?THING)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))```

Agar act is an instance of sangathan sanbandhii prakriyaa aur act agent kaa kaaran hai, to
```(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists
(?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG)))))```

Agar act is an instance of dhaarmika prakriyaa aur act agent kaa kaaran hai, to
```(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists
(?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization)))))```

Agar proc is an instance of raajanaitika prakriyaa, to yah kuch sarakaara gov nahin, ki proc gov kaa kaaran hai yaa gov is a patient of proc.
```(=>
(instance ?PROC PoliticalProcess)
(exists
(?GOV)
(and
(instance ?GOV Government)
(or
(agent ?PROC ?GOV)
(patient ?PROC ?GOV)))))```

Agar proc is an instance of dishaa parivartana, to yah kuch dishaatmaka visheshataa attr nahin, ki
• proc is performed in the manner attr immediately before "the time of existence of proc" aur proc is performed in the manner attr immediately after "the time of existence of proc"
• yaa
• proc is performed in the manner attr immediately after "the time of existence of proc" aur proc is performed in the manner attr immediately before "the time of existence of proc"
• .
```(=>
(instance ?PROC DirectionChange)
(exists
(?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))))))```

Agar predict is an instance of purva kathana aur formula is a patient of predict, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of predict" yaa time happens earlier than "the time of existence of predict".
```(=>
(and
(instance ?PREDICT Predicting)
(patient ?PREDICT ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?PREDICT))
(earlier
?TIME
(WhenFn ?PREDICT))))))```

Agar remember is an instance of smaranana aur formula is a patient of remember, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of remember" yaa time happens earlier than "the time of existence of remember".
```(=>
(and
(instance ?REMEMBER Remembering)
(patient ?REMEMBER ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?REMEMBER))
(earlier
?TIME
(WhenFn ?REMEMBER))))))```

Agar proc is an instance of aarogyakara prakriyaa aur bio is a patient of proc, to
```(=>
(and
(instance ?PROC TherapeuticProcess)
(patient ?PROC ?BIO))
(or
(instance ?BIO Organism)
(exists
(?ORG)
(and
(instance ?ORG Organism)
(part ?BIO ?ORG)))))```

Agar
, to stuff is an instance of shuddha padaartha.
```(=>
(and
(instance ?PROC ChemicalProcess)
(or
(resource ?PROC ?STUFF)
(result ?PROC ?STUFF)))
(instance ?STUFF PureSubstance))```

Agar change is an instance of aantarika parivartana aur obj is a patient of change, to yah kuch property nahin, ki
```(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists
(?PROPERTY)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))))))```

Agar alt is an instance of aakaara parivartana aur obj is a patient of alt, to yah kuch aakaara visheshataa property nahin, ki
```(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY)))))))```

Agar wet is an instance of kledana aur obj is a patient of wet, to wet is an attribute of obj yaa damp is an attribute of obj immediately after "the time of existence of wet".
```(=>
(and
(instance ?WET Wetting)
(patient ?WET ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WET))
(or
(attribute ?OBJ Wet)
(attribute ?OBJ Damp))))```

Agar declare is an instance of ghoshanaa aur declare agent1 kaa kaaran hai, to yah kuch proc,agent2 nahin, ki declare allows agent2 to perform task of the type proc yaa declare obligates agent2 to perform task of the type proc.
```(=>
(and
(instance ?DECLARE Declaring)
(agent ?DECLARE ?AGENT1))
(exists
(?PROC ?AGENT2)
(or
(confersRight ?PROC ?DECLARE ?AGENT2)
(confersObligation ?PROC ?DECLARE ?AGENT2))))```

```(=>
(and
(instance ?WAR War)
(agent ?WAR ?AGENT))
(or
(instance ?AGENT Nation)
(and
(instance ?AGENT Organization)
(forall
(?MEMBER)
(=>
(member ?MEMBER ?AGENT)
(instance ?MEMBER Nation))))))```

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 parent is a parent of child, to parent is a mother of child yaa parent is a father of child.
```(=>
(parent ?CHILD ?PARENT)
(or
(mother ?CHILD ?PARENT)
(father ?CHILD ?PARENT)))```

Agar cover is an instance of sharIra aavaraNa, to yah kuch body nahin, ki cover is a superficial part of body aur body is an instance of jIvadhaarI padaartha yaa body is an instance of shaarIrika bhaaga.
```(=>
(instance ?COVER BodyCovering)
(exists
(?BODY)
(and
(superficialPart ?COVER ?BODY)
(or
(instance ?BODY Organism)
(instance ?BODY BodyPart)))))```

Agar doc is an instance of pramaanpatra aur agent posesses doc, to yah kuch proc nahin, ki doc allows agent to perform task of the type proc yaa doc obligates agent to perform task of the type proc.
```(=>
(and
(instance ?DOC Certificate)
(possesses ?AGENT ?DOC))
(exists
(?PROC)
(or
(confersRight ?PROC ?DOC ?AGENT)
(confersObligation ?PROC ?DOC ?AGENT))))```

Agar building is an instance of imaarata, to yah kuch maanava human nahin, ki
• human lives in building
• yaa
• yah kuch act nahin, ki act human kaa kaaran hai aur act is located at building
• .
```(=>
(instance ?BUILDING Building)
(exists
(?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists
(?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))```

Agar weapon is an instance of hathiyaara, to weapon has purpose "yah kuch kshati dest,patient nahin, ki patient is a patient of dest aur
".
```(=>
(instance ?WEAPON Weapon)
(hasPurpose
?WEAPON
(exists
(?DEST ?PATIENT)
(and
(instance ?DEST Damaging)
(patient ?DEST ?PATIENT)
(or
(instance ?PATIENT StationaryArtifact)
(instance ?PATIENT Animal)
(exists
(?ANIMAL)
(and
(instance ?ANIMAL Animal)
(inhabits ?ANIMAL ?PATIENT))))))))```

Agar comp1 is connected to comp2, to comp1 is not an instance of abhiyaantrikI sanyojana aur comp2 is not an instance of abhiyaantrikI sanyojana.
```(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(not
(or
(instance ?COMP1 EngineeringConnection)
(instance ?COMP2 EngineeringConnection))))```

Agar item has an attribute value aur value is an instance of yathaartha mulya, to item is an instance of vaakya yaa item is an instance of prastaava.
```(=>
(and
(property ?ITEM ?VALUE)
(instance ?VALUE TruthValue))
(or
(instance ?ITEM Sentence)
(instance ?ITEM Proposition)))```

Agar obj1 is below to obj2, to obj2 is on to obj1 yaa obj2 is above to obj1.
```(=>
(orientation ?OBJ1 ?OBJ2 Below)
(or
(orientation ?OBJ2 ?OBJ1 On)
(orientation ?OBJ2 ?OBJ1 Above)))```

Agar obj1 is adjacent to obj2, to obj1 is near to obj2 yaa obj1 is connected to obj2.
```(=>
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2)))```

Agar attr is an attribute of obj aur attr is an instance of pratiyogitaa visheshataa, to yah kuch pratiyogitaa contest nahin, ki contest obj kaa kaaran hai yaa obj is a patient of contest.
```(=>
(and
(attribute ?OBJ ?ATTR)
(instance ?ATTR ContestAttribute))
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(or
(agent ?CONTEST ?OBJ)
(patient ?CONTEST ?OBJ)))))```

Agar entity has an attribute promise, to entity has an attribute contract yaa entity has an attribute naked promise.
```(=>
(property ?ENTITY Promise)
(or
(property ?ENTITY Contract)
(property ?ENTITY NakedPromise)))```

Agar obj is an instance of object, to monochromatic is an attribute of obj yaa polychromatic is an attribute of obj.
```(=>
(instance ?OBJ Object)
(or
(attribute ?OBJ Monochromatic)
(attribute ?OBJ Polychromatic)))```

Agar obj is an instance of aatmasambaddha vastu, to pliable is an attribute of obj yaa rigid is an attribute of obj.
```(=>
(instance ?OBJ SelfConnectedObject)
(or
(attribute ?OBJ Pliable)
(attribute ?OBJ Rigid)))```

entity is an instance of "the union of class1 and class2" agar hai entity is an instance of class1 yaa entity is an instance of class2.
```(<=>
(instance
?ENTITY
(UnionFn ?CLASS1 ?CLASS2))
(or
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))```