| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2769-2774 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8679-8686 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1499-1504 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8675-8675 | Le nombre 1 argument de MinuteFn est une instance de nombre entier non n�gatif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8676-8676 | Le nombre 2 argument de MinuteFn est une sous-classe de heure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8673-8673 | MinuteFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8674-8674 | MinuteFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8672-8672 | MinuteFn est une instance de relation temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8677-8677 | Les valeurs retourn�es par MinuteFn sont des sous-classes de minute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 473-473 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 479-479 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 273-273 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 191-191 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2063-2063 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 225-225 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 279-279 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 616-616 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 368-368 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9387-9387 | Minute est reli� � l'int�rieur de SUMO � MinuteFn |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37955-37955 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 474-474 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37954-37954 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37953-37953 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 369-369 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8692-8697 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8688-8690 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | UnixEpoch est seconde 0 |
|
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