Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - detainedAtTimeInPlace
detainedAtTimeInPlace

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 19269-19269
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19268-19268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19267-19267

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