| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24929-24933 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24927-24927 | O argumento numero 1 de telecomCode2 e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24928-24928 | O argumento numero 2 de telecomCode2 e' uma instancia de TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24926-24926 | telecomCode2 e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24925-24925 | telecomCode2 e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24934-24934 | telecomCode2 e' uma sub-relacao de subString |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4746-4746 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4745-4745 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4744-4744 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65952-65952 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24971-24975 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24977-24981 |
|
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