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 16885-16887
No TPTP formula. May not be expressible in strict first order. Merge.kif 16884-16884 Argument est compl�tement d�compos� en DeductiveArgument + InductiveArgument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16883-16883 Argument est une sous-classe de proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16903-16903 DeductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16935-16935 InductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16210-16210 LegalOpinion est une sous-classe de Argument
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 16950-16950 Le nombre 1 argument de PremisesFn est une instance de Argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16966-16966 Le nombre 1 argument de conclusion est une instance de Argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16942-16942 Le nombre 1 argument de premise est une instance de Argument

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16955-16961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21174-21204
No TPTP formula. May not be expressible in strict first order. Merge.kif 16896-16901

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


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