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 |
|