| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4561-4565 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4557-4557 | Le nombre 1 argument de representativeAgentToAgent est une instance de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4558-4558 | Le nombre 2 argument de representativeAgentToAgent est une instance de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4559-4559 | Le nombre 3 argument de representativeAgentToAgent est une instance de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4556-4556 | representativeAgentToAgent est une instance de pr�dicat ternaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2147-2147 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2146-2146 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2145-2145 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49528-49528 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49527-49527 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49526-49526 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4585-4593 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4578-4583 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4571-4576 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3437 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4567-4569 |
|
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