attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12537-12547 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17688-17697 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 286-297 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4078-4095 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25687-25696 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26594-26602 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1452-1457 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1780-1788 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2847-2851 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1500-1512 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 480-489 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 101-111 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1900-1904 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1888-1892 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1912-1916 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1906-1910 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3529-3534 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21495-21506 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |