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 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4414-4414 | 域 參照, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4412-4412 | 例 參照 and BinaryPredicate |
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 | 子關係 欺騙性標識符 and 參照 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16146-16146 | 子關係 describes and 參照 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3006-3006 | 子關係 電子郵件地址 and 參照 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4426-4426 | 子關係 名 and 參照 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3679-3679 | 子關係 電話號碼 and 參照 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16609-16609 | 子關係 註冊項目 and 參照 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4450-4450 | 子關係 代表 and 參照 |
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 |