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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kidnapping
Kidnapping(kidnapping)
abduction, capture, kidnapping, seizure, snatch

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21945-21950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2696-2696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21944-21944 Kidnapping is a subclass of robbing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32509-32509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32508-32508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32507-32507

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21952-21958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21960-21975


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