represents |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2164-2168 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4455-4461 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 823-828 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4452-4452 | Le nombre 1 argument de represents est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4453-4453 | Le nombre 2 argument de represents est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4451-4451 | represents est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4450-4450 | represents est une sous-relation de refers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 227-227 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 228-228 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 133-133 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 253-253 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1962-1962 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 85-85 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 152-152 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 138-138 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 445-445 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6113-6113 | abstractCounterpart est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Music.kif 349-349 | anthem est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3498-3498 | cardCode est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26911-26911 | conforms est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1356-1356 | containsInformation est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1020-1020 | hardwareType est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4050-4050 | implementsProtocol est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3537-3537 | pin est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1301-1301 | productBrand est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 14-14 | productModel est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4595-4595 | realization est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14321-14321 | record est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49532-49532 | |
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. | Geography.kif 3001-3009 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 895-901 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1794-1800 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2426-2435 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 312-314 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 |
|
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3135-3141 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13138-13146 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 801-812 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1794-1800 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1573-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3025-3032 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1099-1103 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1088-1094 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1319-1325 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-800 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 171-173 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2272-2274 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1109-1113 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 180-188 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4024-4026 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21182-21191 | |
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. | engineering.kif 850-850 | ResistorElement d�finie Dissipator |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 851-851 | ResistorElement d�finie ElectricalTwopole |