| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2830-2831 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4038-4040 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1573-1575 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4034-4034 | overlapsSpatially e' uma instancia de Relacao Reflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4035-4035 | overlapsSpatially e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4033-4033 | overlapsSpatially e' uma sub-relacao de connected |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9596-9596 | meetsSpatially e overlapsSpatially sao disjuntos |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 367-367 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4036-4036 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 212-212 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 164-164 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 219-219 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 489-489 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 245-245 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 396-396 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43782-43782 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 368-368 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43781-43781 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43780-43780 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 397-397 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9933-9938 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3496-3501 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9602-9607 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10054-10059 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9925-9931 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9933-9938 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2488-2501 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2467-2478 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1271-1292 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4055-4059 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9623-9629 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12809-12814 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9615-9621 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9609-9613 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1271-1278 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3124-3141 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9531-9535 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10108-10115 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10098-10106 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9902-9905 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9615-9622 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6096-6102 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10990-10997 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5202-5207 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4146-4152 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9721-9727 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 724-726 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3523-3523 | Africa engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | Africa engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | Antarctica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | ArcticOcean engloba ArcticRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | ArcticRegion engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | ArcticRegion engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | Asia engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | Asia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | CaribbeanRegion engloba NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | CaribbeanRegion engloba SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | CentralAfrica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | CentralAfrica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | EasternAfrica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | EasternAfrica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | EasternSouthAmerica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | EasternSouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | MiddleAmerica engloba NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | MiddleAmerica engloba SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | MiddleEastRegion engloba Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | NorthernAfrica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | NorthernAfrica engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 246-246 | NorthernSouthAmerica engloba NorthernHemisphere |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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