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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfLaw

 Sigma KEE - FieldOfLaw
FieldOfLaw(field of law)
contract_law, corporation_law, jurisprudence, law, legal_philosophy, matrimonial_law, patent_law, referee

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21335-21336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10997-10997
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10015-10015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21334-21334 Field of law is a subclass of field of study

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23630-23630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23629-23629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23628-23628

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


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


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