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

Formal Language: 


KB Term:  Term intersection
English Word: 

  protocolForConnector

 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 16989-16991
No TPTP formula. May not be expressible in strict first order. Merge.kif 16988-16988 争论 详尽无遗地 partition 成 演绎论证 和 归纳论证
No TPTP formula. May not be expressible in strict first order. Merge.kif 16987-16987 争论 是 命题 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17007-17007 演绎论证 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17039 归纳论证 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17570-17570 法律意见 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8341-8341 法律意见 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8340-8340 法律意见 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8339-8339 法律意见 是 争论 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17054 前提函数 的 1 数量 是 争论 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17070-17070 结论 的 1 数量 是 争论 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17046-17046 前提 的 1 数量 是 争论 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17059-17065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22764-22794
No TPTP formula. May not be expressible in strict first order. Merge.kif 17000-17005

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


No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 902-909
No TPTP formula. May not be expressible in strict first order. Merge.kif 16993-16998


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