attribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1714-1715 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1723-1725 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 318-319 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | 属于 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | 属于 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | 属于 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | 属于 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | 属于 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | 属于 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 属于 是 特性 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | 形式 和 属于 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 59-59 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 59-59 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 56-56 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1878-1878 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 8-8 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 73-73 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 65-65 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 73-73 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 75-75 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 55-55 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 63-63 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | 债券评级 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19358-19358 | color 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2501-2501 | 信用评级 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | 发育形态 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1880-1880 | 设备状态 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | 经济类型 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | 政府类型 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1882-1882 | hasGUEState 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 163-163 | 具有分子结构属性 是 属于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2109-2109 | 主持人身份 是 属于 的 subrelation |
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. | Mid-level-ontology.kif 30178-30188 | 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15000-15004 | 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作 |
No TPTP formula. May not be expressible in strict first order. | People.kif 676-678 | 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 702-704 | 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1347-1349 | Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1225-1227 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1233-1235 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 720-722 | 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 757-759 | 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 769-771 | 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1306-1308 | 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1361-1363 | 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1247-1249 | 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1318-1320 | 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1411-1413 | 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1330-1332 | 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1457-1459 | Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1261-1263 | 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1428-1430 | 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1283-1285 | 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1275-1277 | 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1377-1379 | 什叶派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 什叶派 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1472-1474 | 神道教 是 客体 的 attribute 若且唯若 那个 客体 是 神道 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1487-1489 | 锡克教 是 客体 的 attribute 若且唯若 那个 客体 是 锡克教 的 member |
No TPTP formula. May not be expressible in strict first order. | People.kif 1396-1398 | 逊尼派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 逊尼派 的 member |
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 403-436 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1400-1404 | 女王 是 客体 的 attribute 若且唯若 QueenRegnant 是 那个 客体 的 attribute 或 QueenConsort 是 那个 客体 的 attribute |
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. | Medicine.kif 1783-1787 | hearingAcuity 人类, -10 Decibel and 15 Decibel 若且唯若 NormalHearingSensitivity 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity 人类, 16 Decibel and 25 Decibel 若且唯若 BorderlineHearingSensitivity 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity 人类, 26 Decibel and 40 Decibel 若且唯若 MildHearingLoss 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity 人类, 41 Decibel and 55 Decibel 若且唯若 ModerateHearingLoss 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity 人类, 56 Decibel and 70 Decibel 若且唯若 ModeratelySevereHearingLoss 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity 人类, 71 Decibel and 90 Decibel 若且唯若 SevereHearingLoss 是 那个 人类 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity 人类, 91 Decibel and 200 Decibel 若且唯若 ProfoundHearingLoss 是 那个 人类 的 attribute |
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. | Mid-level-ontology.kif 20200-20204 | 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20209-20213 | 客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 | 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20186-20190 | 客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16852-16861 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18837-18843 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
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. | Government.kif 1241-1248 | 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
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. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | 有存在 Meal 和 地区 这样 对于 那个 Meal 合适的 meal 在 那个 地区 是 那个 Meal 的 attribute |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20401-20401 | 饲料 是 干草 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | 极地气候区 是 南部海洋 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | 关联属性 是 Tourniquet 的 attribute |