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

Formal Language: 



KB Term:  Term intersection
English Word: 

  arrested

 Sigma KEE - arrested
arrested

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23473-23476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23477-23477 域 被捕, 1 and 被捕
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23478-23478 域 被捕, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23472-23472 例 被捕 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23479-23479 子關係 被捕 and 受控

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 57-57
No TPTP formula. May not be expressible in strict first order. english_format.kif 57-57
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1877-1877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8454-8454
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 58-58
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8453-8453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8452-8452

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23493-23503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23487-23491

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23493-23503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23512-23525


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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