| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 444-453 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | 域 每個女人出生的孩子, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | 域 每個女人出生的孩子, 2 and 年 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | 例 每個女人出生的孩子 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | 範圍 每個女人出生的孩子 and RealNumber |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 448-448 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 447-447 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 446-446 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14484-14484 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14483-14483 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14482-14482 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
|
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