dateDissolved |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2565-2569 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2555-2555 | The number 1 argument of date dissolved is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | The number 2 argument of date dissolved is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2554-2554 | date dissolved is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 648-648 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 647-647 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 646-646 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18612-18612 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18611-18611 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18610-18610 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2558-2563 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | The day 31 is a date dissolved of coordinating committee on export controls |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3009-3009 | The day 1 is a date dissolved of council for mutual economic assistance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4145-4145 | The day 25 is a date dissolved of united nations preventive deployment force |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4285-4285 | The day 1 is a date dissolved of warsaw pact |