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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Human
Human(human)
more pictures...
Aeschylean, Alexandrian, Ananias, Apostle, April_fool, Aquarius, Archer, Argonaut, Aries, Aristotelean, Aristotelian, Aristotelic, Arnold_of_Brescia, Audenesque, Balance, Balzacian, Beethovenian, Benedictine, Bismarckian, Black_Muslim, Black_Panther, Blimp, Bogartian, Bolshevik, Boskop_man, Bourbon, Bull, Cabalist, Caesarean, Caesarian, Cancer, Capricorn, Cartesian, Casanova, Caucasian, Caucasoid, Chaldaean, Chaldean, Chaldee, Chasid, Chassid, Church_Father, Churchillian, Coleridgean, Coleridgian, Colonel_Blimp, Colossian, Columbian, Converso, Crab...

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


s__documentation(s__Human,s__ChineseLanguage,'这是现代人,人属唯一剩下的品种。')

Merge.kif 14607-14607
s__documentation(s__Human,s__EnglishLanguage,'Modern man, the only remaining species of the Homo genus.')

Merge.kif 14605-14606
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/0/03/Skydiving_4_way.jpg')

pictureList-ImageNet.kif 260-260 "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg" is a URL depicting human
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg')

pictureList.kif 3118-3118 "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg" is a URL depicting human
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/4/42/Skeleton_diagram.svg')

pictureList.kif 3117-3117 "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg" is a URL depicting human
s__externalImage(s__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 258-258 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px-Jan_Vermeer_van_Delft_009.jpg" is a URL depicting human
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/Gazolina_zloga.jpg/250px-Gazolina_zloga.jpg')

pictureList-ImageNet.kif 259-259 "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px-Gazolina_zloga.jpg" is a URL depicting human
s__partition_3(s__Human,s__Man,s__Woman)

Merge.kif 14604-14604 Human is exhaustively partitioned into man and woman
s__subclass(s__Human,s__CognitiveAgent)

s__instance(s__Human,s__SetOrClass)

s__instance(s__CognitiveAgent,s__SetOrClass)

Merge.kif 14603-14603 Human is a subclass of cognitive agent
s__subclass(s__Human,s__Hominid)

s__instance(s__Hominid,s__SetOrClass)

s__instance(s__Human,s__SetOrClass)

Merge.kif 14602-14602 Human is a subclass of hominid

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


s__biologicalAgentCarrier(s__BordetellaPertussis,s__Human)

WMD.kif 1434-1434 Human is a biological agent carrier of bordetella pertussis
s__disjoint(s__DomesticAnimal,s__Human)

Mid-level-ontology.kif 17415-17415 Domestic animal is disjoint from human
s__disjoint(s__Organization,s__Human)

Media.kif 35-35 Organization is disjoint from human
s__initialPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1184-1184 Every VocalCords is initially part of a human
s__instance(s__HumanAdult,s__SetOrClass)

s__instance(s__Human,s__SetOrClass)

s__subclass(s__HumanAdult,s__Human)

Mid-level-ontology.kif 317-317 Human adult is a subclass of human
s__subclass(s__HumanYouth,s__Human)

s__instance(s__Human,s__SetOrClass)

s__instance(s__HumanYouth,s__SetOrClass)

Mid-level-ontology.kif 391-391 Human youth is a subclass of human
s__subclass(s__Man,s__Human)

s__instance(s__Man,s__SetOrClass)

s__instance(s__Human,s__SetOrClass)

Merge.kif 14609-14609 Man is a subclass of human
s__instance(s__Teenager,s__SetOrClass)

s__subclass(s__Teenager,s__Human)

s__instance(s__Human,s__SetOrClass)

Mid-level-ontology.kif 471-471 Teenager is a subclass of human
s__instance(s__Woman,s__SetOrClass)

s__subclass(s__Woman,s__Human)

s__instance(s__Human,s__SetOrClass)

Merge.kif 14617-14617 Woman is a subclass of human
s__termFormat(s__ChineseLanguage,s__Human,'人类')

chinese_format.kif 1002-1002 "人类" is the printable form of human in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Human,'human')

english_format.kif 689-689 "human" is the printable form of human in english language
s__termFormat(s__FrenchLanguage,s__Human,'humain')

french_format.kif 679-679 "humain" is the printable form of human in french language
s__termFormat(s__Hindi,s__Human,'maanava')

terms-hindi.txt 210-210 "maanava" is the printable form of human in Hindi
s__termFormat(s__ItalianLanguage,s__Human,'Umano')

terms-it.txt 211-211 "Umano" is the printable form of human in italian language
s__termFormat(s__PortugueseLanguage,s__Human,'Humano')

portuguese_format.kif 631-631 "Humano" is the printable form of human in portuguese language
s__termFormat(s__ar__m,s__Human,'إِنْسَانِي')

arabic_format.kif 415-415 "إِنْسَانِي" is the printable form of human in ar
s__termFormat(s__cb__m,s__Human,'tawo')

terms-cb.txt 215-215 "tawo" is the printable form of human in cb
s__termFormat(s__cz__m,s__Human,'human')

terms-cz.txt 247-247 "human" is the printable form of human in cz
s__termFormat(s__tg__m,s__Human,'tao')

terms-tg.txt 214-214 "tao" is the printable form of human in tg
s__typicalPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1182-1182 A VocalCords is typically a part of a human
s__typicallyContainsPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1183-1183 A human typically has a part VocalCords

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


s__domain(s__DescendantsFn__m,1,s__Human)

Mid-level-ontology.kif 7166-7166 The number 1 argument of descendants is an instance of human
s__domain(s__ImmediateFamilyFn__m,1,s__Human)

Merge.kif 16368-16368 The number 1 argument of immediate family is an instance of human
s__domain(s__QPViewsFn__m,1,s__Human)

UXExperimentalTerms.kif 4365-4365 The number 1 argument of qualifed page views is an instance of human
s__domain(s__QualifiedTreatmentsFn__m,1,s__Human)

UXExperimentalTerms.kif 4430-4430 The number 1 argument of qualifed treatments is an instance of human
s__domain(s__acquaintance__m,1,s__Human)

Merge.kif 16648-16648 The number 1 argument of acquaintance is an instance of human
s__domain(s__acquaintance__m,2,s__Human)

Merge.kif 16649-16649 The number 2 argument of acquaintance is an instance of human
s__domain(s__afterTaxIncome__m,1,s__Human)

FinancialOntology.kif 3216-3216 The number 1 argument of after tax income is an instance of human
s__domain(s__almaMater__m,1,s__Human)

Mid-level-ontology.kif 14144-14144 The number 1 argument of Alma Mater is an instance of human
s__domain(s__attends__m,2,s__Human)

Merge.kif 12895-12895 The number 2 argument of attends is an instance of human
s__domain(s__attorney__m,2,s__Human)

Law.kif 486-486 The number 2 argument of attorney is an instance of human
s__domain(s__aunt__m,2,s__Human)

Mid-level-ontology.kif 20543-20543 The number 2 argument of aunt is an instance of human
s__domain(s__baptismdate__m,1,s__Human)

Biography.kif 64-64 The number 1 argument of baptismdate is an instance of human
s__domain(s__baptismplace__m,1,s__Human)

Biography.kif 77-77 The number 1 argument of baptismplace is an instance of human
s__domain(s__basedIn__m,1,s__Human)

TravelPolicies.kif 368-368 The number 1 argument of basedIn is an instance of human
s__domain(s__beforeTaxIncome__m,1,s__Human)

FinancialOntology.kif 3233-3233 The number 1 argument of before tax income is an instance of human
s__domain(s__birthdate__m,1,s__Human)

Mid-level-ontology.kif 21580-21580 The number 1 argument of birthdate is an instance of human
s__domain(s__birthday__m,1,s__Human)

Mid-level-ontology.kif 21557-21557 The number 1 argument of birthday is an instance of human
s__domain(s__brother__m,2,s__Human)

Merge.kif 16602-16602 The number 2 argument of brother is an instance of human
s__domain(s__chiefOfDiplomaticMission__m,2,s__Human)

Government.kif 4382-4382 The number 2 argument of chief of diplomatic mission is an instance of human
s__domain(s__chiefOfState__m,3,s__Human)

Government.kif 1514-1514 The number 3 argument of chief of state is an instance of human
s__domain(s__citizen__m,1,s__Human)

Merge.kif 16895-16895 The number 1 argument of citizen is an instance of human
s__domain(s__coaches__m,1,s__Human)

Sports.kif 422-422 The number 1 argument of coaches is an instance of human
s__domain(s__coaches__m,2,s__Human)

Sports.kif 423-423 The number 2 argument of coaches is an instance of human
s__domain(s__cohabitant__m,1,s__Human)

Mid-level-ontology.kif 20476-20476 The number 1 argument of cohabitant is an instance of human
s__domain(s__cohabitant__m,2,s__Human)

Mid-level-ontology.kif 20477-20477 The number 2 argument of cohabitant is an instance of human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__Account,V__Agent] :
   ((s__accountHolder(V__Account,V__Agent)
     &
     s__instance(V__Agent,s__Human))
   <=>
   s__instance(V__Account,s__PersonalAccount))
)

FinancialOntology.kif 941-945 ?Agent holds account ?Account and ?Agent is an instance of human if and only if ?Account is an instance of personal account
( ! [V__PERSON] :
   ((s__instance(V__PERSON,s__Human) &
       (! [V__ORG] :
         (~ s__employs(V__ORG,V__PERSON))))
   <=>
   s__attribute(V__PERSON,s__Unemployed))
)

Merge.kif 17467-17473 ?PERSON is an instance of human and for all ?ORG ?ORG doesn't employ ?PERSON if and only if unemployed is an attribute of ?PERSON
( ! [V__X,V__REST,V__CUST,V__TABLE,V__KITCHEN,V__DINING,V__C,V__FOOD] :
   ((s__attribute(V__X,s__Waiter) &
       s__instance(V__X,s__Human) &
       s__employs(V__REST,V__X)
     &
     s__instance(V__REST,s__Restaurant) &
     s__customer(V__CUST,V__REST)
   &
   s__located(V__CUST,V__TABLE)
&
s__instance(V__TABLE,s__Table))
=>
(s__possesses(V__REST,V__KITCHEN)
&
s__instance(V__KITCHEN,s__KitchenArea) &
s__instance(V__DINING,s__DiningArea) &
s__located(V__TABLE,V__DINING)
&
s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))')))
)

Mid-level-ontology.kif 17900-17921
( ! [V__PLACE,V__MONARCH,V__SUCCESSOR,V__T1,V__ROLE,V__T2] :
   ((s__governmentType(V__PLACE,s__Monarchy) &
       s__instance(V__MONARCH,s__Human) &
       s__instance(V__SUCCESSOR,s__Human) &
       s__holdsDuring(V__T1,'s__chiefOfState(V__PLACE,V__ROLE,V__MONARCH)')
     &
     s__holdsDuring(V__T2,'s__chiefOfState(V__PLACE,V__ROLE,V__SUCCESSOR)')
   &
   s__earlier(V__T1,V__T2))
=>
s__confersNorm('s__relative(V__MONARCH,V__SUCCESSOR)','s__chiefOfState(V__PLACE,V__ROLE,V__SUCCESSOR)',s__Legal))
)

Government.kif 209-221
( ! [V__T1,V__OBJ,V__GROUP] :
   ((s__holdsDuring(V__T1,'s__member(V__OBJ,V__GROUP)')
     &
     s__instance(V__OBJ,s__Human) &
     s__instance(V__GROUP,s__GroupOfPeople))
   =>
   s__holdsDuring(V__T1,'s__groupMember(V__OBJ,V__GROUP)'))
)

Mid-level-ontology.kif 7266-7273
( ! [V__AGENT,V__TIME,V__NUMBER,V__DEVICE,V__PLACE] :
   ((s__instance(V__AGENT,s__Human) &
       s__holdsDuring(V__TIME,'(s__deviceTelecomNumber(V__NUMBER,V__DEVICE) & s__telephoneNumber(V__NUMBER,V__AGENT) & s__located(V__DEVICE,V__PLACE) & s__instance(V__PLACE,s__Residence))'))
   =>
   s__holdsDuring(V__TIME,'s__inhabits(V__AGENT,V__PLACE)'))
)

Mid-level-ontology.kif 22574-22583
( ! [V__AGENT,V__ORG,V__POSITION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__ORG,s__Organization) &
       s__instance(V__POSITION,s__Position) &
       s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
=>
s__attribute(V__AGENT,s__MemberFn(V__ORG)))
)

Government.kif 1749-1755
( ! [V__AGENT,V__ORG,V__POSITION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__ORG,s__Organization) &
       s__instance(V__POSITION,s__Position) &
       s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
=>
s__member(V__AGENT,V__ORG))
)

Government.kif 1757-1763
( ! [V__AS,V__CUST,V__H,V__ROOM] :
   ((s__instance(V__AS,s__AccommodationService) &
       s__serviceRecipient(V__AS,V__CUST)
     &
     s__serviceProvider(V__AS,V__H)
   &
   s__serviceInstrument(V__AS,V__ROOM)
&
s__instance(V__CUST,s__Human) &
s__instance(V__ROOM,s__HotelRoom) &
s__instance(V__H,s__Hotel_Organization))
=>
(? [V__RATE,V__PS] :
(s__instance(V__PS,s__PricingScheme) &
   s__rentalPrice(V__ROOM,V__RATE,V__H,V__PS)
&
s__rents(V__CUST,V__H,V__ROOM,s__MeasureFn(1,s__DayDuration)))))
)

TravelPolicies.kif 1135-1148
( ! [V__AWARD,V__PERSON,V__SCHOOL] :
   ((s__instance(V__AWARD,s__AwardingADegree) &
       s__instance(V__PERSON,s__Human) &
       s__instance(V__SCHOOL,s__PostSecondarySchool) &
       s__patient(V__AWARD,V__PERSON)
     &
     s__agent(V__AWARD,V__SCHOOL))
=>
(s__holdsDuring(s__BeginFn(s__WhenFn(V__AWARD))
,'s__attribute(V__PERSON,s__Student)')
&
s__holdsDuring(s__EndFn(s__WhenFn(V__AWARD))
,'s__possesses(V__PERSON,s__AcademicDegree)')
&
(s__WhenFn(V__AWARD)
= s__Graduation)))
)

LinkedInDegrees.kif 37-53
( ! [V__CHILD,V__TIME] :
   ((s__instance(V__CHILD,s__Human) &
       s__holdsDuring(V__TIME,'s__attribute(V__CHILD,s__NonFullyFormed)'))
   =>
   s__holdsDuring(V__TIME,'s__instance(V__CHILD,s__HumanYouth)'))
)

Mid-level-ontology.kif 438-444
( ! [V__CONFINE,V__PERSON] :
   ((s__instance(V__CONFINE,s__Confining) &
       s__patient(V__CONFINE,V__PERSON)
     &
     s__instance(V__PERSON,s__Human))
   =>
   (~ s__desires(V__PERSON,'s__patient(V__CONFINE,V__PERSON)')))
)

Merge.kif 12002-12007
( ! [V__EXPERIMENT,V__SUBJECT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__SUBJECT,s__Human) &
       s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
   =>
   (? [V__PROCESS] :
     (s__instance(V__PROCESS,s__Process) &
       s__experiencer(V__PROCESS,V__SUBJECT)
     &
     (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
     |
     s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))
)

UXExperimentalTerms.kif 4119-4130
( ! [V__F,V__P,V__I,V__E,V__LOC] :
   ((s__instance(V__F,s__MilitaryForce) &
       s__instance(V__P,s__Human) &
       s__instance(V__I,s__Imprisoning) &
       s__member(V__P,V__F)
     &
     s__agent(V__I,V__E)
   &
   s__patient(V__I,V__P)
&
s__enemy(V__E,V__P)
&
s__eventLocated(V__I,V__LOC)
&
s__attribute(V__LOC,s__WarState))
=>
s__attribute(V__P,s__PrisonerOfWar))
)

MilitaryPersons.kif 285-296
( ! [V__H] :
   ((s__instance(V__H,s__Human) &
       s__attribute(V__H,s__Fever))
     =>
     (? [V__N] :
       (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree))
       &
       greater(V__N,98.6))))
)

Mid-level-ontology.kif 6036-6044
( ! [V__H,V__T1,V__N] :
   ((s__instance(V__H,s__Human) &
       s__holdsDuring(V__T1,'s__age(V__H,s__MeasureFn(V__N,s__YearDuration))')
     &
     greater(V__N,12)
     &
     less(V__N,20))
   =>
   s__holdsDuring(V__T1,'s__instance(V__H,s__Teenager)'))
)

Mid-level-ontology.kif 492-498
( ! [V__H,V__T1,V__N] :
   ((s__instance(V__H,s__Human) &
       s__holdsDuring(V__T1,'s__age(V__H,s__MeasureFn(V__N,s__YearDuration))')
     &
     greatereq(V__N,18))
   =>
   s__holdsDuring(V__T1,'s__instance(V__H,s__HumanAdult)'))
)

Mid-level-ontology.kif 358-364
( ! [V__H,V__T1,V__N] :
   ((s__instance(V__H,s__Human) &
       s__holdsDuring(V__T1,'s__age(V__H,s__MeasureFn(V__N,s__YearDuration))')
     &
     less(V__N,18))
   =>
   s__holdsDuring(V__T1,'s__instance(V__H,s__HumanYouth)'))
)

Mid-level-ontology.kif 419-424
( ! [V__H,V__T1,V__N] :
   ((s__instance(V__H,s__Human) &
       s__holdsDuring(V__T1,'s__age(V__H,s__MeasureFn(V__N,s__YearDuration))')
     &
     lesseq(V__N,1))
   =>
   s__holdsDuring(V__T1,'s__instance(V__H,s__HumanBaby)'))
)

Mid-level-ontology.kif 554-559
( ! [V__H,V__T1,V__N] :
   ((s__instance(V__H,s__Human) &
       s__holdsDuring(V__T1,'s__age(V__H,s__MeasureFn(V__N,s__YearDuration))')
     &
     lesseq(V__N,14))
   =>
   s__holdsDuring(V__T1,'s__instance(V__H,s__HumanChild)'))
)

Mid-level-ontology.kif 463-468
( ! [V__H,V__A,V__FIELDOFSTUDY,V__SCHOOL] :
   ((s__instance(V__H,s__Human) &
       s__instance(V__A,s__AwardingADegree) &
       s__patient(V__A,s__HonoraryDegreeFn(V__FIELDOFSTUDY,V__SCHOOL))
   &
   s__agent(V__A,V__SCHOOL))
=>
s__modalAttribute('(s__HonoraryDegreeFn(V__FIELDOFSTUDY,V__SCHOOL) = s__HonoraryDoctorateDegreeFn(V__FIELDOFSTUDY,V__SCHOOL))',s__Likely))
)

LinkedInDegrees.kif 132-140
( ! [V__H,V__A,V__FIELDOFSTUDY,V__SCHOOL,V__S] :
   ((s__instance(V__H,s__Human) &
       s__instance(V__A,s__AwardingADegree) &
       s__patient(V__A,s__HonoraryDegreeFn(V__FIELDOFSTUDY,V__SCHOOL))
   &
   s__destination(V__A,V__H)
&
s__agent(V__A,V__SCHOOL)
&
(? [V__INTERVAL] :
s__instance(V__INTERVAL,s__TimeInterval)))
=>
((~ s__modalAttribute('s__holdsDuring(V__INTERVAL,s__attends(V__S,V__SCHOOL))',s__Necessity))
&
s__modalAttribute('s__attribute(V__H,s__Student)',s__Unlikely)))
)

LinkedInDegrees.kif 115-129
( ! [V__H,V__B,V__O] :
   ((s__instance(V__H,s__Human) &
       s__occupiesPosition(V__H,V__B,V__O)
     &
     s__attribute(V__B,s__Banker))
   =>
   s__instance(V__O,s__Bank_FinancialOrganization))
)

FinancialOntology.kif 3544-3549
( ! [V__H1,V__H2,V__FIELDOFSTUDY1,V__FIELDOFSTUDY2] :
   ((s__instance(V__H1,s__Human) &
       s__instance(V__H2,s__Human) &
       s__hasExpertise(V__H1,V__FIELDOFSTUDY1)
     &
     s__hasExpertise(V__H2,V__FIELDOFSTUDY2)
   &
   (V__FIELDOFSTUDY1 = V__FIELDOFSTUDY2))
=>
s__colleague(V__H1,V__H2))
)

LinkedInDegrees.kif 428-435
( ! [V__IMPRISON,V__AGENT,V__INTERVAL] :
   ((s__instance(V__IMPRISON,s__Imprisoning) &
       s__detainee(V__IMPRISON,V__AGENT)
     &
     s__instance(V__AGENT,s__Human) &
     s__time(V__IMPRISON,V__INTERVAL)
   &
   s__instance(V__INTERVAL,s__TimeInterval))
=>
(? [V__ARREST,V__TIME] :
   (s__instance(V__TIME,s__TimeInterval) &
     s__time(V__ARREST,V__TIME)
   &
   s__earlier(V__TIME,V__INTERVAL)
&
s__instance(V__ARREST,s__PlacingUnderArrest) &
s__arrested(V__ARREST,V__AGENT))))
)

Mid-level-ontology.kif 21032-21045

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AREA,V__YEAR,V__REALNUMBER,V__THOUSANDS,V__BIRTHCOUNT,V__BIRTH,V__INFANT] :
   ((s__BirthsPerThousandFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
((divide(s__PopulationFn(V__AREA)
    ,1000)
   = V__THOUSANDS)
&
(V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INFANT) & s__instance(V__INFANT,s__Human) & s__during(s__WhenFn(V__BIRTH),s__YearFn(V__YEAR)) & (s__WhereFn(V__BIRTH,s__WhenFn(V__BIRTH)) = V__AREA))')))
&
(divide(V__BIRTHCOUNT,V__THOUSANDS)
= V__REALNUMBER)))
)

People.kif 104-117 The births per thousand of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if the population of ?AREA and 1000 is equal to ?THOUSANDS and ?BIRTHCOUNT is equal to the number of instances in the class described by ?BIRTH and ?BIRTHCOUNT and ?THOUSANDS is equal to ?REALNUMBER
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__THOUSANDS,V__DEATHCOUNT,V__DEATH,V__PERSON] :
   ((s__DeathsPerThousandFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
((divide(s__PopulationFn(V__AREA)
    ,1000)
   = V__THOUSANDS)
&
(V__DEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH,'(s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__PERSON) & s__instance(V__PERSON,s__Human) & s__during(s__WhenFn(V__DEATH),s__YearFn(V__YEAR)) & (s__WhereFn(V__DEATH,s__WhenFn(V__DEATH)) = V__AREA))')))
&
(divide(V__DEATHCOUNT,V__THOUSANDS)
= V__REALNUMBER)))
)

People.kif 138-151 The deaths per thousand of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if the population of ?AREA and 1000 is equal to ?THOUSANDS and ?DEATHCOUNT is equal to the number of instances in the class described by ?DEATH and ?DEATHCOUNT and ?THOUSANDS is equal to ?REALNUMBER
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__BIRTHCOUNT,V__BIRTH,V__INFANT,V__THOUSANDSOFBIRTHS,V__INFANTDEATHCOUNT,V__DEATH,V__AGE] :
   ((s__DeathsPerThousandLiveBirthsFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
((V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INFANT) & s__instance(V__INFANT,s__Human) & s__during(s__WhenFn(V__BIRTH),s__YearFn(V__YEAR)) & (s__WhereFn(V__BIRTH,s__WhenFn(V__BIRTH)) = V__AREA))')))
&
(divide(V__BIRTHCOUNT,1000)
= V__THOUSANDSOFBIRTHS)
&
(V__INFANTDEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH,'(s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__INFANT) & s__instance(V__INFANT,s__Human) & s__age(V__INFANT,s__MeasureFn(V__AGE,s__YearDuration)) & less(V__AGE,1) & s__during(s__WhenFn(V__DEATH),s__YearFn(V__YEAR)) & (s__WhereFn(V__DEATH,s__WhenFn(V__DEATH)) = V__AREA))')))
&
(divide(V__INFANTDEATHCOUNT,V__THOUSANDSOFBIRTHS)
= V__REALNUMBER)))
)

People.kif 253-277 The deaths per thousand live births of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if ?BIRTHCOUNT is equal to the number of instances in the class described by ?BIRTH and ?BIRTHCOUNT and 1000 is equal to ?THOUSANDSOFBIRTHS and ?INFANTDEATHCOUNT is equal to the number of instances in the class described by ?DEATH and ?INFANTDEATHCOUNT and ?THOUSANDSOFBIRTHS is equal to ?REALNUMBER
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__COUNT,V__LIFEEXPECTANCYAGE,V__BIRTH,V__INDIVIDUAL,V__DEATH] :
   ((s__FemaleLifeExpectancyAtBirthFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
(? [V__LIST] :
   (s__instance(V__LIST,s__List) &
     s__instance(s__ListLengthFn(V__LIST)
  ,V__COUNT)
&
(! [V__LISTITEM] :
   (s__inList(V__LISTITEM,V__LIST)
   =>
   (s__instance(V__LISTITEM,V__LIFEEXPECTANCYAGE)
   &
   (~ (? [V__NUMBER] :
       (s__instance(V__NUMBER,V__LIFEEXPECTANCYAGE)
       &
       (~ s__inList(V__NUMBER,V__LIST)))))
&
(V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INDIVIDUAL) & s__instance(V__INDIVIDUAL,s__Human) & s__attribute(V__INDIVIDUAL,s__Female) & s__during(s__WhenFn(V__BIRTH),s__YearFn(V__YEAR)) & (s__WhereFn(V__BIRTH,s__WhenFn(V__BIRTH)) = V__AREA) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH),s__age(V__INDIVIDUAL,s__MeasureFn(V__LIFEEXPECTANCYAGE,s__YearDuration))))'))))))
&
s__average(V__LIST,V__REALNUMBER))))
)

People.kif 411-442 The female life expectancy at birth of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if there exists ?LIST such that ?LIST is an instance of list and length of ?LIST is an instance of ?COUNT and for all ?LISTITEM
  • if ?LISTITEM is a member of ?LIST,
  • then ?LISTITEM is an instance of ?LIFEEXPECTANCYAGE and there doesn't exist ?NUMBER such that ?NUMBER is an instance of ?LIFEEXPECTANCYAGE and ?NUMBER is not a member of ?LIST and ?COUNT is equal to the number of instances in the class described by ?LIFEEXPECTANCYAGE
and ?REALNUMBER is an average of ?LIST
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__COUNT,V__LIFEEXPECTANCYAGE,V__BIRTH,V__INDIVIDUAL,V__DEATH] :
   ((s__LifeExpectancyAtBirthFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
(? [V__LIST] :
   (s__instance(V__LIST,s__List) &
     s__instance(s__ListLengthFn(V__LIST)
  ,V__COUNT)
&
(! [V__LISTITEM] :
   (s__inList(V__LISTITEM,V__LIST)
   =>
   (s__instance(V__LISTITEM,V__LIFEEXPECTANCYAGE)
   &
   (~ (? [V__NUMBER] :
       (s__instance(V__NUMBER,V__LIFEEXPECTANCYAGE)
       &
       (~ s__inList(V__NUMBER,V__LIST)))))
&
(V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INDIVIDUAL) & s__instance(V__INDIVIDUAL,s__Human) & s__during(s__WhenFn(V__BIRTH),s__YearFn(V__YEAR)) & (s__WhereFn(V__BIRTH,s__WhenFn(V__BIRTH)) = V__AREA) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH),s__age(V__INDIVIDUAL,s__MeasureFn(V__LIFEEXPECTANCYAGE,s__YearDuration))))'))))))
&
s__average(V__LIST,V__REALNUMBER))))
)

