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 14537-14538
(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 14536-14536	Humain est compl�tement d�compos� en Man + Woman
(subclass Human CognitiveAgent)	Merge.kif 14535-14535	Humain est une sous-classe de agent cognitif
(subclass Human Hominid)	Merge.kif 14534-14534	Humain est une sous-classe de hominid�

appearance as argument number 2

(biologicalAgentCarrier BordetellaPertussis Human)	WMD.kif 1586-1586	biologicalAgentCarrier BordetellaPertussis and humain
(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 19851-19851	DomesticAnimal est disjoint de humain
(disjoint Organization Human)	Media.kif 35-35	Organisation est disjoint de humain
(initialPart VocalCords Human)	Mid-level-ontology.kif 765-765	initialPart VocalCords and humain
(instance SteveJobsOfApple Human)	ComputingBrands.kif 2447-2447	SteveJobsOfApple est une instance de humain
(instance SteveWozniakOfApple Human)	ComputingBrands.kif 2459-2459	SteveWozniakOfApple est une instance de humain
(instance TimCookOfApple Human)	ComputingBrands.kif 2435-2435	TimCookOfApple est une instance de humain
(subclass HumanAdult Human)	Mid-level-ontology.kif 185-185	HumanAdult est une sous-classe de humain
(subclass HumanYouth Human)	Mid-level-ontology.kif 248-248	HumanYouth est une sous-classe de humain
(subclass Man Human)	Merge.kif 14540-14540	Man est une sous-classe de humain
(subclass Teenager Human)	Mid-level-ontology.kif 320-320	Teenager est une sous-classe de humain
(subclass Woman Human)	Merge.kif 14547-14547	Woman est une sous-classe de humain
(termFormat ChineseLanguage Human "人类")	chinese_format.kif 1002-1002
(termFormat EnglishLanguage Human "human")	english_format.kif 1216-1216
(termFormat FrenchLanguage Human "humain")	french_format.kif 679-679
(termFormat Hindi Human "maanava")	terms-hindi.txt 210-210
(termFormat ItalianLanguage Human "Umano")	terms-it.txt 211-211
(termFormat JapaneseLanguage Human "人［人間］")	japanese_format.kif 2363-2363
(termFormat PortugueseLanguage Human "Humano")	portuguese_format.kif 631-631
(termFormat cb Human "tawo")	terms-cb.txt 215-215
(termFormat cz Human "human")	terms-cz.txt 247-247
(termFormat ro Human "fiinþã umanã")	relations-ro.kif 700-700
(termFormat tg Human "tao")	terms-tg.txt 214-214
(typicalPart VocalCords Human)	Mid-level-ontology.kif 763-763	typicalPart VocalCords and humain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain DescendantsFn 1 Human)	Mid-level-ontology.kif 7428-7428	Le nombre 1 argument de DescendantsFn est une instance de humain
(domain ImmediateFamilyFn 1 Human)	Merge.kif 16169-16169	Le nombre 1 argument de ImmediateFamilyFn est une instance de humain
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4372-4372	Le nombre 1 argument de QPViewsFn est une instance de humain
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4437-4437	Le nombre 1 argument de QualifiedTreatmentsFn est une instance de humain
(domain acquaintance 1 Human)	Merge.kif 16425-16425	Le nombre 1 argument de acquaintance est une instance de humain
(domain acquaintance 2 Human)	Merge.kif 16426-16426	Le nombre 2 argument de acquaintance est une instance de humain
(domain actedIn 1 Human)	Mid-level-ontology.kif 20579-20579	Le nombre 1 argument de actedIn est une instance de humain
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3338-3338	Le nombre 1 argument de afterTaxIncome est une instance de humain
(domain allergic 1 Human)	Mid-level-ontology.kif 6191-6191	Le nombre 1 argument de allergic est une instance de humain
(domain almaMater 1 Human)	Mid-level-ontology.kif 16718-16718	Le nombre 1 argument de almaMater est une instance de humain
(domain attends 2 Human)	Merge.kif 12978-12978	Le nombre 2 argument de attends est une instance de humain
(domain attorney 2 Human)	Law.kif 465-465	Le nombre 2 argument de attorney est une instance de humain
(domain aunt 2 Human)	Mid-level-ontology.kif 23123-23123	Le nombre 2 argument de aunt est une instance de humain
(domain baptizeddate 1 Human)	Biography.kif 174-174	Le nombre 1 argument de baptizeddate est une instance de humain
(domain baptizedplace 1 Human)	Biography.kif 188-188	Le nombre 1 argument de baptizedplace est une instance de humain
(domain beforeTaxIncome 1 Human)	FinancialOntology.kif 3358-3358	Le nombre 1 argument de beforeTaxIncome est une instance de humain
(domain birthdate 1 Human)	Mid-level-ontology.kif 24343-24343	Le nombre 1 argument de birthdate est une instance de humain
(domain birthday 1 Human)	Mid-level-ontology.kif 24308-24308	Le nombre 1 argument de birthday est une instance de humain
(domain brother 2 Human)	Merge.kif 16388-16388	Le nombre 2 argument de brother est une instance de humain
(domain chiefOfDiplomaticMission 2 Human)	Government.kif 4445-4445	Le nombre 2 argument de chiefOfDiplomaticMission est une instance de humain
(domain chiefOfState 3 Human)	Government.kif 1554-1554	Le nombre 3 argument de chiefOfState est une instance de humain
(domain citizen 1 Human)	Merge.kif 16636-16636	Le nombre 1 argument de citizen est une instance de humain
(domain classmate 1 Human)	Mid-level-ontology.kif 16680-16680	Le nombre 1 argument de classmate est une instance de humain
(domain classmate 2 Human)	Mid-level-ontology.kif 16681-16681	Le nombre 2 argument de classmate est une instance de humain
(domain coaches 1 Human)	Sports.kif 535-535	Le nombre 1 argument de coaches est une instance de humain

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 agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17139-17147	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
(=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A))))	Biography.kif 223-230	Founder est un attribut de AutonomousAgent AutonomousAgent est une instance de humain processus processus est une instance de Founding processus est un agent de AutonomousAgent
(=> (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 20434-20456	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
(=> (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 organisme est une instance de humain organisme est une instance de humain chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel organisme et organisme sont parents interval temporel arrive plus t�t que interval temporel l'argument chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel a la force modale de Possibility
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7529-7536	Entit� est un membre de entit� pendant position temporel entit� est une instance de humain entit� est une instance de GroupOfPeople groupMember entit� and entit� pendant position temporel
(=> (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 25115-25124	Entit� est une instance de humain deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� entit� est situ� � entit� entit� est une instance de Residence pendant position temporel entit� vie � entit� pendant position temporel
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1789-1795	Objet est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de objet MemberFn organisation est un attribut de objet
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1797-1803	Objet est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de objet objet est un membre de organisation
(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H)))	Mid-level-ontology.kif 12719-12725	Objet est une instance de Breast objet en une partie est une instance de humain objet est une partie de objet en une partie objet est une partie de le devant de objet en une partie
(=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 286-292	Entit� est une instance de humain NonFullyFormed est un attribut de entit� pendant position temporel entit� est une instance de HumanYouth pendant position temporel
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON))))	Merge.kif 12103-12108	Processus est une instance de confiner agent cognitif est un patient de processus agent cognitif est une instance de humain agent cognitif ne desire %n{pas} agent cognitif est un patient de processus
(=> (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	Experimenting est une instance de Experimenting humain est une instance de humain experimentalSubject Experimenting and humain processus processus est une instance de processus humain exp�rimente processus experimentalControlProcess Experimenting and processus experimentalVariableProcess Experimenting and processus
(=> (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	Collection est une instance de MilitaryForce AutonomousAgent est une instance de humain processus est une instance de Imprisoning AutonomousAgent est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est un patient de processus enemy AutonomousAgent and AutonomousAgent eventLocated processus and objet WarState est un attribut de objet PrisonerOfWar est un attribut de AutonomousAgent
(=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6))))	Mid-level-ontology.kif 6128-6136	Objet est une instance de humain Fever est un attribut de objet nombre r�el la mesure de objet est nombre r�el FahrenheitDegree(s) nombre r�el est plus grand que 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 342-348	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand que 12 nombre r�el est moins que 20 entit� est une instance de Teenager pendant position temporel
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 219-225	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand ou �gal � 18 entit� est une instance de HumanAdult pendant position temporel
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 269-274	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est moins que 18 entit� est une instance de HumanYouth pendant position temporel
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby)))	Mid-level-ontology.kif 392-397	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 1 entit� est une instance de HumanBaby pendant position temporel
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild)))	Mid-level-ontology.kif 311-318	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 14 entit� est une instance de HumanChild pendant position temporel
(=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O Bank-FinancialOrganization))	FinancialOntology.kif 3665-3670	Humain est une instance de humain humain occupe la position de position organisation Banker est un attribut de position organisation est une instance de 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	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
(=> (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 23594-23607	Confiner est une instance de Imprisoning detainee confiner and animal animal est une instance de humain confiner existe pendant interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest existe pendant interval temporel interval temporel arrive plus t�t que interval temporel PlacingUnderArrest est une instance de 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 25938-25950	Objet est une instance de KnockLight AutonomousAgent est une instance de humain Deaf est un attribut de AutonomousAgent AutonomousAgent utilise objet objet a pour but entit� entit� entit� est une instance de impacte entit� est un patient de entit� entit� est une instance de Door AutonomousAgent conna�t entit�
(=> (and (instance ?ORD Ordaining) (patient ?ORD ?X) (instance ?X Human) (member ?X Christianity)) (hasPurpose ?ORD (exists (?CER ?A) (and (instance ?CER Ceremony) (instance ?A Appointing) (subProcess ?A ?CER) (patient ?A ?X) (appointedPosition ?A ?X Cleric)))))	Biography.kif 156-169	Processus est une instance de Ordaining physique est un patient de processus physique est une instance de humain physique est un membre de Christianity processus a pour but entit� entit� entit� est une instance de Ceremony entit� est une instance de Appointing entit� est un sous-processus de entit� physique est un patient de entit� appointedPosition entit�, physique and Cleric

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	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
(<=> (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	MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
(=> (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 29612-29624	Collectible est un attribut de objet objet a pour but formule agent cognitif formule2 agent cognitif est une instance de humain agent cognitif veut objet agent cognitif desire formule2 formule2 n�cessite agent cognitif poss�de objet formule est formule2
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 30225-30232	Inhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
(=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human))	Merge.kif 17129-17133	Attribut est un attribut de objet attribut est une instance de r�le social objet est une instance de humain
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 30209-30217	Uninhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
(=> (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 20434-20456	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2785-2789	businessUnit organisation and Business physique est un membre de organisation physique est une instance de humain
(=> (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 position est un sous-attribut de DiplomaticAgent humain humain est une instance de humain humain est un citoyen de nation diplomaticRepresentativeInRole nation, humain, position and AutonomousAgent
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human))	Mid-level-ontology.kif 7964-7968	Processus est une instance de Baptizing entit� est un patient de processus entit� est une instance de humain
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2663-2669	Processus est une instance de Demonstration processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2534-2538	Processus est une instance de Evacuation AutonomousAgent exp�rimente processus AutonomousAgent est une instance de humain
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 16122-16126	Collection est une instance de GroupOfPeople physique est un membre de collection physique est une instance de humain
(=> (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	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
(=> (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	Processus est une instance de HeavySurf objet est une instance de plan d'eau eventLocated processus and objet processus AutonomousAgent processus est une instance de nager AutonomousAgent est une instance de humain processus est un agent de AutonomousAgent eventLocated processus and objet hazardous processus and AutonomousAgent pendant temps d'existence de processus
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human))	Mid-level-ontology.kif 17240-17244	Processus est une instance de Immigrating processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain
(=> (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	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection collection est SiteWideNewRegistrationsFn interval temporel 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	Objet est une instance de objet objet est une instance de WebListing AutonomousAgent est une instance de AutonomousAgent ForSaleByOwner est un attribut de objet AutonomousAgent poss�de objet AutonomousAgent est une instance de humain
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1407-1414	Objet est une instance de langage animal processus est un agent de AutonomousAgent objet est un instrument pour processus AutonomousAgent est une instance de animal AutonomousAgent est une instance de humain

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	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
(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	AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
(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	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	People.kif 49-54	PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
(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	ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
(equal Food (FoodForFn Human))	Merge.kif 14763-14763	Nourriture est FoodForFn humain

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: