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 | Le nombre 1 argument de refers est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4414-4414 | Le nombre 2 argument de refers est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4412-4412 | refers est une instance de pr�dicat binaire |
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 | deceptiveIdentifier est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16146-16146 | describes est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3006-3006 | emailAddress est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4426-4426 | names est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3679-3679 | phoneNumber est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16609-16609 | registeredItem est une sous-relation de refers |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4450-4450 | represents est une sous-relation de refers |
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 |