People.kif 323-353 The life expectancy at birth of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if there exists ?LIST such that ?LIST is an instance of list and length of ?LIST is an instance of ?COUNT and for all ?LISTITEM
  • if ?LISTITEM is a member of ?LIST,
  • then ?LISTITEM is an instance of ?LIFEEXPECTANCYAGE and there doesn't exist ?NUMBER such that ?NUMBER is an instance of ?LIFEEXPECTANCYAGE and ?NUMBER is not a member of ?LIST and ?COUNT is equal to the number of instances in the class described by ?LIFEEXPECTANCYAGE
and ?REALNUMBER is an average of ?LIST
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__COUNT,V__LIFEEXPECTANCYAGE,V__BIRTH,V__INDIVIDUAL,V__DEATH] :
   ((s__MaleLifeExpectancyAtBirthFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
(? [V__LIST] :
   (s__instance(V__LIST,s__List) &
     s__instance(s__ListLengthFn(V__LIST)
  ,V__COUNT)
&
(! [V__LISTITEM] :
   (s__inList(V__LISTITEM,V__LIST)
   =>
   (s__instance(V__LISTITEM,V__LIFEEXPECTANCYAGE)
   &
   (~ (? [V__NUMBER] :
       (s__instance(V__NUMBER,V__LIFEEXPECTANCYAGE)
       &
       (~ s__inList(V__NUMBER,V__LIST)))))
&
(V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INDIVIDUAL) & s__instance(V__INDIVIDUAL,s__Human) & s__attribute(V__INDIVIDUAL,s__Male) & s__during(s__WhenFn(V__BIRTH),s__YearFn(V__YEAR)) & (s__WhereFn(V__BIRTH,s__WhenFn(V__BIRTH)) = V__AREA) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH),s__age(V__INDIVIDUAL,s__MeasureFn(V__LIFEEXPECTANCYAGE,s__YearDuration))))'))))))
&
s__average(V__LIST,V__REALNUMBER))))
)

People.kif 367-398 The male life expectancy at birth of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if there exists ?LIST such that ?LIST is an instance of list and length of ?LIST is an instance of ?COUNT and for all ?LISTITEM
  • if ?LISTITEM is a member of ?LIST,
  • then ?LISTITEM is an instance of ?LIFEEXPECTANCYAGE and there doesn't exist ?NUMBER such that ?NUMBER is an instance of ?LIFEEXPECTANCYAGE and ?NUMBER is not a member of ?LIST and ?COUNT is equal to the number of instances in the class described by ?LIFEEXPECTANCYAGE
and ?REALNUMBER is an average of ?LIST
( ! [V__AREA,V__REALNUMBER,V__MALECOUNT,V__MALE,V__FEMALECOUNT,V__FEMALE] :
   ((s__MaleToFemaleRatioFn(V__AREA)
     = V__REALNUMBER)
   <=>
   ((V__MALECOUNT = s__CardinalityFn(s__KappaFn(V__MALE,'(s__instance(V__MALE,s__Human) & s__attribute(V__MALE,s__Male) & s__inhabits(V__MALE,V__AREA))')))
&
(V__FEMALECOUNT = s__CardinalityFn(s__KappaFn(V__FEMALE,'(s__instance(V__FEMALE,s__Human) & s__attribute(V__FEMALE,s__Female) & s__inhabits(V__FEMALE,V__AREA))')))
&
(divide(V__MALECOUNT,V__FEMALECOUNT)
= V__REALNUMBER)))
)

People.kif 221-238 The male to female ratio of ?AREA is equal to ?REALNUMBER if and only if ?MALECOUNT is equal to the number of instances in the class described by ?MALE and ?FEMALECOUNT is equal to the number of instances in the class described by ?FEMALE and ?MALECOUNT and ?FEMALECOUNT is equal to ?REALNUMBER
( ! [V__AREA,V__YEAR,V__REALNUMBER,V__PREVIOUSYEAR,V__POPULATION,V__THOUSANDS,V__IMMIGRATION,V__PERSON,V__EMMIGRATION,V__MIGRATIONCOUNT] :
   ((s__MigrantsPerThousandFn(V__AREA,s__YearFn(V__YEAR))
   = V__REALNUMBER)
<=>
((minus(V__YEAR,V__PREVIOUSYEAR)
     = 1)
   &
   s__holdsDuring(s__YearFn(V__YEAR)
,'(s__PopulationFn(V__AREA) = V__POPULATION)')
&
(divide(V__POPULATION,1000)
= V__THOUSANDS)
&
(V__IMMIGRATION = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__holdsDuring(s__YearFn(V__PREVIOUSYEAR),(~ s__inhabits(V__PERSON,V__AREA))) & s__holdsDuring(s__YearFn(V__YEAR),s__inhabits(V__PERSON,V__AREA)))')))
&
(V__EMMIGRATION = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__holdsDuring(s__YearFn(V__PREVIOUSYEAR),s__inhabits(V__PERSON,V__AREA)) & s__holdsDuring(s__YearFn(V__YEAR),(~ s__inhabits(V__PERSON,V__AREA))))')))
&
(minus(V__IMMIGRATION,V__EMMIGRATION)
= V__MIGRATIONCOUNT)
&
(divide(V__MIGRATIONCOUNT,V__THOUSANDS)
= V__REALNUMBER)))
)

