agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
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. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29620-29632 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20066-20072 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2440-2445 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3759-3784 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10540-10549 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10562-10571 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18063-18067 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 516-522 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 524-530 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21757-21769 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 753-763 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 782-790 | |
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. | Mid-level-ontology.kif 23482-23486 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1326-1342 |
|
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. | Merge.kif 13409-13418 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |