TreeView Knowledge Base Browser - CriminalAction

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 13859-13859
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13858-13858	子類犯罪行為 and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18302-18302	子類 Defrauding and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18444-18444	子類謀殺 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13870-13870	子類政治犯罪 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24099-24099	子類性侵 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7706-7706	子類走私 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18579-18579	子類偷竊行為 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18285-18285	子類擅闖 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17838-17838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17837-17837
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17836-17836

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Law.kif 272-272	域 perpetrator, 1 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Law.kif 259-259	域 victim, 1 and 犯罪行為

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 13861-13868

例 Process and 犯罪行為
Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent

consequent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	例 Object and Human attribute Object and Criminal Entity Process 例 Entity and 犯罪行為例 Process and 法律定罪參照 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16099-16105	例 Physical and 犯罪團伙有目的 Physical and entity 例 entity and 犯罪行為 agent entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16134-16139	例 Entity and 懇求 Entity 例 Entity and 犯罪行為參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14937-14942	例 Entity and 神秘的故事 Entity 例 Entity and 犯罪行為參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18441	例 Physical and Protecting 有目的 Physical and entity entity, entity and entityARM 例 entity and Object 患者 Physical and Object 子類 entityARM and 卡帕 entity and 例 entity and 犯罪行為例 entity and Damaging 持有期間 entity and 患者 entity and entity 持有期間 entity and 患者 Physical and entity 防止 Physical and entityARM Physical hinders entityARM

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