People.kif 174-202 The migrants per thousand of ?AREA and the year ?YEAR is equal to ?REALNUMBER if and only if (?YEAR and ?PREVIOUSYEAR) is equal to 1 and the population of ?AREA is equal to ?POPULATION holds during the year ?YEAR and ?POPULATION and 1000 is equal to ?THOUSANDS and ?IMMIGRATION is equal to the number of instances in the class described by ?PERSON and ?EMMIGRATION is equal to the number of instances in the class described by ?PERSON and (?IMMIGRATION and ?EMMIGRATION) is equal to ?MIGRATIONCOUNT and ?MIGRATIONCOUNT and ?THOUSANDS is equal to ?REALNUMBER
( ! [V__C,V__P,V__P2] :
   ((s__attribute(V__C,s__Collectible) &
       s__hasPurpose(V__C,V__P))
   =>
   (? [V__H] :
     (s__instance(V__H,s__Human) &
       s__wants(V__H,V__C)
     &
     s__desires(V__H,V__P2)
   &
   s__entails(V__P2,'s__possesses(V__H,V__C)')
&
(~ (V__P = V__P2)))))
)

Mid-level-ontology.kif 27236-27248
( ! [V__I] :
   ((s__attribute(V__I,s__Inhabited) &
       s__instance(V__I,s__Region))
     =>
     (? [V__H] :
       (s__instance(V__H,s__Human) &
         s__inhabits(V__H,V__I))))
)

Mid-level-ontology.kif 27837-27844
( ! [V__PERSON,V__ATTRIBUTE] :
   ((s__attribute(V__PERSON,V__ATTRIBUTE)
     &
     s__instance(V__ATTRIBUTE,s__SocialRole))
   =>
   s__instance(V__PERSON,s__Human))
)

Merge.kif 17455-17459
( ! [V__U] :
   ((s__attribute(V__U,s__Uninhabited) &
       s__instance(V__U,s__Region))
     =>
     (~ (? [V__H] :
         (s__instance(V__H,s__Human) &
           s__inhabits(V__H,V__U)))))
)

Mid-level-ontology.kif 27821-27829
( ! [V__X,V__REST,V__CUST,V__TABLE,V__KITCHEN,V__DINING,V__C,V__FOOD] :
   ((s__attribute(V__X,s__Waiter) &
       s__instance(V__X,s__Human) &
       s__employs(V__REST,V__X)
     &
     s__instance(V__REST,s__Restaurant) &
     s__customer(V__CUST,V__REST)
   &
   s__located(V__CUST,V__TABLE)
&
s__instance(V__TABLE,s__Table))
=>
(s__possesses(V__REST,V__KITCHEN)
&
s__instance(V__KITCHEN,s__KitchenArea) &
s__instance(V__DINING,s__DiningArea) &
s__located(V__TABLE,V__DINING)
&
s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))')))
)

Mid-level-ontology.kif 17900-17921
( ! [V__ORG,V__BUSINESS,V__MEMBER] :
   ((s__businessUnit(V__ORG,V__BUSINESS)
     &
     s__member(V__MEMBER,V__ORG))
=>
s__instance(V__MEMBER,s__Human))
)

UXExperimentalTerms.kif 2787-2791
( ! [V__COUNTRY1,V__ROLE,V__COUNTRY2] :
   ((s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
     &
     s__subAttribute(V__ROLE,s__DiplomaticAgent))
   =>
   (? [V__PERSON] :
     (s__instance(V__PERSON,s__Human) &
       s__citizen(V__PERSON,V__COUNTRY1)
     &
     s__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2))))
)

Government.kif 4519-4527
( ! [V__A,V__FIELDOFSTUDY,V__SCHOOL,V__H] :
   ((s__instance(V__A,s__AwardingADegree) &
       s__patient(V__A,s__DegreeFn(V__FIELDOFSTUDY,V__SCHOOL)))
=>
(s__instance(V__H,s__Human) &
   s__agent(V__A,V__SCHOOL)
&
s__destination(V__A,V__H)))
)

LinkedInDegrees.kif 86-93
( ! [V__B,V__H] :
   ((s__instance(V__B,s__Baptizing) &
       s__patient(V__B,V__H))
   =>
   s__instance(V__H,s__Human))
)

Mid-level-ontology.kif 7688-7692
( ! [V__D,V__A] :
   ((s__instance(V__D,s__Demonstration) &
       s__agent(V__D,V__A))
   =>
   (s__instance(V__A,s__Human) |
     s__instance(V__A,s__GroupOfPeople)))
)

MilitaryProcesses.kif 2630-2636
( ! [V__EV,V__H] :
   ((s__instance(V__EV,s__Evacuation) &
       s__experiencer(V__EV,V__H))
   =>
   s__instance(V__H,s__Human))
)

MilitaryProcesses.kif 2501-2505
( ! [V__GROUP,V__MEMBER] :
   ((s__instance(V__GROUP,s__GroupOfPeople) &
       s__member(V__MEMBER,V__GROUP))
   =>
   s__instance(V__MEMBER,s__Human))
)

Merge.kif 16316-16320
( ! [V__I,V__A] :
   ((s__instance(V__I,s__Immigrating) &
       s__agent(V__I,V__A))
   =>
   s__instance(V__A,s__Human))
)

