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 14799-14800
(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 3116-3116
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg")	pictureList.kif 3115-3115
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/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 14798-14798	劃分 Human, 人 and 女人
(subclass Human CognitiveAgent)	Merge.kif 14797-14797	子類 Human and CognitiveAgent
(subclass Human Hominid)	Merge.kif 14796-14796	子類 Human and Hominid

appearance as argument number 2

(biologicalAgentCarrier BordetellaPertussis Human)	WMD.kif 1586-1586	Human 是百日咳博德特氏菌的病毒傳遞者
(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 21605-21605	不相交的家畜 and Human
(disjoint Organization Human)	Media.kif 35-35	不相交的 Organization and Human
(initialPart VocalCords Human)	Mid-level-ontology.kif 786-786	%每個 VocalCords 是 Human 的 initially part
(initiallyContainsPart Brain Human)	Mid-level-ontology.kif 25338-25338	腦的例子總是 Human 的 initially part 的例子
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 25339-25339	心的例子總是 Human 的 initially part 的例子
(instance SteveJobsOfApple Human)	ComputingBrands.kif 2447-2447	例史蒂芬·賈伯斯 and Human
(instance SteveWozniakOfApple Human)	ComputingBrands.kif 2459-2459	例斯蒂夫·沃茲尼亞克 and Human
(instance TimCookOfApple Human)	ComputingBrands.kif 2435-2435	例提姆·庫克 and Human
(subclass HumanAdult Human)	Mid-level-ontology.kif 178-178	子類人類成人 and Human
(subclass HumanYouth Human)	Mid-level-ontology.kif 241-241	子類人類青年 and Human
(subclass Man Human)	Merge.kif 14802-14802	子類人 and Human
(subclass Teenager Human)	Mid-level-ontology.kif 313-313	子類青少年 and Human
(subclass Woman Human)	Merge.kif 14809-14809	子類女人 and Human
(termFormat ChineseLanguage Human "人类")	chinese_format.kif 1002-1002	子類女人 and Human
(termFormat EnglishLanguage Human "human")	english_format.kif 1216-1216	子類女人 and Human
(termFormat FrenchLanguage Human "humain")	french_format.kif 679-679	子類女人 and Human
(termFormat Hindi Human "maanava")	terms-hindi.txt 210-210	子類女人 and Human
(termFormat ItalianLanguage Human "Umano")	terms-it.txt 213-213	子類女人 and Human
(termFormat JapaneseLanguage Human "人［人間］")	japanese_format.kif 2363-2363	子類女人 and Human
(termFormat PortugueseLanguage Human "Humano")	portuguese_format.kif 631-631	子類女人 and Human
(termFormat cb Human "tawo")	terms-cb.txt 215-215	子類女人 and Human
(termFormat cz Human "human")	terms-cz.txt 247-247	子類女人 and Human
(termFormat de Human "Mensch")	terms-de.txt 506-506	子類女人 and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(connectedBodyPartTypes AbdominalAorta ThoracicAorta Human)	arteries.kif 1280-1280	connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human
(connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve InferiorGlutealArtery Human)	arteries.kif 1658-1658	connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Human
(connectedBodyPartTypes AcromialArtery ThoracoacromialArtery Human)	arteries.kif 986-986	connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Human
(connectedBodyPartTypes AfferentArteriole InterlobularArtery Human)	arteries.kif 1465-1465	connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Human
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorMeningealArtery Human)	arteries.kif 252-252	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Human
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorNasalArteryBranch Human)	arteries.kif 257-257	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Human
(connectedBodyPartTypes AnteriorEthmoidalArtery InferiorPalpebralArchArtery Human)	arteries.kif 267-267	connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Human
(connectedBodyPartTypes AnteriorEthmoidalArtery SuperiorPalpebralArchArtery Human)	arteries.kif 262-262	connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Human
(connectedBodyPartTypes AnteriorHumeralCircumflexArtery AxillaryArtery Human)	arteries.kif 1016-1016	connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Human
(connectedBodyPartTypes AnteriorInferiorCerebellarArtery BasilarArtery Human)	arteries.kif 820-820	connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Human
(connectedBodyPartTypes AnteriorInterosseousArtery UlnarArtery Human)	arteries.kif 1169-1169	connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Human
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularDiagonalArtery Human)	arteries.kif 79-79	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Human
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularSeptalArtery Human)	arteries.kif 73-73	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Human
(connectedBodyPartTypes AnteriorLateralMalleolarArtery AnteriorTibialArtery Human)	arteries.kif 1885-1885	connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Human
(connectedBodyPartTypes AnteriorMedialMalleolarArtery AnteriorTibialArtery Human)	arteries.kif 1880-1880	connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Human
(connectedBodyPartTypes AnteriorSpinalArtery VertebralArtery Human)	arteries.kif 795-795	connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Human
(connectedBodyPartTypes AnteriorTibialArtery PoplitealArtery Human)	arteries.kif 1863-1863	connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Human
(connectedBodyPartTypes AnteriorTibialRecurrentArtery AnteriorTibialArtery Human)	arteries.kif 1873-1873	connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Human
(connectedBodyPartTypes AnteriorUlnarRecurrentArtery UlnarArtery Human)	arteries.kif 1148-1148	connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Human
(connectedBodyPartTypes AnterolateralCentralArtery ExternalStriateArtery Human)	arteries.kif 371-371	connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Human
(connectedBodyPartTypes AnterolateralCentralArtery InternalStriateArtery Human)	arteries.kif 366-366	connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Human
(connectedBodyPartTypes AorticArch LeftCommonCarotidArtery Human)	arteries.kif 164-164	connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Human
(connectedBodyPartTypes ArcuateArtery InterlobarArtery Human)	arteries.kif 1454-1454	connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Human
(connectedBodyPartTypes AuditoryCanal TympanicCavity Human)	Anatomy.kif 1600-1600	connectedBodyPartTypes AuditoryCanal, TympanicCavity and Human
(connectedBodyPartTypes Auricle AuditoryCanal Human)	Anatomy.kif 1650-1650	connectedBodyPartTypes Auricle, AuditoryCanal 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 998-1002	CognitiveAgent 持有 account 金融賬戶例 CognitiveAgent and Human 例金融賬戶 and 個人賬戶
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17429-17437	持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
(=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A))))	Biography.kif 229-236	attribute AutonomousAgent and Founder 例 AutonomousAgent and Human Process 例 Process and 創建 agent Process and 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 22218-22240	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
(=> (and (ennervates ?NC ?MC) (instance ?N ?NC) (instance ?M ?MC) (part ?N ?H) (part ?M ?H) (attribute ?H Healthy) (instance ?H Human)) (hasPurpose ?N (exists (?NF ?C) (and (instance ?NF NerveFiring) (instrument ?NF ?N) (instance ?MC MuscleContraction) (instrument ?MV ?M) (causes ?NF ?MC)))))	Anatomy.kif 1962-1978	ennervates Nerve and Muscle 例 Object and Nerve 例 Object and Muscle 部分 Object and Object 部分 Object and Object attribute Object and Healthy 例 Object and Human 有目的 Object and ObjectF entity 例 ObjectF and NerveFiring 儀器 ObjectF and Object 例 Muscle and MuscleContraction 儀器 ObjectV and Object 原因 ObjectF and Muscle
(=> (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	%2 是 1% 的 government 類別例 Organism and Human 例 Organism and Human 持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism 家庭關係 Organism and Organism 早期 TimeInterval and TimeInterval 模態屬性持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism and 可能性
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 8729-8736	持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 例 Entity and 一群人持有期間 TimePosition and Entity 是 Entity 的 member
(=> (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 26697-26706	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅持有期間 TimePosition and 棲息 Entity and entity
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1751-1757	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色 attribute Object and Organization 的 member
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1759-1765	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色會員 Object and Organization
(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A ApplyingTourniquet) (agent ?A ?H) (destination ?A ?P)))))	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and ApplyingTourniquet agent entity and Formula 目的地 entity and AutonomousAgent
(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H)))	Mid-level-ontology.kif 14179-14185	例 Object and 乳房例 SelfConnectedObject and Human 部分 Object and SelfConnectedObject 部分 Object and 面前 SelfConnectedObject
(=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 279-285	例 Entity and Human 持有期間 TimePosition and attribute Entity and 沒有完全形成持有期間 TimePosition and 例 Entity and 人類青年
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON))))	Merge.kif 12362-12367	例 Process and Confining 患者 Process and CognitiveAgent 例 CognitiveAgent and Human 慾望 CognitiveAgent and 患者 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 3923-3934	例試驗 and 試驗例 Human and Human Human 是在試驗的 subject Process 例 Process and Process 體驗者 Process and Human control 在實驗試驗是 Process Process 在試驗的 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	例 Collection and 軍事力量例 AutonomousAgent and Human 例 Process and 監禁會員 AutonomousAgent and Collection agent Process and AutonomousAgent 患者 Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent Process 是 located 在 Object attribute Object and 戰爭狀態 attribute AutonomousAgent and 戰俘
(=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6))))	Mid-level-ontology.kif 7098-7106	例 Object and Human attribute Object and 發熱 RealNumber 測量 Object and 測量 RealNumber and 華氏度比較多 RealNumber and 98.6
(=> (and (instance ?H Human) (holdsDuring ?T (and (attribute ?T Hyperthermia) (coreBodyTemp ?H (MeasureFn ?N CelsiusDegree))))) (greaterThan ?N 38.3))	Medicine.kif 677-685	例 Entity and Human 持有期間 TimePosition and attribute TimePosition and Hyperthermia coreBodyTemp Entity and 測量 RealNumber and 攝氏度比較多 RealNumber and 38.3
(=> (and (instance ?H Human) (holdsDuring ?T (and (attribute ?T Hypothermia) (coreBodyTemp ?H (MeasureFn ?N CelsiusDegree))))) (lessThan ?N 35.0))	Medicine.kif 642-650	例 Entity and Human 持有期間 TimePosition and attribute TimePosition and Hypothermia coreBodyTemp Entity and 測量 RealNumber and 攝氏度少於 RealNumber and 35.0
(=> (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	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間比較多 RealNumber and 12 少於 RealNumber and 20 持有期間 TimePosition and 例 Entity and 青少年
(=> (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	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類成人
(=> (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	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間少於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類青年
(=> (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	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 1 持有期間 TimePosition and 例 Entity and 人類寶貝
(=> (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	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間小於或等於 RealNumber and 14 持有期間 TimePosition and 例 Entity and 人類的孩子
(=> (and (instance ?H Human) (instance ?R Rectum) (part ?R ?H) (holdsDuring ?T (and (coreBodyTemp ?H (MeasureFn ?N ?U)) (measure ?R (MeasureFn ?N2 ?U))))) (approximateValue ?N ?N2))	Medicine.kif 509-520	例 Object and Human 例 Object and Rectum 部分 Object and Object 持有期間 TimePosition and coreBodyTemp Object and 測量 RealNumber and entity 測量 Object and 測量 RealNumber and entity approximateValue RealNumber and RealNumber

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 357-390	例年 and 年年EAR equal GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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 82-97	例年 and 年 Integer equal GeopoliticalArea 和年每一千的 births and RealNumber equal 部 GeopoliticalArea 的 population and 1000 and RealNumber equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年 equal 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea equal 部 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 118-133	例年 and 年 Integer equal GeopoliticalArea 和年每一千裡的 deaths and RealNumber equal 部 GeopoliticalArea 的 population and 1000 and RealNumber equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年 equal 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea equal 部 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 238-264	例年 and 年 Integer equal GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年 equal 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea equal 部 Integer and 1000 and RealNumber equal entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年 equal 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea equal 部 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 403-436	例年 and 年 Integer equal GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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 310-342	例年 and 年 Integer equal GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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 156-187	例年 and 年 Integer equal GeopoliticalArea 和年每一千的 migrants and RealNumber equal 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and equal GeopoliticalArea 的 population and RealNumber equal 部 RealNumber and 1000 and RealNumber equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea equal 減法 Integer and Integer and RealNumber equal 部 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 206-223	equal GeopoliticalArea 的 male 對母性比率 and RealNumber equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea equal Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea equal 部 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 31426-31438	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object equal Formula and Formula
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4203-4227	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 32012-32019	attribute Object and Inhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and Object
(=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human))	Merge.kif 17419-17423	attribute Object and Attribute 例 Attribute and SocialRole 例 Object and Human
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 31996-32004	attribute Object and Uninhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and Object
(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4532-4541	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
(=> (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 22218-22240	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2579-2583	Organization 是 Business 的 business 單位會員 Physical and Organization 例 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 4543-4551	% Nation %3 子屬性 Position and 外交代表 Human 例 Human and Human 公民 Human and Nation Nation 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human))	Mid-level-ontology.kif 9164-9168	例 Process and 施洗患者 Process and Entity 例 Entity and Human
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2697-2703	例 Process and 示範 agent Process and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2568-2572	例 Process and 疏散體驗者 Process and AutonomousAgent 例 AutonomousAgent and Human
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 16413-16417	例 Collection and 一群人會員 Physical and Collection 例 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 3508-3537	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
(=> (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 2303-2316	例 Process and 高激浪例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間何時 Process and hazardous Process and AutonomousAgent
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human))	Mid-level-ontology.kif 18921-18925	例 Process and 移民 agent Process and AutonomousAgent 例 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 3428-3455	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection equal Collection and new registrations 在 WebSite 期間 TimeInterval

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 456-469	例年 and 年 Integer equal GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 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 940-949	equal GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 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 963-974	equal GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 33658-33663	equal GeopoliticalArea 的 population and 基數卡帕 SymbolicString and 例 SymbolicString and Human 棲息 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 1001-1014	equal GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 equal entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity equal entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal Food (FoodForFn Human))	Merge.kif 15026-15026	equal Food and food for 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: