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 14505-14506
(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 14504-14504	partition Human, Man and Woman
(subclass Human CognitiveAgent)	Merge.kif 14503-14503	subclass Human and CognitiveAgent
(subclass Human Hominid)	Merge.kif 14502-14502	subclass Human and Hominid

appearance as argument number 2

(biologicalAgentCarrier BordetellaPertussis Human)	WMD.kif 1586-1586	biologicalAgentCarrier BordetellaPertussis and Human
(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 19800-19800	disjoint DomesticAnimal and Human
(disjoint Organization Human)	Media.kif 35-35	disjoint Organization and Human
(initialPart VocalCords Human)	Mid-level-ontology.kif 760-760	initialPart VocalCords and Human
(instance SteveJobsOfApple Human)	ComputingBrands.kif 2447-2447	instance スティーブ・ジョブズ氏 and Human
(instance SteveWozniakOfApple Human)	ComputingBrands.kif 2459-2459	instance スティーブ・ウｵズニアック氏 and Human
(instance TimCookOfApple Human)	ComputingBrands.kif 2435-2435	instance ティム・クック氏 and Human
(subclass HumanAdult Human)	Mid-level-ontology.kif 180-180	subclass HumanAdult and Human
(subclass HumanYouth Human)	Mid-level-ontology.kif 243-243	subclass HumanYouth and Human
(subclass Man Human)	Merge.kif 14508-14508	subclass Man and Human
(subclass Teenager Human)	Mid-level-ontology.kif 315-315	subclass Teenager and Human
(subclass Woman Human)	Merge.kif 14515-14515	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 758-758	typicalPart VocalCords and Human
(typicallyContainsPart VocalCords Human)	Mid-level-ontology.kif 759-759	typicallyContainsPart VocalCords and Human

appearance as argument number 3

(domain DescendantsFn 1 Human)	Mid-level-ontology.kif 7421-7421	domain DescendantsFn, 1 and Human
(domain ImmediateFamilyFn 1 Human)	Merge.kif 16135-16135	domain ImmediateFamilyFn, 1 and Human
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4372-4372	domain QPViewsFn, 1 and Human
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4437-4437	domain QualifiedTreatmentsFn, 1 and Human
(domain acquaintance 1 Human)	Merge.kif 16391-16391	domain acquaintance, 1 and Human
(domain acquaintance 2 Human)	Merge.kif 16392-16392	domain acquaintance, 2 and Human
(domain actedIn 1 Human)	Mid-level-ontology.kif 20528-20528	domain actedIn, 1 and Human
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3338-3338	domain afterTaxIncome, 1 and Human
(domain allergic 1 Human)	Mid-level-ontology.kif 6184-6184	domain allergic, 1 and Human
(domain almaMater 1 Human)	Mid-level-ontology.kif 16691-16691	domain almaMater, 1 and Human
(domain attends 2 Human)	Merge.kif 12946-12946	domain attends, 2 and Human
(domain attorney 2 Human)	Law.kif 489-489	domain attorney, 2 and Human
(domain aunt 2 Human)	Mid-level-ontology.kif 22992-22992	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 beforeTaxIncome 1 Human)	FinancialOntology.kif 3358-3358	domain beforeTaxIncome, 1 and Human
(domain birthdate 1 Human)	Mid-level-ontology.kif 24154-24154	domain birthdate, 1 and Human
(domain birthday 1 Human)	Mid-level-ontology.kif 24131-24131	domain birthday, 1 and Human
(domain brother 2 Human)	Merge.kif 16354-16354	domain brother, 2 and Human
(domain chiefOfDiplomaticMission 2 Human)	Government.kif 4445-4445	domain chiefOfDiplomaticMission, 2 and Human
(domain chiefOfState 3 Human)	Government.kif 1554-1554	domain chiefOfState, 3 and Human
(domain citizen 1 Human)	Merge.kif 16602-16602	domain citizen, 1 and Human
(domain classmate 1 Human)	Mid-level-ontology.kif 16653-16653	domain classmate, 1 and Human
(domain classmate 2 Human)	Mid-level-ontology.kif 16654-16654	domain classmate, 2 and Human
(domain coaches 1 Human)	Sports.kif 535-535	domain coaches, 1 and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount))	FinancialOntology.kif 996-1000	accountHolder FinancialAccount and CognitiveAgent instance CognitiveAgent and Human instance FinancialAccount and PersonalAccount
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17105-17113	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)) (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 20383-20405	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs AutonomousAgent and CognitiveAgent instance AutonomousAgent and Restaurant customer CognitiveAgent and AutonomousAgent located CognitiveAgent and Object instance Object and Table Object entity, entity and Object possesses AutonomousAgent 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)) (familyRelation ?MONARCH ?SUCCESSOR) (earlier ?T1 ?T2)) (modalAttribute (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))	Government.kif 223-234	governmentType AutonomousAgent and Monarchy instance Organism and Human instance Organism and Human holdsDuring TimeInterval and chiefOfState AutonomousAgent, entity and Organism familyRelation Organism and Organism earlier TimeInterval and TimeInterval modalAttribute holdsDuring TimeInterval and chiefOfState AutonomousAgent, entity and Organism and Possibility
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7522-7529	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 24926-24935	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 1789-1795	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 1797-1803	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 12696-12702	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 281-287	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 12071-12076	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 4129-4140	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 AutonomousAgent and Human instance Process and Imprisoning member AutonomousAgent and Collection agent Process and AutonomousAgent patient Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent eventLocated Process and Object attribute Object and WarState attribute AutonomousAgent 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 6121-6129	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 337-343	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 214-220	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 264-269	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 387-392	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 306-313	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 ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O Bank-FinancialOrganization))	FinancialOntology.kif 3665-3670	instance Human and Human occupiesPosition Human, Position and Organization attribute Position and Banker instance Organization and Bank-FinancialOrganization
(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3447-3476	instance WearableItem and HearingProtection instance Animal and Human Animal は % を wears %n{ない} hasPurpose WearableItem and entity entity and entity instance entity and Process subclass entity and KappaFn entity and instance entity and Injuring entity entity, entity and entity instance entity and RadiatingSound instance entity and Hearing instance entity and Human patient entity and entity experiencer entity and entity causes entity and entity experiencer entity and entity holdsDuring entity and experiencer entity and Animal holdsDuring entity and patient entity and Animal prevents entity and entity instrument entity and WearableItem
(=> (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 23463-23476	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 25749-25761	instance Object and KnockLight instance AutonomousAgent and Human attribute AutonomousAgent and Deaf uses Object and AutonomousAgent hasPurpose Object and entity entity instance entity and Impacting patient entity and entity instance entity and Door knows AutonomousAgent and entity
(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 228-234	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 22419-22424	instance Entity and MilitaryOrganization holdsDuring TimePosition and member Entity and Entity instance Entity and Human holdsDuring TimePosition and attribute Entity and MilitaryPerson

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 ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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 383-416	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?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) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 108-123	instance Year and YearFn Integer equal BirthsPerThousandFn GeopoliticalArea and Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 144-159	instance Year and YearFn Integer equal DeathsPerThousandFn GeopoliticalArea and Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 264-290	instance Year and YearFn Integer equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year 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 Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and RealNumber and RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 429-462	instance Year and YearFn Integer equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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 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
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 336-368	instance Year and YearFn Integer equal LifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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 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
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 182-213	instance Year and YearFn Integer equal MigrantsPerThousandFn GeopoliticalArea and Year and RealNumber equal SubtractionFn Integer and Integer and 1 instance Entity and YearFn Integer holdsDuring Year 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 Entity and inhabits SymbolicString and GeopoliticalArea holdsDuring Year and inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring Entity and inhabits SymbolicString and GeopoliticalArea holdsDuring Year and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and RealNumber equal DivisionFn RealNumber and RealNumber 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 232-249	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
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2)))))	Mid-level-ontology.kif 29423-29435	attribute Object and Collectible hasPurpose Object and Formula CognitiveAgent Formula 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 30036-30043	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 17095-17099	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 30020-30028	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)) (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 20383-20405	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs AutonomousAgent and CognitiveAgent instance AutonomousAgent and Restaurant customer CognitiveAgent and AutonomousAgent located CognitiveAgent and Object instance Object and Table Object entity, entity and Object possesses AutonomousAgent 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 2785-2789	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 4582-4590	diplomaticRepresentationType Nation, Position and AutonomousAgent subAttribute Position and DiplomaticAgent Human instance Human and Human citizen Human and Nation diplomaticRepresentativeInRole Nation, Human, Position and AutonomousAgent
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human))	Mid-level-ontology.kif 7957-7961	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 2663-2669	instance Process and Demonstration agent Process and AutonomousAgent instance AutonomousAgent and Human instance AutonomousAgent and GroupOfPeople
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2534-2538	instance Process and Evacuation experiencer Process and AutonomousAgent instance AutonomousAgent and Human
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 16088-16092	instance Collection and GroupOfPeople member Physical and Collection instance Physical and Human
(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3447-3476	instance WearableItem and HearingProtection instance Animal and Human Animal は % を wears %n{ない} hasPurpose WearableItem and entity entity and entity instance entity and Process subclass entity and KappaFn entity and instance entity and Injuring entity entity, entity and entity instance entity and RadiatingSound instance entity and Hearing instance entity and Human patient entity and entity experiencer entity and entity causes entity and entity experiencer entity and entity holdsDuring entity and experiencer entity and Animal holdsDuring entity and patient entity and Animal prevents entity and entity instrument entity and WearableItem
(=> (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 1579-1592	instance Process and HeavySurf instance Object and WaterArea eventLocated Process and Object Process AutonomousAgent instance Process and Swimming instance AutonomousAgent and Human agent Process and AutonomousAgent eventLocated Process and Object holdsDuring WhenFn Process and hazardous Process and AutonomousAgent
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human))	Mid-level-ontology.kif 17213-17217	instance Process and Immigrating agent Process and AutonomousAgent instance AutonomousAgent 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 3634-3661	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 AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human))	UXExperimentalTerms.kif 472-479	instance Object and Object instance Object and WebListing instance AutonomousAgent and AutonomousAgent attribute Object and ForSaleByOwner possesses AutonomousAgent and Object instance AutonomousAgent and Human
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1397-1404	instance Object and AnimalLanguage agent Process and AutonomousAgent instrument Process and Object instance AutonomousAgent and Animal instance AutonomousAgent and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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 482-495	instance Year and YearFn Integer equal ChildrenBornPerWomanFn GeopoliticalArea and Year 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 Year and inhabits entity and GeopoliticalArea
(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 (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 895-906	equal FitForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male subclass 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 14729-14729	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: