|
|
   IndependentState
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7687-7687 | Independent state is disjoint from dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7681-7684 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7678-7678 | Independent state is a subclass of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7679-7679 | Independent state is a subclass of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29568-29568 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29567-29567 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29566-29566 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 383-385 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2537-2538 | Serbia and montenegro is not an instance of independent state holds during after the day 3 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2487-2490 | Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2514-2517 | A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position |
|
|
|