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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Confining
Confining(confiner)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3143-3144
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12225
No TPTP formula. May not be expressible in strict first order. Merge.kif 12222-12222 Confiner est une sous-classe de garder

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13919-13919 Imprisoning est une sous-classe de confiner
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1155-1155
No TPTP formula. May not be expressible in strict first order. english_format.kif 1527-1527
No TPTP formula. May not be expressible in strict first order. french_format.kif 833-833
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 365-365
No TPTP formula. May not be expressible in strict first order. terms-it.txt 368-368
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2517-2517
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 785-785
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 370-370
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 404-404
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 854-854
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 369-369

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 Le nombre 1 argument de detainee est une instance de confiner

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12234-12239
No TPTP formula. May not be expressible in strict first order. Merge.kif 12227-12232

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Justice.kif 26-28 detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17280-17288
No TPTP formula. May not be expressible in strict first order. Merge.kif 12932-12942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25352-25360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6767-6777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4658-4666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4646-4652


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