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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subset
subset

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


s__documentation(s__subset__m,s__ChineseLanguage,'(subset ?SET1 ?SET2)是真的,以防 Set ?SET1 的 elements 也是 Set ?SET2 的 element。')

Merge.kif 5481-5482
s__documentation(s__subset__m,s__EnglishLanguage,'(subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2.')

Merge.kif 5479-5480
s__domain(s__subset__m,1,s__Set)

Merge.kif 5477-5477
s__domain(s__subset__m,2,s__Set)

Merge.kif 5478-5478
s__instance(s__subset__m,s__BinaryPredicate)

Merge.kif 5476-5476
s__subrelation(s__subset__m,s__subclass__m)

Merge.kif 5475-5475

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


s__format(s__ChineseLanguage,s__subset__m,'%1 %n 是 %2 的 subset')

chinese_format.kif 486-486
s__format(s__EnglishLanguage,s__subset__m,'%1 is %n a subset of %2')

english_format.kif 295-295
s__format(s__FrenchLanguage,s__subset__m,'%1 est %n un sous-ensemble de %2')

french_format.kif 284-284
s__format(s__ItalianLanguage,s__subset__m,'%1 � %n un sottoinsieme di %2')

relations-it.txt 280-280
s__format(s__PortugueseLanguage,s__subset__m,'%1 e %n um sub-conjunto de %2')

portuguese_format.kif 236-236
s__format(s__ar__m,s__subset__m,'%1 هي %n مَجْمُوعَة جُزْئِيَّة من %2')

arabic_format.kif 212-212
s__format(s__cz__m,s__subset__m,'%1 %p{je} %n{nen�} a subset of %2')

relations-cz.txt 290-290
s__format(s__de__m,s__subset__m,'%1 ist eine teilmenge von %2 %n{nicht}')

relations-de.txt 630-630
s__format(s__hi__m,s__subset__m,'%1 %2 kaa upasamuuha %n hai')

relations-hindi.txt 317-317
s__format(s__tg__m,s__subset__m,'%1 is %n ay ang bahagi ng pulutong ng %2')

relations-tg.txt 472-472
s__termFormat(s__ChineseLanguage,s__subset__m,'子集')

chinese_format.kif 487-487
s__termFormat(s__EnglishLanguage,s__subset__m,'subset')

domainEnglishFormat.kif 9724-9724
s__termFormat(s__FrenchLanguage,s__subset__m,'sous-ensemble')

french_format.kif 991-991
s__termFormat(s__PortugueseLanguage,s__subset__m,'Subconjunto')

portuguese_format.kif 943-943
s__termFormat(s__ar__m,s__subset__m,'«هي مَجْمُوعَة جُزْئِيَّة من»')

arabic_format.kif 662-662

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


( ! [V__SUBSET,V__SET] :
   (s__subset(V__SUBSET,V__SET)
   =>
   (! [V__ELEMENT] :
     (s__element(V__ELEMENT,V__SUBSET)
     =>
     s__element(V__ELEMENT,V__SET))))
)

Merge.kif 5484-5489


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners