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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IslamicLawCourt
IslamicLawCourt(islamic law court)

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


(documentation IslamicLawCourt EnglishLanguage "IslamicLawCourt is the subclass of JudicialOrganizations that are conducted according to principles of Islamic Law.") Government.kif 2125-2127
(subclass IslamicLawCourt JudicialOrganization) Government.kif 2123-2123 Islamic law court is a subclass of judicial organization

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


(termFormat ChineseLanguage IslamicLawCourt "伊斯兰法院") domainEnglishFormat.kif 31187-31187
(termFormat ChineseTraditionalLanguage IslamicLawCourt "伊斯蘭法院") domainEnglishFormat.kif 31186-31186
(termFormat EnglishLanguage IslamicLawCourt "islamic law court") domainEnglishFormat.kif 31185-31185

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


(=>
    (instance ?COURT IslamicLawCourt)
    (attribute ?COURT IslamicLaw))		 Government.kif 2129-2131


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