| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1438-1440 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1435-1435 | 领导职位 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1436-1436 | 领导职位 的 2 数量 是 地位 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1434-1434 | 领导职位 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1433-1433 | 领导职位 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1455-1455 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1454-1454 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1453-1453 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33611-33611 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33610-33610 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33609-33609 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 461-466 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1465-1469 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1751-1757 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 242-246 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1465-1469 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 371-376 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 393-398 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 425-430 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 417-422 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 446-451 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1447-1453 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 332-334 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 352-354 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1444-1444 | 总理 是 加拿大 的 leader 职位 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1445-1445 | 主席 是 伊朗 的 leader 职位 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 917-917 | 主席JCs 是 联合参谋长 的 leader 职位 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 899-899 | 主席JCs 是 联合工作人员 的 leader 职位 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 900-900 | 导演.JS 是 联合工作人员 的 leader 职位 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1443-1443 | 总理 是 英国 的 leader 职位 |
|
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