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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CriminalAction
CriminalAction(犯罪行为)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13379-13379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13378-13378 犯罪行为有意图过程subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17769-17769 Defrauding犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17880-17880 谋杀犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13390-13390 政治犯罪犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23624-23624 性侵犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7422-7422 走私犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18015-18015 偷窃行为犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17752-17752 擅闯犯罪行为subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17829-17829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17828-17828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17827-17827

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


No TPTP formula. May not be expressible in strict first order. Law.kif 315-315 perpetrator 的 1 数量 是 犯罪行为instance
No TPTP formula. May not be expressible in strict first order. Law.kif 302-302 victim 的 1 数量 是 犯罪行为instance

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


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

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


No TPTP formula. May not be expressible in strict first order. Justice.kif 87-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15600-15606
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15635-15640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14457-14462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17856-17877


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