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

KB Term:  Term intersection
English Word: 

Sigma KEE - Human
Human
more pictures...

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


(subclass Human Hominid) Merge.kif 14955-14955
(subclass Human CognitiveAgent) Merge.kif 14956-14956
(partition Human Man Woman) Merge.kif 14957-14957
(documentation Human EnglishLanguage "Modern man, the only remaining species of the Homo genus.") Merge.kif 14958-14959
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px_Jan_Vermeer_van_Delft_009.jpg") pictureList-ImageNet.kif 257-257
(externalImage Human "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px_Gazolina_zloga.jpg") pictureList-ImageNet.kif 258-258
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg") pictureList-ImageNet.kif 259-259
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg") pictureList.kif 3115-3115
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 3116-3116

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


(subclass Man Human) Merge.kif 14961-14961
(subclass Woman Human) Merge.kif 14968-14968
(subclass HumanAdult Human) Mid-level-ontology.kif 165-165
(subclass HumanYouth Human) Mid-level-ontology.kif 231-231
(subclass Teenager Human) Mid-level-ontology.kif 303-303
(typicalPart VocalCords Human) Mid-level-ontology.kif 774-774
(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 775-775
(initialPart VocalCords Human) Mid-level-ontology.kif 776-776
(disjoint DomesticAnimal Human) Mid-level-ontology.kif 22233-22233
(initiallyContainsPart Brain Human) Mid-level-ontology.kif 26015-26015
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 26016-26016
(instance TimCookOfApple Human) ComputingBrands.kif 2435-2435
(instance SteveJobsOfApple Human) ComputingBrands.kif 2447-2447
(instance SteveWozniakOfApple Human) ComputingBrands.kif 2459-2459
(disjoint Organization Human) Media.kif 35-35
(biologicalAgentCarrier BordetellaPertussis Human) WMD.kif 1582-1582
(termFormat EnglishLanguage Human "human") english_format.kif 1220-1220

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


(domain leader 2 Human) Merge.kif 1706-1706
(domain attends 2 Human) Merge.kif 13385-13385
(domain home 1 Human) Merge.kif 14698-14698
(domain stays 1 Human) Merge.kif 14706-14706
(domain ImmediateFamilyFn 1 Human) Merge.kif 16644-16644
(domain brother 2 Human) Merge.kif 16863-16863
(domain sister 2 Human) Merge.kif 16872-16872
(domain legalRelation 1 Human) Merge.kif 16878-16878
(domain legalRelation 2 Human) Merge.kif 16879-16879
(domain acquaintance 1 Human) Merge.kif 16900-16900
(domain acquaintance 2 Human) Merge.kif 16901-16901
(domain mutualAcquaintance 1 Human) Merge.kif 16912-16912
(domain mutualAcquaintance 2 Human) Merge.kif 16913-16913
(domain spouse 1 Human) Merge.kif 16921-16921
(domain spouse 2 Human) Merge.kif 16922-16922
(domain citizen 1 Human) Merge.kif 17105-17105
(domain occupiesPosition 1 Human) Merge.kif 17620-17620
(domain patientMedical 1 Human) Mid-level-ontology.kif 6786-6786
(domain allergic 1 Human) Mid-level-ontology.kif 7343-7343
(domain neighbor 1 Human) Mid-level-ontology.kif 7753-7753
(domain neighbor 2 Human) Mid-level-ontology.kif 7754-7754
(domain DescendantsFn 1 Human) Mid-level-ontology.kif 8783-8783
(domain groupMember 1 Human) Mid-level-ontology.kif 8877-8877
(domain medicalPatient 1 Human) Mid-level-ontology.kif 8954-8954
(domain intelligenceQuotient 1 Human) Mid-level-ontology.kif 13453-13453

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))		 Merge.kif 12498-12503
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))		 Merge.kif 15462-15483
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17604-17612
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 202-208
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))		 Mid-level-ontology.kif 216-222
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 252-257
(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))		 Mid-level-ontology.kif 269-275
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 294-301
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))		 Mid-level-ontology.kif 325-331
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 375-380
(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))		 Mid-level-ontology.kif 607-614
(=>
    (and
        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))		 Mid-level-ontology.kif 7280-7288
(=>
    (and
        (instance ?S Strangling)
        (patient ?S ?V)
        (instance ?V Human))
    (hasPurpose ?S
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (agent ?B ?V))))))		 Mid-level-ontology.kif 7625-7635
(=>
    (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
(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS)
        (member ?MEMBER ?DESCENDANTS))
    (ancestor ?MEMBER ?PERSON))		 Mid-level-ontology.kif 8789-8795
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Mid-level-ontology.kif 8883-8890
(=>
    (and
        (instance ?RC RibCage)
        (part ?RC ?H)
        (instance ?H Human)
        (attribute ?H Living)
        (not
            (and
                (instance ?P PathologicProcess)
                (located ?P ?H))))
    (exists (?HT ?LG)
        (and
            (instance ?HT Heart)
            (instance ?HT Lung)
            (contains ?RC ?LG)
            (contains ?RC ?HT))))		 Mid-level-ontology.kif 12743-12758
(=>
    (and
        (instance ?B Breast)
        (instance ?H Human)
        (part ?B ?H))
    (part ?B
        (FrontFn ?H)))		 Mid-level-ontology.kif 14465-14471
(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))		 Mid-level-ontology.kif 18534-18541
(=>
    (and
        (instance ?INHERIT Inheriting)
        (agent ?INHERIT ?HEIR)
        (instance ?HEIR Human)
        (origin ?INHERIT ?PERSON)
        (instance ?PERSON Human)
        (patient ?INHERIT ?PROPERTY)
        (instance ?PROPERTY Object))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?PERSON)
            (earlier
                (WhenFn ?DEATH)
                (WhenFn ?INHERIT))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?DEATH))
                (possesses ?PERSON ?PROPERTY))
            (confersRight ?PERSON ?HEIR
                (possesses ?HEIR ?PROPERTY)))))		 Mid-level-ontology.kif 20540-20561
(=>
    (and
        (instance ?O OpeningEye)
        (agent ?O ?H)
        (instance ?H Human)
        (not
            (attribute ?H Blind)))
    (exists (?S ?R)
        (and
            (instance ?S Seeing)
            (agent ?S ?H)
            (patient ?S ?R)
            (instance ?R RadiatingVisibleLight)
            (during
                (WhenFn ?S)
                (WhenFn ?O)))))		 Mid-level-ontology.kif 22112-22127
(=>
    (and
        (instance ?W WorkLeave)
        (instance ?WORK Working)
        (agent ?W ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?W)
            (WhenFn ?WORK))))		 Mid-level-ontology.kif 22668-22678
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 22843-22865
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))		 Mid-level-ontology.kif 24747-24752
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))		 Mid-level-ontology.kif 25831-25844

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1509-1516
(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))		 Merge.kif 1542-1547
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Human))
            (result ?COOK ?FOOD))))		 Merge.kif 13157-13162
(=>
    (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
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (or
                (inhabits ?HUMAN ?BUILDING)
                (exists (?ACT)
                    (and
                        (agent ?ACT ?HUMAN)
                        (located ?ACT ?BUILDING)))))))		 Merge.kif 16028-16038
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))		 Merge.kif 16161-16169
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))		 Merge.kif 16171-16182
(=>
    (instance ?WI WearableItem)
    (hasPurpose ?WI
        (exists (?H)
            (and
                (instance ?H Human)
                (wears ?H ?WI)))))		 Merge.kif 16209-16215
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 16597-16601
(=>
    (and
        (attribute ?PERSON ?ATTRIBUTE)
        (instance ?ATTRIBUTE SocialRole))
    (instance ?PERSON Human))		 Merge.kif 17594-17598
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))		 Mid-level-ontology.kif 92-94
(=>
    (holdsDuring ?TIME
        (attribute ?SLAVE HumanSlave))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (not
                (equal ?PERSON ?SLAVE))
            (holdsDuring ?TIME
                (possesses ?PERSON ?SLAVE)))))		 Mid-level-ontology.kif 156-163
