agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 89-103 | |
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. | UXExperimentalTerms.kif 1312-1324 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 76-84 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 778-788 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11742 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11905-11916 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2477-2481 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8387-8400 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 108-122 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1478-1488 |
|
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. | FinancialOntology.kif 3543-3554 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 356-361 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 532-536 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10289-10297 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16690-16702 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 119-127 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |