TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Human ChineseLanguage "这是现代人，人属唯一剩下的品种。")	chinese_format.kif 3438-3438
(documentation Human EnglishLanguage "Modern man, the only remaining species of the Homo genus.")	Merge.kif 14378-14379
(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/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg")	pictureList.kif 3118-3118
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg")	pictureList.kif 3117-3117
(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
(partition Human Man Woman)	Merge.kif 14377-14377	partition Human, Man and Woman
(subclass Human CognitiveAgent)	Merge.kif 14376-14376	subclass Human and CognitiveAgent
(subclass Human Hominid)	Merge.kif 14375-14375	subclass Human and Hominid

appearance as argument number 2

(biologicalAgentCarrier BordetellaPertussis Human)	WMD.kif 1577-1577	biologicalAgentCarrier BordetellaPertussis and Human
(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 19341-19341	disjoint DomesticAnimal and Human
(disjoint Organization Human)	Media.kif 35-35	disjoint Organization and Human
(initialPart VocalCords Human)	Mid-level-ontology.kif 754-754	initialPart VocalCords and Human
(instance SteveJobsOfApple Human)	ComputingBrands.kif 2415-2415	instance スティーブ・ジョブズ氏 and Human
(instance SteveWozniakOfApple Human)	ComputingBrands.kif 2427-2427	instance スティーブ・ウｵズニアック氏 and Human
(instance TimCookOfApple Human)	ComputingBrands.kif 2403-2403	instance ティム・クック氏 and Human
(subclass HumanAdult Human)	Mid-level-ontology.kif 178-178	subclass HumanAdult and Human
(subclass HumanYouth Human)	Mid-level-ontology.kif 241-241	subclass HumanYouth and Human
(subclass Man Human)	Merge.kif 14381-14381	subclass Man and Human
(subclass Teenager Human)	Mid-level-ontology.kif 313-313	subclass Teenager and Human
(subclass Woman Human)	Merge.kif 14388-14388	subclass Woman and Human
(termFormat ChineseLanguage Human "人类")	chinese_format.kif 1002-1002
(termFormat EnglishLanguage Human "human")	english_format.kif 1216-1216
(typicalPart VocalCords Human)	Mid-level-ontology.kif 752-752	typicalPart VocalCords and Human
(typicallyContainsPart VocalCords Human)	Mid-level-ontology.kif 753-753	typicallyContainsPart VocalCords and Human

appearance as argument number 3

(domain DescendantsFn 1 Human)	Mid-level-ontology.kif 7137-7137	domain DescendantsFn, 1 and Human
(domain ImmediateFamilyFn 1 Human)	Merge.kif 16003-16003	domain ImmediateFamilyFn, 1 and Human
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4373-4373	domain QPViewsFn, 1 and Human
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4438-4438	domain QualifiedTreatmentsFn, 1 and Human
(domain acquaintance 1 Human)	Merge.kif 16259-16259	domain acquaintance, 1 and Human
(domain acquaintance 2 Human)	Merge.kif 16260-16260	domain acquaintance, 2 and Human
(domain actedIn 1 Human)	Mid-level-ontology.kif 20063-20063	domain actedIn, 1 and Human
(domain allergic 1 Human)	Mid-level-ontology.kif 5904-5904	domain allergic, 1 and Human
(domain almaMater 1 Human)	Mid-level-ontology.kif 16267-16267	domain almaMater, 1 and Human
(domain attends 2 Human)	Merge.kif 12841-12841	domain attends, 2 and Human
(domain attorney 2 Human)	Law.kif 490-490	domain attorney, 2 and Human
(domain aunt 2 Human)	Mid-level-ontology.kif 22465-22465	domain aunt, 2 and Human
(domain baptismdate 1 Human)	Biography.kif 64-64	domain baptismdate, 1 and Human
(domain baptismplace 1 Human)	Biography.kif 77-77	domain baptismplace, 1 and Human
(domain birthdate 1 Human)	Mid-level-ontology.kif 23624-23624	domain birthdate, 1 and Human
(domain birthday 1 Human)	Mid-level-ontology.kif 23601-23601	domain birthday, 1 and Human
(domain brother 2 Human)	Merge.kif 16222-16222	domain brother, 2 and Human
(domain chiefOfDiplomaticMission 2 Human)	Government.kif 4425-4425	domain chiefOfDiplomaticMission, 2 and Human
(domain chiefOfState 3 Human)	Government.kif 1539-1539	domain chiefOfState, 3 and Human
(domain citizen 1 Human)	Merge.kif 16470-16470	domain citizen, 1 and Human
(domain classmate 1 Human)	Mid-level-ontology.kif 16230-16230	domain classmate, 1 and Human
(domain classmate 2 Human)	Mid-level-ontology.kif 16231-16231	domain classmate, 2 and Human
(domain coaches 1 Human)	Sports.kif 467-467	domain coaches, 1 and Human
(domain coaches 2 Human)	Sports.kif 468-468	domain coaches, 2 and Human
(domain cohabitant 1 Human)	Mid-level-ontology.kif 22406-22406	domain cohabitant, 1 and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 16994-17002	holdsDuring TimePosition and instance entity and Human entity employs entity and entity holdsDuring TimePosition and attribute entity and Unemployed
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 19919-19940	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) (earlier ?T1 ?T2)) (confersNorm (relative ?MONARCH ?SUCCESSOR) (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))	Government.kif 209-221	governmentType Agent and Monarchy instance Entity and Human instance Entity and Human holdsDuring TimeInterval and chiefOfState Agent, entity and Entity holdsDuring TimeInterval and chiefOfState Agent, entity and Entity earlier TimeInterval and TimeInterval confersNorm relative Entity and Entity, chiefOfState Agent, entity and Entity and Legal
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7238-7245	holdsDuring TimePosition and member Entity and Entity instance Entity and Human instance Entity and GroupOfPeople holdsDuring TimePosition and groupMember Entity and Entity
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 24384-24393	instance Entity and Human holdsDuring TimePosition and deviceTelecomNumber entity and entity telephoneNumber entity and Entity located entity and entity instance entity and Residence holdsDuring TimePosition and inhabits Entity and entity
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1774-1780	instance Object and Human instance Organization and Organization instance Position and Position attribute Object and MemberRoleFn Organization and Position attribute Object and MemberFn Organization
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1782-1788	instance Object and Human instance Organization and Organization instance Position and Position attribute Object and MemberRoleFn Organization and Position member Object and Organization
(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H)))	Mid-level-ontology.kif 12309-12315	instance Object and Breast instance SelfConnectedObject and Human part Object and SelfConnectedObject part Object and FrontFn SelfConnectedObject
(=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 279-285	instance Entity and Human holdsDuring TimePosition and attribute Entity and NonFullyFormed holdsDuring TimePosition and instance Entity and HumanYouth
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON))))	Merge.kif 11982-11987	instance Process and Confining patient Process and CognitiveAgent instance CognitiveAgent and Human desires CognitiveAgent and patient Process and CognitiveAgent
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?SUBJECT Human) (experimentalSubject ?EXPERIMENT ?SUBJECT)) (exists (?PROCESS) (and (instance ?PROCESS Process) (experiencer ?PROCESS ?SUBJECT) (or (experimentalControlProcess ?EXPERIMENT ?PROCESS) (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))	UXExperimentalTerms.kif 4130-4141	instance Experimenting and Experimenting instance Human and Human experimentalSubject Experimenting and Human Process instance Process and Process experiencer Process and Human experimentalControlProcess Experimenting and Process experimentalVariableProcess Experimenting and Process
(=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	instance Collection and MilitaryForce instance Agent and Human instance Process and Imprisoning member Agent and Collection agent Process and Agent patient Process and Agent enemy Agent and Agent eventLocated Process and Object attribute Object and WarState attribute Agent and PrisonerOfWar
(=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6))))	Mid-level-ontology.kif 5841-5849	instance Object and Human attribute Object and Fever RealNumber measure Object and MeasureFn RealNumber and FahrenheitDegree greaterThan RealNumber and 98.6
(=> (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 335-341	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn RealNumber and YearDuration greaterThan RealNumber and 12 lessThan RealNumber and 20 holdsDuring TimePosition and instance Entity and Teenager
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 212-218	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and 18 holdsDuring TimePosition and instance Entity and HumanAdult
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 262-267	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn RealNumber and YearDuration lessThan RealNumber and 18 holdsDuring TimePosition and instance Entity and HumanYouth
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby)))	Mid-level-ontology.kif 385-390	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and 1 holdsDuring TimePosition and instance Entity and HumanBaby
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild)))	Mid-level-ontology.kif 304-311	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and 14 holdsDuring TimePosition and instance Entity and HumanChild
(=> (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 22936-22949	instance Confining and Imprisoning detainee Confining and Animal instance Animal and Human time Confining and TimeInterval instance TimeInterval and TimeInterval PlacingUnderArrest TimeInterval instance TimeInterval and TimeInterval time PlacingUnderArrest and TimeInterval earlier TimeInterval and TimeInterval instance PlacingUnderArrest and PlacingUnderArrest arrested PlacingUnderArrest and Animal
(=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A ?KNOCK)))))	Mid-level-ontology.kif 25207-25219	instance Object and KnockLight instance Agent and Human attribute Agent and Deaf uses Object and Agent hasPurpose Object and entity entity instance entity and Impacting patient entity and entity instance entity and Door knows Agent and entity
(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 226-232	instance Entity and Human holdsDuring TimePosition and attribute Entity and FullyFormed holdsDuring TimePosition and instance Entity and HumanAdult
(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 21926-21931	instance Entity and MilitaryOrganization holdsDuring TimePosition and member Entity and Entity instance Entity and Human holdsDuring TimePosition and attribute Entity and MilitaryPerson
(=> (and (instance ?ORGANISM Human) (attribute ?ORGANISM Fever)) (exists (?NUMBER) (and (measure ?ORGANISM (MeasureFn ?NUMBER FahrenheitDegree)) (greaterThan ?NUMBER 98.6))))	WMD.kif 1104-1111	instance Object and Human attribute Object and Fever RealNumber measure Object and MeasureFn RealNumber and FahrenheitDegree greaterThan RealNumber and 98.6
(=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P))))	Justice.kif 87-96	instance Object and Human attribute Object and Criminal Entity Process instance Entity and CriminalAction instance Process and LegalConviction refers Process and Entity patient Process and Object
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT))	TransportDetail.kif 49-59	instance Physical and DisabledParking instance Agent and Human attribute Agent and Attribute instance Attribute and Disability hasPurposeForAgent Physical, playsRoleInEvent Physical, destination and entity playsRoleInEvent entity, patient and entity instance entity and TransportationDevice and Agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 372-405	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and Year equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (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) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 108-121	equal BirthsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 142-155	equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 257-281	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and RealNumber equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and RealNumber and RealNumber
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 418-449	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 327-357	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 225-242	equal MaleToFemaleRatioFn GeopoliticalArea and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Female inhabits SymbolicString and GeopoliticalArea equal DivisionFn Integer and Integer and RealNumber
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 178-206	equal MigrantsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal SubtractionFn Integer and RealNumber and 1 holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and RealNumber equal DivisionFn RealNumber and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn RealNumber and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn RealNumber and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and RealNumber equal DivisionFn RealNumber and RealNumber and RealNumber
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2)))))	Mid-level-ontology.kif 28895-28907	attribute Object and Collectible hasPurpose Object and Formula CognitiveAgent instance CognitiveAgent and Human wants CognitiveAgent and Object desires CognitiveAgent and Formula entails Formula and possesses CognitiveAgent and Object equal Formula and Formula
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 29498-29505	attribute Object and Inhabited instance Object and Region Organism instance Organism and Human inhabits Organism and Object
(=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human))	Merge.kif 16984-16988	attribute Object and Attribute instance Attribute and SocialRole instance Object and Human
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 29482-29490	attribute Object and Uninhabited instance Object and Region Organism instance Organism and Human inhabits Organism and Object
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 19919-19940	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2789-2793	businessUnit Organization and Business member Physical and Organization instance Physical and Human
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))	Government.kif 4562-4570	diplomaticRepresentationType Nation, Position and Agent subAttribute Position and DiplomaticAgent Human instance Human and Human citizen Human and Nation diplomaticRepresentativeInRole Nation, Human, Position and Agent
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human))	Mid-level-ontology.kif 7666-7670	instance Process and Baptizing patient Process and Entity instance Entity and Human
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2662-2668	instance Process and Demonstration agent Process and Agent instance Agent and Human instance Agent and GroupOfPeople
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2533-2537	instance Process and Evacuation experiencer Process and Agent instance Agent and Human
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 15956-15960	instance Collection and GroupOfPeople member Physical and Collection instance Physical and Human
(=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A)))))	Weather.kif 1578-1591	instance Process and HeavySurf instance Entity and WaterArea eventLocated Process and Entity Process Agent instance Process and Swimming instance Agent and Human agent Process and Agent eventLocated Process and Entity holdsDuring WhenFn Process and hazardous Process and Agent
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human))	Mid-level-ontology.kif 16787-16791	instance Process and Immigrating agent Process and Agent instance Agent and Human
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3636-3663	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Physical instance Physical and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Physical and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Physical and WebSite member Physical and Collection equal Collection and SiteWideNewRegistrationsFn TimeInterval and WebSite
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER Agent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human))	UXExperimentalTerms.kif 472-479	instance Object and Object instance Object and WebListing instance Agent and Agent attribute Object and ForSaleByOwner possesses Agent and Object instance Agent and Human
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1360-1367	instance Object and AnimalLanguage agent Process and Agent instrument Process and Object instance Agent and Animal instance Agent and Human
(=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human))	Merge.kif 1393-1398	instance Object and HumanLanguage agent Process and Agent instrument Process and Object instance Agent and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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 872-881	equal AvailableForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(equal (ChildrenBornPerWomanFn ?AREA (YearFn ?YEAR)) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring (YearFn ?YEAR) (inhabits ?WOMAN ?AREA))))))	People.kif 469-479	equal ChildrenBornPerWomanFn GeopoliticalArea and YearFn Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring YearFn Integer and inhabits entity and GeopoliticalArea
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	equal FitForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male instance entity and MilitaryProcess fitForMilitaryService SymbolicString and entity militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	People.kif 49-54	equal PopulationFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human inhabits SymbolicString and GeopoliticalArea
(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 933-946	equal ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity equal entity and SubtractionFn entity and 1 holdsDuring Year and age SymbolicString and entity age SymbolicString and entity equal entity and entity inhabits SymbolicString and GeopoliticalArea
(equal Food (FoodForFn Human))	Merge.kif 14602-14602	equal Food and FoodForFn Human

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: