Argument - Sigma Knowledge base Browser

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 16814-16816
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16813-16813	劃分爭論, 演繹論證 and 歸納論證
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16812-16812	子類爭論 and Proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16832-16832	子類演繹論證 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16864-16864	子類歸納論證 and 爭論
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16183-16183	子類法律意見 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 16879-16879	域房地, 1 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16895-16895	域結論, 1 and 爭論
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16871-16871	域前提, 1 and 爭論

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16884-16890	例爭論 and 爭論等於 Proposition and 房地爭論次提案 Proposition and Proposition Proposition 是爭論的 premise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	例 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 16825-16830	例爭論 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 16818-16823	例 Process and Reasoning Proposition 例 Proposition and 爭論實現 Process and Proposition

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