occupiesPosition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3852-3854 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17295-17298 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17292-17292 | O argumento numero 1 de occupiesPosition e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17293-17293 | O argumento numero 2 de occupiesPosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17294-17294 | O argumento numero 3 de occupiesPosition e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | occupiesPosition e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 551-551 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 556-556 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 202-202 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2091-2091 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 275-275 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 721-721 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 240-240 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 344-344 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 357-357 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 552-552 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41620-41620 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41619-41619 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41618-41618 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18727-18736 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18742-18752 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18758-18768 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18774-18784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21023-21029 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18905-18909 |
|
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. | Government.kif 2309-2317 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3652-3657 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18943-18947 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1447-1453 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20878-20882 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18932-18936 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2295-2299 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22752-22760 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4859-4863 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20910-20919 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17302 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1290-1292 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21015-21017 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21007-21013 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1850-1854 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
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. | Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1042-1055 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16947-16960 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22752-22760 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 148-151 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1562-1564 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1566-1568 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17304-17307 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1615-1617 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20910-20919 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7672-7676 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 132-143 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 202-205 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 155-158 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 160-166 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 111-114 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 116-122 |
|