| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1135-1137 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | 域 船舶登記, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | 例 船舶登記 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1134-1134 | 範圍 船舶登記 and 船舶登記 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2271-2271 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2270-2270 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2269-2269 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52719-52719 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52718-52718 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52717-52717 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1151-1155 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1151-1155 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1097-1104 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1157-1166 |
|
|
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