Order
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14283-14284 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11582-11582 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11581-11581 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10175-10175 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14282-14282 | Order is a subclass of sentence |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42450-42450 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42449-42449 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42448-42448 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14286-14291 |
|