more pictures...
| Human(人类)
more pictures... | |
| 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 13602-13603 | |
| (externalImage Human "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg") | pictureList-ImageNet.kif 260-260 | |
| (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 258-258 | |
| (externalImage Human "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px-Gazolina_zloga.jpg") | pictureList-ImageNet.kif 259-259 | |
| (partition Human Man Woman) | Merge.kif 13601-13601 | 人类 详尽无遗地 partition 成 人 和 女人 |
| (subclass Human CognitiveAgent) | Merge.kif 13600-13600 | 人类 是 有认知的主事 的 subclass |
| (subclass Human Hominid) | Merge.kif 13599-13599 | 人类 是 原始人类 的 subclass |
| appearance as argument number 2 |
|
|
| (biologicalAgentCarrier BordetellaPertussis Human) | WMD.kif 1451-1451 | 人类 是 百日咳博德特氏菌 的病毒传递者 |
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 17801-17801 | 家畜 和 % 2 是 disjoint |
| (disjoint Organization Human) | Media.kif 35-35 | 机构 和 % 2 是 disjoint |
| (initialPart VocalCords Human) | Mid-level-ontology.kif 1183-1183 | %每个 VocalCords 是 人类 的 initially part |
| (instance SteveJobsOfApple Human) | ComputingBrands.kif 2418-2418 | 史蒂芬·贾伯斯 是 人类 的 instance |
| (instance SteveWozniakOfApple Human) | ComputingBrands.kif 2426-2426 | 斯蒂夫·沃兹尼亚克 是 人类 的 instance |
| (instance TimCookOfApple Human) | ComputingBrands.kif 2410-2410 | 提姆·库克 是 人类 的 instance |
| (subclass HumanAdult Human) | Mid-level-ontology.kif 316-316 | 人类成人 是 人类 的 subclass |
| (subclass HumanYouth Human) | Mid-level-ontology.kif 390-390 | 人类青年 是 人类 的 subclass |
| (subclass Man Human) | Merge.kif 13605-13605 | 人 是 人类 的 subclass |
| (subclass Teenager Human) | Mid-level-ontology.kif 470-470 | 青少年 是 人类 的 subclass |
| (subclass Woman Human) | Merge.kif 13612-13612 | 女人 是 人类 的 subclass |
| (termFormat ChineseLanguage Human "人类") | chinese_format.kif 1002-1002 | |
| (termFormat EnglishLanguage Human "human") | english_format.kif 1221-1221 | |
| (typicalPart VocalCords Human) | Mid-level-ontology.kif 1181-1181 | VocalCords typically 是 人类 的 part |
| (typicallyContainsPart VocalCords Human) | Mid-level-ontology.kif 1182-1182 | 人类 typically 有 part VocalCords |
| appearance as argument number 3 |
|
|
| (domain DescendantsFn 1 Human) | Mid-level-ontology.kif 7151-7151 | 后人 的 1 数量 是 人类 的 instance |
| (domain ImmediateFamilyFn 1 Human) | Merge.kif 15115-15115 | 直系亲属 的 1 数量 是 人类 的 instance |
| (domain QPViewsFn 1 Human) | UXExperimentalTerms.kif 4370-4370 | QPViewsFn 的 1 数量 是 人类 的 instance |
| (domain QualifiedTreatmentsFn 1 Human) | UXExperimentalTerms.kif 4435-4435 | QualifiedTreatmentsFn 的 1 数量 是 人类 的 instance |
| (domain acquaintance 1 Human) | Merge.kif 15370-15370 | 熟人 的 1 数量 是 人类 的 instance |
| (domain acquaintance 2 Human) | Merge.kif 15371-15371 | 熟人 的 2 数量 是 人类 的 instance |
| (domain actedIn 1 Human) | Mid-level-ontology.kif 18429-18429 | actedIn 的 1 数量 是 人类 的 instance |
| (domain afterTaxIncome 1 Human) | FinancialOntology.kif 3223-3223 | 税后收入 的 1 数量 是 人类 的 instance |
| (domain almaMater 1 Human) | Mid-level-ontology.kif 14430-14430 | 母校 的 1 数量 是 人类 的 instance |
| (domain attends 2 Human) | Merge.kif 12137-12137 | 出席 的 2 数量 是 人类 的 instance |
| (domain attorney 2 Human) | Law.kif 490-490 | attorney 的 2 数量 是 人类 的 instance |
| (domain aunt 2 Human) | Mid-level-ontology.kif 20973-20973 | 姑妈 的 2 数量 是 人类 的 instance |
| (domain baptismdate 1 Human) | Biography.kif 64-64 | baptismdate 的 1 数量 是 人类 的 instance |
| (domain baptismplace 1 Human) | Biography.kif 77-77 | baptismplace 的 1 数量 是 人类 的 instance |
| (domain beforeTaxIncome 1 Human) | FinancialOntology.kif 3240-3240 | 税前收入 的 1 数量 是 人类 的 instance |
| (domain birthdate 1 Human) | Mid-level-ontology.kif 22010-22010 | 生日 的 1 数量 是 人类 的 instance |
| (domain birthday 1 Human) | Mid-level-ontology.kif 21987-21987 | 生日 的 1 数量 是 人类 的 instance |
| (domain brother 2 Human) | Merge.kif 15333-15333 | 哥哥 的 2 数量 是 人类 的 instance |
| (domain chiefOfDiplomaticMission 2 Human) | Government.kif 4376-4376 | 外交使团团长 的 2 数量 是 人类 的 instance |
| (domain chiefOfState 3 Human) | Government.kif 1508-1508 | 国家元首 的 3 数量 是 人类 的 instance |
| (domain citizen 1 Human) | Merge.kif 15573-15573 | 公民 的 1 数量 是 人类 的 instance |
| (domain coaches 1 Human) | Sports.kif 422-422 | coaches 的 1 数量 是 人类 的 instance |
| (domain coaches 2 Human) | Sports.kif 423-423 | coaches 的 2 数量 是 人类 的 instance |
| (domain cohabitant 1 Human) | Mid-level-ontology.kif 20906-20906 | 同居 的 1 数量 是 人类 的 instance |
| (domain cohabitant 2 Human) | Mid-level-ontology.kif 20907-20907 | 同居 的 2 数量 是 人类 的 instance |
| 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 940-944 | 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 人类 的 instance 若且唯若 那个 金融账户 是 个人账户 的 instance |
| (<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed)) |
Merge.kif 16047-16053 | 有认知的主事 是 人类 的 instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 失业的 是 那个 有认知的主事 的 attribute |
| (=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))) |
Mid-level-ontology.kif 18286-18307 |
|
| (=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) (earlier ?T1 ?T2)) (confersNorm (relative ?MONARCH ?SUCCESSOR) (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal)) |
Government.kif 209-221 | |
| (=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7251-7258 | |
| (=> (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 23004-23013 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1743-1749 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1751-1757 | |
| (=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth))) |
Mid-level-ontology.kif 437-443 | |
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 11345-11350 | |
| (=> (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 4125-4136 | |
| (=> (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 | |
| (=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6)))) |
Mid-level-ontology.kif 6046-6054 | |
| (=> (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 491-497 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult))) |
Mid-level-ontology.kif 357-363 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth))) |
Mid-level-ontology.kif 418-423 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby))) |
Mid-level-ontology.kif 553-558 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild))) |
Mid-level-ontology.kif 462-467 | |
| (=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O Bank-FinancialOrganization)) |
FinancialOntology.kif 3551-3556 | |
| (=> (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 21462-21475 | |
| (=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult))) |
Mid-level-ontology.kif 373-379 | |
| (=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 20403-20408 | |
| (=> (and (instance ?ORGANISM Human) (attribute ?ORGANISM Fever)) (exists (?NUMBER) (and (measure ?ORGANISM (MeasureFn ?NUMBER FahrenheitDegree)) (greaterThan ?NUMBER 98.6)))) |
WMD.kif 1015-1022 | |
| (=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P)))) |
Justice.kif 87-96 | |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 104-117 | 地缘政治区域 和 整数 year 每一千的 births equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 数量 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 数量 equal 那个 实数 |
| (<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 138-151 | 地缘政治区域 和 整数 year 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 数量 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 数量 equal 那个 实数 |
| (<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 253-277 | 地缘政治区域 和 整数 year 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 数量 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 数量 equal 那个 实数 |
| (<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 411-442 | 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 323-353 | 地缘政治区域 和 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 367-398 | 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (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 221-238 | 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数 |
| (<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 174-202 | 地缘政治区域 和 整数 year 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 数量) equal 1 和 那个 地缘政治区域 的 population equal 另一个 数量 在 那个 整数 year holdsDuring 和 那个 另外 数量 和 1000 equal 第三 数量 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 第三 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 另外 整数 和 那个 第三 整数) equal 第四 数量 和 那个 第四 数量 和 那个 第三 数量 equal 那个 实数 |
| (=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 27707-27719 | |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 28308-28315 | |
| (=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human)) |
Merge.kif 16037-16041 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 28292-28300 | |
| (=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))) |
Mid-level-ontology.kif 18286-18307 |
|
| (=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human)) |
UXExperimentalTerms.kif 2784-2788 | |
| (=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4513-4521 | |
| (=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human)) |
Mid-level-ontology.kif 7673-7677 | |
| (=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople))) |
MilitaryProcesses.kif 2643-2649 | |
| (=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human)) |
MilitaryProcesses.kif 2514-2518 | |
| (=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human)) |
Merge.kif 15068-15072 | |
| (=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human)) |
Mid-level-ontology.kif 14956-14960 | |
| (=> (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 3631-3658 |
|
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER Agent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 469-476 | |
| (=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1301-1308 | |
| (=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human)) |
Merge.kif 1334-1339 | |
| (=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 867-876 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
| (equal (ChildrenBornPerWomanFn ?AREA (YearFn ?YEAR)) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring (YearFn ?YEAR) (inhabits ?WOMAN ?AREA)))))) |
People.kif 462-472 | 地缘政治区域 和 整数 year 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 890-901 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
| (equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
People.kif 49-54 | 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量 |
| (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 928-941 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
| (equal Food (FoodForFn Human)) |
Merge.kif 13826-13826 | Food equal food for 人类 |
|
|
|