Human(人类) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3438-3438 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14646-14647 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 259-259 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3117-3117 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3116-3116 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 257-257 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 258-258 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14645-14645 | 人类 详尽无遗地 partition 成 人 和 女人 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14644-14644 | 人类 是 有认知的主事 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | 人类 是 原始人类 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1586-1586 | 人类 是 百日咳博德特氏菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20018 | 家畜 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | 机构 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 793-793 | %每个 VocalCords 是 人类 的 initially part |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2447-2447 | 史蒂芬·贾伯斯 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2459-2459 | 斯蒂夫·沃兹尼亚克 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2435-2435 | 提姆·库克 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 185-185 | 人类成人 是 人类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 248-248 | 人类青年 是 人类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14649-14649 | 人 是 人类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 320-320 | 青少年 是 人类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14656-14656 | 女人 是 人类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1002-1002 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1216-1216 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 679-679 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 210-210 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 213-213 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2363-2363 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 631-631 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 215-215 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 247-247 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 700-700 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 214-214 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 791-791 | VocalCords typically 是 人类 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1280-1280 | connectedBodyPartTypes AbdominalAorta, ThoracicAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1658-1658 | connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 986-986 | connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1465-1465 | connectedBodyPartTypes AfferentArteriole, InterlobularArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 252-252 | connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 257-257 | connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 267-267 | connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 262-262 | connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1016-1016 | connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 820-820 | connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1169-1169 | connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 79-79 | connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 73-73 | connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1885-1885 | connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1880-1880 | connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 795-795 | connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1863-1863 | connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1873-1873 | connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1148-1148 | connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 371-371 | connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 366-366 | connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 164-164 | connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1454-1454 | connectedBodyPartTypes ArcuateArtery, InterlobarArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1565-1565 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and 人类 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1615-1615 | connectedBodyPartTypes Auricle, AuditoryCanal and 人类 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 996-1000 | 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 人类 的 instance 若且唯若 那个 金融账户 是 个人账户 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 223-230 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7562-7569 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25035-25044 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12848-12854 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 286-292 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12212-12217 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3923-3934 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 285-296 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6161-6169 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 686-694 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 651-659 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 342-348 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 219-225 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 269-274 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 392-397 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 311-318 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 519-530 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 82-97 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 118-133 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 238-264 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 310-342 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 另一个 整数) equal 1 和 实体 是 那个 另外 整数 year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 另外 实数 和 1000 equal 第三 实数 和 第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数 和 那个 第四 整数) equal 第四 实数 和 那个 第四 实数 和 那个 第三 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29507-29519 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30120-30127 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17244-17248 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30104-30112 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4195-4204 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2579-2583 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7997-8001 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2663-2669 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2534-2538 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16238-16242 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1579-1592 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17370-17374 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3428-3455 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 381-388 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | Food equal food for 人类 |