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 13858-13859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13857-13857 法律意见争论subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33763-33763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33762-33762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33761-33761

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


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


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