| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5437-5439 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5426-5426 | 域 流動, 1 and 延期 流體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5428-5428 | 域 流動, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5427-5427 | 域 流動, 2 and 延期 流體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5429-5429 | 域 流動, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5424-5424 | 例 流動 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5423-5423 | 例 流動 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5425-5425 | 例 流動 and TransitiveRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1077-1077 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1076-1076 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1075-1075 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5434-5434 | 子關係 支流 and 流動 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24356-24356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24355-24355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24354-24354 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5442-5444 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5446-5448 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5533-5542 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5489-5496 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5415-5421 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5195-5200 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |
|
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