| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 105-115 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 102-102 | 域 每千人死亡, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 103-103 | 域 每千人死亡, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 101-101 | 例 每千人死亡 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. | People.kif 104-104 | 範圍 每千人死亡 and RealNumber |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 688-688 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 687-687 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 686-686 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18774-18774 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18773-18773 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18772-18772 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 118-133 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千裡的 deaths and RealNumber 等於 部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and RealNumber and RealNumber |
|
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