Mid-level-ontology.kif 14670-14674
( ! [V__INTERVAL,V__SITE,V__INSTERVAL_DURING] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__instance(V__SITE,s__WebSite))
     =>
     (? [V__NEWREGISTRATIONS] :
       (s__instance(V__NEWREGISTRATIONS,s__Collection) &
         (! [V__USER] :
           ((s__instance(V__USER,s__Human) &
               (~ (? [V__INTERVAL_BEFORE] :
                   (s__instance(V__INTERVAL_BEFORE,s__TimeInterval) &
                     s__earlier(V__INTERVAL_BEFORE,V__INTERVAL)
                   &
                   s__holdsDuring(V__INTERVAL_BEFORE,'s__registeredUser(V__USER,V__SITE)'))))
           &
           (? [V__INTERVAL_DURING] :
             (s__instance(V__INSTERVAL_DURING,s__TimeInterval) &
               s__during(V__INTERVAL_DURING,V__INTERVAL)
             &
             s__holdsDuring(V__INTERVAL,'s__registeredUser(V__USER,V__SITE)'))))
     =>
     s__member(V__USER,V__NEWREGISTRATIONS)))
&
(V__NEWREGISTRATIONS = s__SiteWideNewRegistrationsFn(V__INTERVAL,V__SITE)))))
)

UXExperimentalTerms.kif 3624-3651
( ! [V__ITEM,V__LISTING,V__OWNER] :
   ((s__instance(V__ITEM,s__Object) &
       s__instance(V__LISTING,s__WebListing) &
       s__instance(V__OWNER,s__Agent) &
       s__attribute(V__LISTING,s__ForSaleByOwner) &
       s__possesses(V__OWNER,V__ITEM))
   =>
   s__instance(V__OWNER,s__Human))
)

UXExperimentalTerms.kif 472-479
( ! [V__LANG,V__PROC,V__AGENT] :
   ((s__instance(V__LANG,s__AnimalLanguage) &
       s__agent(V__PROC,V__AGENT)
     &
     s__instrument(V__PROC,V__LANG))
=>
(s__instance(V__AGENT,s__Animal) &
   (~ s__instance(V__AGENT,s__Human))))
)

Merge.kif 1435-1442
( ! [V__LANG,V__PROC,V__AGENT] :
   ((s__instance(V__LANG,s__HumanLanguage) &
       s__agent(V__PROC,V__AGENT)
     &
     s__instrument(V__PROC,V__LANG))
=>
s__instance(V__AGENT,s__Human))
)

Merge.kif 1470-1475

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AREA,V__PERSON,V__MILITARYAGE,V__AGE] :
   (s__AvailableForMilitaryServiceMaleFn(V__AREA)
   = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__attribute(V__PERSON,s__Male) & s__militaryAge(V__AREA,V__MILITARYAGE) & s__age(V__PERSON,V__AGE) & greatereq(V__AGE,V__MILITARYAGE) & s__inhabits(V__PERSON,V__AREA))')))
)

Military.kif 867-876 The available for military service male of ?AREA is equal to the number of instances in the class described by ?PERSON
( ! [V__AREA,V__YEAR,V__INFANT,V__BIRTH,V__WOMAN] :
   (s__ChildrenBornPerWomanFn(V__AREA,s__YearFn(V__YEAR))
= s__CardinalityFn(s__KappaFn(V__INFANT,'(s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__INFANT) & s__agent(V__BIRTH,V__WOMAN) & s__instance(V__WOMAN,s__Human) & s__attribute(V__WOMAN,s__Female) & s__holdsDuring(s__YearFn(V__YEAR),s__inhabits(V__WOMAN,V__AREA)))')))
)

People.kif 462-472 The children born per woman of ?AREA and the year ?YEAR is equal to the number of instances in the class described by ?INFANT
( ! [V__AREA,V__PERSON,V__PROCESS,V__MILITARYAGE,V__AGE] :
   (s__FitForMilitaryServiceMaleFn(V__AREA)
   = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__attribute(V__PERSON,s__Male) & s__instance(V__PROCESS,s__MilitaryProcess) & s__fitForMilitaryService(V__PERSON,V__PROCESS) & s__militaryAge(V__AREA,V__MILITARYAGE) & s__age(V__PERSON,V__AGE) & greatereq(V__AGE,V__MILITARYAGE) & s__inhabits(V__PERSON,V__AREA))')))
)

Military.kif 890-901 The fit for military service male of ?AREA is equal to the number of instances in the class described by ?PERSON
( ! [V__AREA,V__PERSON] :
   (s__PopulationFn(V__AREA)
   = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__inhabits(V__PERSON,V__AREA))')))
)

People.kif 49-54 The population of ?AREA is equal to the number of instances in the class described by ?PERSON
( ! [V__AREA,V__YEAR,V__PERSON,V__MILITARYAGE,V__AGEMINUSONE,V__AGE] :
   (s__ReachingMilitaryAgeAnnuallyMaleFn(V__AREA,V__YEAR)
   = s__CardinalityFn(s__KappaFn(V__PERSON,'(s__instance(V__PERSON,s__Human) & s__attribute(V__PERSON,s__Male) & s__militaryAge(V__AREA,V__MILITARYAGE) & (V__AGEMINUSONE = minus(V__AGE,1)) & s__holdsDuring(V__YEAR,(s__age(V__PERSON,V__AGEMINUSONE) | s__age(V__PERSON,V__AGE))) & (V__AGE = V__MILITARYAGE) & s__inhabits(V__PERSON,V__AREA))')))
)

Military.kif 928-941 The reaching military age annually male of ?AREA and ?YEAR is equal to the number of instances in the class described by ?PERSON
(s__Food = s__FoodForFn(s__Human))

Merge.kif 14876-14876 Food is equal to food for human


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners