| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6332-6334 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6330-6330 | Area of concern is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2598-2598 | Administration and management is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2651-2651 | Economic development is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2696-2696 | Information cooperation is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2641-2641 | Infrastructure cooperation is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2677-2677 | Justice issues is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2665-2665 | Labor issues is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2605-2605 | Observation and monitoring is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2673-2673 | Political cooperation is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3484-3484 | Promote private enterprise is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | Public health concern is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2621-2621 | Reducing crime is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2841-2841 | Regional security is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2683-2683 | Social development is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6346-6346 | Environmental issue is a subclass of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2581-2581 | Transnational issue is a subclass of area of concern |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8297-8297 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8296-8296 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8295-8295 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2567-2567 | The number 2 argument of organizational objective is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6338-6338 | The number 2 argument of regional issue is an instance of area of concern |
|
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