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

Formal Language: 


KB Term:  Term intersection
English Word: 

  LegalOpinion

Sigma KEE - LegalOpinion
LegalOpinion(法律意见)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17571-17572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17570-17570 法律意见争论subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33850-33850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33849-33849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33848-33848

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17574-17581


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