subOrganization |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3751-3753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16745-16748 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16743-16743 | 子机构 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16744-16744 | 子机构 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | 子机构 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16741-16741 | 子机构 是 子集 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24170-24170 | 祖先组织 和 子机构 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 810-810 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 549-549 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 554-554 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 823-823 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 486-486 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2090-2090 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 824-824 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 438-438 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 343-343 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 508-508 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2060-2060 | 立法机关 是 子机构 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55764-55764 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55763-55763 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55762-55762 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1985 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18343-18358 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18401-18406 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2191-2196 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16691-16695 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 371-376 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 393-398 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 425-430 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 417-422 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 446-451 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1751-1757 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2085-2090 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1930-1935 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8526-8536 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16697-16701 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4657 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4658-4667 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1307-1311 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1301-1305 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2609-2623 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2591-2605 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2573-2587 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2554-2569 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16305-16324 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2118-2122 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2023-2027 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2029-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 693-700 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 712-724 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2559-2561 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8427-8435 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5558-5558 | Aetna 是 CVS Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3077-3077 | 社会发展委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3079-3079 | 预防犯罪和刑事司法委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3081-3081 | 人权委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3083-3083 | 麻醉药品委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3085-3085 | 人口与发展委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3087-3087 | 科学和技术促进发展委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3089-3089 | 可持续发展委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3091-3091 | 妇女地位委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4828-4828 | 国土安全部 是 美国 的 Government Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3093-3093 | 亚洲及太平洋经济社会委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3095-3095 | 西亚经济社会委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3076-3076 | 经济和社会理事会 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3097-3097 | 非洲经济委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3099-3099 | 欧洲经济委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3101-3101 | 拉丁美洲和加勒比经济委员会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4472-4472 | FitbitCompany 是 Google Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3103-3103 | 粮食及农业组织 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 17-17 | GoogleCorporation 是 Alphabet公司 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4503-4503 | HoldenCorporation 是 GeneralMotorsCorp Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3104-3104 | 国际原子能机构 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3105-3105 | 国际重建和发展银行 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | 国际重建和发展银行 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4319-4319 | 国际重建和发展银行 是 世界银行集团 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3106-3106 | 国际投资争端秘书处 是 经济和社会理事会 Organization 的一部分 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |