Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - KappaFn
KappaFn

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


(instance KappaFn BinaryFunction) Merge.kif 5700-5700 Kappa is an instance of binary function
(instance KappaFn PartialValuedRelation) Merge.kif 5701-5701 Kappa is an instance of partial valued relation
(domain KappaFn 1 Entity) Merge.kif 5702-5702 The number 1 argument of kappa is an instance of entity
(domain KappaFn 2 Formula) Merge.kif 5703-5703 The number 2 argument of kappa is an instance of formula
(range KappaFn Class) Merge.kif 5704-5704 The range of kappa is an instance of class
(documentation KappaFn EnglishLanguage "A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the Class of things that satisfy the formula. For example, we can denote the Class of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.") Merge.kif 5706-5714 The range of kappa is an instance of class

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


(termFormat EnglishLanguage KappaFn "kappa") domainEnglishFormat.kif 32127-32127
(termFormat ChineseTraditionalLanguage KappaFn "卡帕") domainEnglishFormat.kif 32128-32128
(termFormat ChineseLanguage KappaFn "卡帕") domainEnglishFormat.kif 32129-32129
(format EnglishLanguage KappaFn "the class described by %1") english_format.kif 513-513

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1029-1036 X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account
(=>
    (trusts ?A1 ?A2
        (KappaFn ?P
            (capability ?P agent ?A2)))
    (knows ?A1
        (capability ?P agent ?A2)))		 Law.kif 365-370 If X trusts Y will do the class described by Z, then X knows Y is capable of doing Z as a agent
(=>
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)))		 People.kif 99-114 If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V
(=>
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)))		 People.kif 152-167 If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the deaths per thousand of X, U, and V
(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))		 UXExperimentalTerms.kif 3238-3258 If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average price of X, Y, and Z
(=>
    (and
        (instance ?SELLINGS Collection)
        (instance ?GMV CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMV
            (GMVFn ?SELLINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?SELLING)
                            (and
                                (member ?SELLING ?SELLINGS)
                                (patient ?SELLING ?ITEM))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))		 UXExperimentalTerms.kif 3281-3301 If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average selling price of X, Y, and Z

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


(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN ?HEAR)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))		 Merge.kif 13920-13934 If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent
(=>
    (atomicNumber ?TYPE ?NUMBER)
    (=>
        (and
            (instance ?SUBSTANCE ?TYPE)
            (part ?ATOM ?SUBSTANCE)
            (instance ?ATOM Atom))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))		 Merge.kif 14087-14099 Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1662-1680 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1684-1703 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H ?I)
            (and
                (instance ?P Protecting)
                (instrument ?P ?S)
                (instance ?H Human)
                (patient ?P ?H)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?W)
                                (and
                                    (instance ?W Weapon)
                                    (instrument ?I ?W)))
                            (=>
                                (patient ?I ?H)
                                (not
                                    (patient ?P ?H))))))))))		 Mid-level-ontology.kif 1758-1778 If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W
(=>
    (instance ?X Key)
    (hasPurpose ?X
        (exists (?LOCK ?CLOSE ?OPEN)
            (and
                (instance ?LOCK Lock)
                (capability
                    (KappaFn ?CLOSE
                        (and
                            (instance ?CLOSE Closing)
                            (patient ?CLOSE ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn
                                    (WhenFn ?CLOSE))
                                (attribute ?LOCK Locked)))) instrument ?X)
                (capability
                    (KappaFn ?OPEN
                        (and
                            (instance ?OPEN Closing)
                            (patient ?OPEN ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn
                                    (WhenFn ?OPEN))
                                (not
                                    (attribute ?LOCK Locked))))) instrument ?X)))))		 Mid-level-ontology.kif 3269-3293 If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument
(=>
    (instance ?SADDLE Saddle)
    (exists (?RIDE)
        (capability
            (KappaFn ?RIDE
                (exists (?HUMAN ?HORSE)
                    (and
                        (instance ?RIDE Carrying)
                        (patient ?RIDE ?HUMAN)
                        (instance ?HUMAN Human)
                        (agent ?RIDE ?HORSE)
                        (instance ?HORSE Horse)))) instrument ?SADDLE)))		 Mid-level-ontology.kif 4935-4946 If X is an instance of saddle, then there exists Y such that X is capable of doing the class described by Y as a instrument
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))		 Mid-level-ontology.kif 5087-5095 If X is an instance of box, then equal the number of instances in the class described by Y and 6
(=>
    (instance ?P Polyhedron)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?F
                (faceOfFigure ?F ?P))) 4))		 Mid-level-ontology.kif 5469-5474 If X is an instance of polyhedron, then the number of instances in the class described by Y is greater than or equal to 4
(=>
    (and
        (instance ?PY Pyramid)
        (instance ?POL Polygon)
        (faceOfFigure ?POL ?PY)
        (sideOfFigure ?S ?POL)
        (instance ?T Triangle)
        (faceOfFigure ?T ?PY)
        (sideOfFigure ?S ?T)
        (sideOfIntersection ?POL ?T ?S))
    (equal
        (CardinalityFn
            (KappaFn ?S
                (sideOfFigure ?S ?POL)))
        (CardinalityFn
            (KappaFn ?T
                (faceOfFigure ?T ?PY)))))		 Mid-level-ontology.kif 5515-5531 If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W
(=>
    (instance ?P SquarePyramid)
    (equal
        (CardinalityFn
            (KappaFn ?F
                (faceOfFigure ?F ?P))) 4))		 Mid-level-ontology.kif 5546-5551 If X is an instance of square pyramid, then equal the number of instances in the class described by Y and 4
(=>
    (instance ?C Cube)
    (equal
        (CardinalityFn
            (KappaFn ?F
                (faceOfFigure ?F ?C))) 6))		 Mid-level-ontology.kif 5561-5566 If X is an instance of cube, then equal the number of instances in the class described by Y and 6
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))		 Mid-level-ontology.kif 5690-5695 If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4
(=>
    (and
        (instance ?SEAT AuditoriumSeat)
        (part ?SEAT ?AUDITORIUM)
        (part ?STAGE ?AUDITORIUM)
        (instance ?AUDITORIUM Auditorium)
        (instance ?STAGE PerformanceStage)
        (located ?PERSON ?SEAT)
        (instance ?PERSON Human))
    (capability
        (KappaFn ?SEEING
            (and
                (instance ?SEEING Seeing)
                (patient ?SEEING ?STAGE))) agent ?PERSON))		 Mid-level-ontology.kif 8648-8661 If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))		 Mid-level-ontology.kif 20326-20347 If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V
(=>
    (and
        (protonNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?PROTON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))		 Mid-level-ontology.kif 23961-23974 If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W
(=>
    (and
        (electronNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?ELECTRON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))		 Mid-level-ontology.kif 23984-23997 If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W
(=>
    (attribute ?X Celebrity)
    (exists (?A)
        (greaterThan
            (CardinalityFn
                (KappaFn ?A
                    (acquaintance ?A ?X))) 1000)))		 Mid-level-ontology.kif 24464-24471 If celebrity is an attribute of X, then there exists Y such that the number of instances in the class described by Y is greater than 1000
(=>
    (memberCount ?ORG ?NUM)
    (equal ?NUM
        (CardinalityFn
            (KappaFn ?MEM
                (member ?MEM ?ORG)))))		 Mid-level-ontology.kif 24918-24924 If X is a member count of Y, then equal X and the number of instances in the class described by Z
(=>
    (holdsDuring ?T
        (attribute ?X SafetyPosition))
    (holdsDuring ?T
        (hasPurpose ?X
            (exists (?P ?H ?I ?T2)
                (and
                    (instance ?H Human)
                    (instance ?P Process)
                    (patient ?P ?H)
                    (agent ?P ?X)
                    (prevents ?P
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (=>
                                    (holdsDuring ?T2
                                        (experiencer ?I ?H))
                                    (not
                                        (holdsDuring ?T2
                                            (patient ?P ?H))))))))))))		 Mid-level-ontology.kif 33327-33347 If safety position is an attribute of X holds during Y, then X has the purpose there exist Z, W,, , V, U such that W is an instance of human, Z is an instance of process, W is a patient of Z, X is an agent of Z, and Z prevents the occurrence of the class described by V holds during Y
(=>
    (instance ?X SafetyDevice)
    (hasPurpose ?X
        (exists (?P ?H ?I ?T)
            (and
                (instance ?H Human)
                (instance ?P Process)
                (patient ?P ?H)
                (instrument ?P ?X)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (=>
                                (holdsDuring ?T
                                    (experiencer ?I ?H))
                                (not
                                    (holdsDuring ?T
                                        (patient ?P ?H)))))))))))		 Mid-level-ontology.kif 33439-33457 If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W
(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))		 Cars.kif 3254-3282 If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W
(=>
    (and
        (instance ?HP HearingProtection)
        (instance ?PERSON Human)
        (wears ?PERSON ?HP))
    (hasPurpose ?HP
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?SOUND ?HEAR ?HUMAN ?T)
                                (and
                                    (instance ?SOUND RadiatingSound)
                                    (instance ?HEAR Hearing)
                                    (instance ?HUMAN Human)
                                    (patient ?HEAR ?SOUND)
                                    (experiencer ?HEAR ?HUMAN)
                                    (causes ?HEAR ?I)
                                    (experiencer ?I ?HUMAN)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)
                (instrument ?PROC ?HP)))))		 Cars.kif 3312-3341 If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?PE))
            (exists (?PROTECT ?EYE ?INJ ?I ?T)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?HUMAN)
                                (and
                                    (instance ?I Injuring)
                                    (instance ?EYE Eye)
                                    (instance ?HUMAN Human)
                                    (properPart ?EYE ?HUMAN)
                                    (patient ?I ?EYE)
                                    (=>
                                        (holdsDuring ?T
                                            (patient ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROTECT ?PERSON))))))))
                    (prevents ?PROTECT ?INJ))))))		 Cars.kif 3347-3373 If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V
(=>
    (and
        (instance ?X Respirator)
        (instance ?PERSON Animal)
        (wears ?PERSON ?X))
    (hasPurpose ?X
        (exists (?INHAL ?INJ ?PROTECT ?I)
            (and
                (instance ?PROTECT Process)
                (instrument ?PROTECT ?X)
                (prevents ?PROTECT ?INJ)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?H)
                                (and
                                    (instance ?H Human)
                                    (patient ?I ?H)
                                    (instance ?INHAL Inhaling)
                                    (agent ?INHAL ?H)
                                    (causes ?I ?INHAL))))))))))		 Cars.kif 3395-3416 If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)		 Mid-level-ontology.kif 5669-5672 equal the number of instances in the class described by X and 3
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircleSector))) 3)		 Mid-level-ontology.kif 5792-5795 equal the number of instances in the class described by X and 3
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircularSegment))) 2)		 Mid-level-ontology.kif 6067-6070 equal the number of instances in the class described by X and 2
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 34143-34148 equal the population of X and the number of instances in the class described by Y
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 34167-34172 equal individuals of type X in Y. and the number of instances in the class described by Z
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1136-1145 equal the available for military service male of X and the number of instances in the class described by Y
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1159-1170 equal the fit for military service male of X and the number of instances in the class described by Y
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1197-1210 equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 490-503 X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners