believes |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22111-22119 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26953-26957 |
|
No TPTP formula. May not be expressible in strict first order. | People.kif 742-746 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1939-1945 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 422-430 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7416-7418 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2463-2469 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1025-1036 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3821-3829 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16411-16427 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10595-10603 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16596-16602 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13027-13032 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2834-2836 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9652-9665 |
|
No TPTP formula. May not be expressible in strict first order. | People.kif 710-715 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3061-3068 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1954-1962 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 400-415 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 390-398 |
|