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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Argument
Argument(argument)case, clericalism, colligation, policy, zero-tolerance_policy

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 Argument is exhaustively partitioned into deductive argument and inductive argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16987-16987 Argument is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17007-17007 Deductive argument is a subclass of argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17039 Inductive argument is a subclass of argument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17570-17570 Legal opinion is a subclass of argument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8341-8341 Legal opinion is a subclass of argument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8340-8340 Legal opinion is a subclass of argument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8339-8339 Legal opinion is a subclass of argument

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17054 The number 1 argument of premises is an instance of argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 17070-17070 The number 1 argument of conclusion is an instance of argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 17046-17046 The number 1 argument of premise is an instance of argument

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 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