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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Capturing
Capturing(capture)capture, catch, get, recapture, retake

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23454-23456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23453-23453 Capture is a subclass of change of control

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23464-23464 Placing under arrest is a subclass of capture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13122-13122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13121-13121
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13120-13120

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23458-23462


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