refers |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2154-2157 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4416-4424 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 810-814 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4413-4413 | 提到 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4414-4414 | 提到 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4412-4412 | 提到 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 225-225 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 226-226 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 132-132 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 246-246 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1961-1961 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 84-84 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 284-284 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 151-151 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 137-137 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 438-438 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23323-23323 | 欺骗性标识符 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16146-16146 | describes 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3006-3006 | 电子邮件地址 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4426-4426 | 命名 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3679-3679 | 电话号码 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16609-16609 | 注册项目 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4450-4450 | 表示 是 提到 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49106-49106 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 226-226 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49105-49105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49104-49104 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 94-94 | |
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 16200-16212 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1882-1891 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1865-1875 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3042-3050 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9278-9288 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4152-4157 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 295-306 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16766-16776 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15887-15900 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 231-236 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 666-671 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7159-7172 | |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 87-96 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20459-20466 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22720-22724 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 318-328 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 524-533 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26590-26592 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9318-9330 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9296-9308 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 541-551 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 915-917 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |