| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 968-972 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 964-964 | Le nombre 1 argument de claimedTerritory est une instance de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 965-965 | Le nombre 2 argument de claimedTerritory est une instance de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 963-963 | claimedTerritory est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 456-456 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 455-455 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 454-454 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 966-966 | dependentGeopoliticalArea est une sous-relation de claimedTerritory |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14994-14994 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14993-14993 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14992-14992 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1206-1212 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1157-1161 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1189-1193 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1050-1054 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1125-1129 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1092-1096 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1228-1232 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | claimedTerritory Antarctica and Argentina |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | claimedTerritory Antarctica and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | claimedTerritory Antarctica and Chile |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | claimedTerritory Antarctica and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3927-3927 | claimedTerritory Antarctica and NewZealand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3928-3928 | claimedTerritory Antarctica and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | claimedTerritory Antarctica and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3715-3715 | claimedTerritory GazaStrip and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3716-3716 | claimedTerritory GazaStrip and PalestinianLiberationOrganization |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3717-3717 | claimedTerritory ParacelIslands and China |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3718-3718 | claimedTerritory ParacelIslands and Taiwan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3719-3719 | claimedTerritory ParacelIslands and Vietnam |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3720-3720 | claimedTerritory SpratlyIslands and China |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3721-3721 | claimedTerritory SpratlyIslands and Taiwan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3722-3722 | claimedTerritory SpratlyIslands and Vietnam |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3723-3723 | claimedTerritory WestBank and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3724-3724 | claimedTerritory WestBank and PalestinianLiberationOrganization |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3725-3725 | claimedTerritory WesternSahara and Morocco |
|
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