| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 211-224 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 206-206 | Less developed country is an instance of UN economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | Less developed country is an immediate successor attribute of former soviet or eastern european country |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 227-227 | "LDC" is an abbreviation of less developed country |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 207-207 | Less developed country is a conventional long name of "Less Developed Country" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 226-226 | Less developed country is a conventional short name of "the South" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | Less developed country is an economy type of afghanistan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 232-232 | Less developed country is an economy type of algeria |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | Less developed country is an economy type of angola |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 234-234 | Less developed country is an economy type of antigua and barbuda |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | Less developed country is an economy type of argentina |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 236-236 | Less developed country is an economy type of aruba |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 238-238 | Less developed country is an economy type of bahrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | Less developed country is an economy type of bangladesh |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 240-240 | Less developed country is an economy type of barbados |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 241-241 | Less developed country is an economy type of belize |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 242-242 | Less developed country is an economy type of burundi |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | Less developed country is an economy type of cambodia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 244-244 | Less developed country is an economy type of cameroon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 245-245 | Less developed country is an economy type of cape verde |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 246-246 | Less developed country is an economy type of central african republic |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 247-247 | Less developed country is an economy type of chad |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | Less developed country is an economy type of chile |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 249-249 | Less developed country is an economy type of china |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | Less developed country is an economy type of colombia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 251-251 | Less developed country is an economy type of comoros |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 253-253 | Less developed country is an economy type of costa rica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 254-254 | Less developed country is an economy type of coteD ivoire |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 384-386 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | 172 is a cardinality of the class corresponding to less developed country |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners