| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3561-3562 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15563-15566 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15559-15559 | 域 作者, 1 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15560-15560 | 域子類 作者, 2 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15558-15558 | 例 作者 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 531-531 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 30-30 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2081-2081 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 64-64 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 692-692 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 334-334 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 345-345 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 76-76 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9168-9168 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9167-9167 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 77-77 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15504-15511 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15535-15544 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2286-2291 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2293-2300 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15569-15575 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22713-22725 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22690-22704 |
|
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