| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 21-24 | |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 17-17 | The number 1 argument of detained at time in place is an instance of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 18-18 | The number 2 argument of detained at time in place is an instance of time position |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 19-19 | The number 3 argument of detained at time in place is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 16-16 | detained at time in place is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 724-724 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 723-723 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 722-722 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19287-19287 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19286-19286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19285-19285 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 26-28 | A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object |
|
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