(=>
    (instance ?B Buttstock)
    (hasPurpose ?B
        (exists (?L ?S ?A ?SH)
            (and
                (instance ?L Longgun)
                (part ?B ?L)
                (instance ?S Shooting)
                (instrument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (part ?SH ?A)
                (instance ?SH Shoulder)
                (holdsDuring
                    (WhenFn ?S)
                    (meetsSpatially ?S ?B))))))		 Mid-level-ontology.kif 1475-1490
(=>
    (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
(=>
    (instance ?GUN ArtilleryGun)
    (not
        (exists (?A ?C)
            (and
                (instance ?A Human)
                (instance ?C Carrying)
                (instrument ?C ?A)
                (objectTransferred ?C ?GUN)))))		 Mid-level-ontology.kif 1889-1897
(=>
    (instance ?GUN Firearm)
    (hasPurpose ?GUN
        (exists (?A ?CARRY ?C)
            (and
                (instance ?A Human)
                (subclass ?CARRY Carrying)
                (instance ?C ?CARRY)
                (objectTransferred ?C ?GUN)
                (capability ?CARRY instrument ?A)
                (not
                    (exists (?A2)
                        (and
                            (instance ?A2 Human)
                            (not
                                (equal ?A ?A2))
                            (instrument ?C ?A2))))))))		 Mid-level-ontology.kif 1924-1940
(=>
    (instance ?GUN Firearm)
    (hasPurpose ?GUN
        (exists (?A ?SHOOT ?S)
            (and
                (instance ?A Human)
                (subclass ?SHOOT Shooting)
                (instance ?S ?SHOOT)
                (objectTransferred ?S ?GUN)
                (capability ?SHOOT agent ?A)
                (not
                    (exists (?A2)
                        (and
                            (instance ?A2 Human)
                            (not
                                (equal ?A ?A2))
                            (agent ?S ?A2))))))))		 Mid-level-ontology.kif 1942-1958
(=>
    (instance ?L Longgun)
    (hasPurpose ?L
        (exists (?S ?A)
            (and
                (instance ?S Shooting)
                (instrument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (holdsDuring
                    (WhenFn ?S)
                    (exists (?G)
                        (and
                            (instance ?G Grabbing)
                            (agent ?G ?A)
                            (patient ?G ?L)
                            (modalAttribute
                                (exists (?H1 ?H2)
                                    (and
                                        (instance ?H1 Hand)
                                        (part ?H1 ?A)
                                        (instance ?H2 Hand)
                                        (part ?H2 ?A)
                                        (not
                                            (equal ?H1 ?H2))
                                        (instrument ?G ?H1)
                                        (instrument ?G ?H2))) Necessity))))))))		 Mid-level-ontology.kif 1966-1992
(=>
    (instance ?GUN Handgun)
    (hasPurpose ?GUN
        (exists (?MAN ?S ?H ?G ?S)
            (and
                (instance ?MAN Human)
                (instance ?S Shooting)
                (instrument ?S ?GUN)
                (agent ?S ?MAN)
                (instance ?G Grabbing)
                (subProcess ?G ?S)
                (patient ?G ?GUN)
                (agent ?G ?MAN)
                (instrument ?G ?H)
                (instance ?H Hand)
                (part ?H ?MAN)
                (not
                    (modalAttribute
                        (exists (?H2)
                            (and
                                (instance ?H2 Hand)
                                (not
                                    (equal ?H ?H2))
                                (part ?H2 ?MAN)
                                (instrument ?G ?H2))) Necessity))))))		 Mid-level-ontology.kif 2045-2069
(=>
    (instance ?VM VendingMachine)
    (hasPurpose ?VM
        (exists (?H ?O ?V)
            (and
                (instance ?V Vending)
                (instance ?H Human)
                (instance ?O Object)
                (objectTransferred ?V ?O)
                (instrument ?V ?VM)
                (origin ?V ?VM)
                (not
                    (instance ?O Currency))
                (destination ?V ?H)))))		 Mid-level-ontology.kif 2534-2547
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Human)))		 Mid-level-ontology.kif 2568-2570
(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))		 Mid-level-ontology.kif 2585-2594
(=>
    (instance ?AD HumanDoll)
    (exists (?H)
        (and
            (instance ?H Human)
            (represents ?AD ?H))))		 Mid-level-ontology.kif 3019-3024
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))		 Mid-level-ontology.kif 4366-4373
(=>
    (instance ?CHAIR Chair)
    (hasPurpose ?CHAIR
        (not
            (exists (?PERSON1 ?PERSON2 ?T)
                (and
                    (instance ?PERSON1 Human)
                    (instance ?PERSON2 Human)
                    (holdsDuring ?T
                        (and
                            (attribute ?PERSON1 Sitting)
                            (attribute ?PERSON2 Sitting)
                            (located ?PERSON1 ?CHAIR)
                            (located ?PERSON2 ?CHAIR)))
                    (not
                        (equal ?PERSON1 ?PERSON2)))))))		 Mid-level-ontology.kif 4379-4394

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal Food
    (FoodForFn Human))		 Merge.kif 15181-15181
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 34143-34148
(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
    (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
    (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
(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


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