TreeView Knowledge Base Browser - Argument

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Argument

Argument(爭論)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3765-3766
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16836-16838
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16835-16835	劃分爭論, 演繹論證 and 歸納論證
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16834-16834	子類爭論 and Proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16854-16854	子類演繹論證 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16886-16886	子類歸納論證 and 爭論
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16182-16182	子類法律意見 and 爭論
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8340-8340
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8339-8339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8338-8338

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16901-16901	域房地, 1 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16917-16917	域結論, 1 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16893-16893	域前提, 1 and 爭論

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16906-16912	例爭論 and 爭論等於 Proposition and 房地爭論次提案 Proposition and Proposition Proposition 是爭論的 premise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16847-16852	例爭論 and 爭論 Proposition 爭論等於房地爭論 and Proposition 結論爭論 and 爭論

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	evidence LegalAction and Physical 爭論 PhysicalROP 例 PhysicalROP and Proposition 例爭論 and 爭論參照爭論 and LegalAction 代表 PhysicalROP and Physical PhysicalROP 是爭論的 premise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 909-916	例 Process and 爭論內容承載物理 Proposition 患者 Process and 內容承載物理例內容承載物理 and 聲明包含信息內容承載物理 and Proposition 例 Proposition and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16840-16845	例 Process and Reasoning Proposition 例 Proposition and 爭論實現 Process and Proposition

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