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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShotBall

Sigma KEE - ar
ar

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


(format ar AbstractionFn "the وَصْف لـ %1") arabic_format.kif 93-93
(format ar AssignmentFn "%1 (%*{2-}['])") arabic_format.kif 140-140
(format ar BackFn "خَلْفَ %1") arabic_format.kif 94-94
(format ar BeginFn "بِدَايَة %1") arabic_format.kif 193-193
(format ar CardinalityFn "عَدَد التِّكْرَارَات في %1") arabic_format.kif 222-222
(format ar ComplementFn "مُكَمِّلَة %1") arabic_format.kif 219-219
(format ar DayFn "اليَوْم %1") arabic_format.kif 203-203
(format ar EndFn "نِهَايَة %1") arabic_format.kif 194-194
(format ar ExtensionFn "صِنْف مُطَابِق لـ %1") arabic_format.kif 95-95
(format ar FrontFn "أَمَامَ %1") arabic_format.kif 96-96
(format ar FutureFn "بَعْدَ %1") arabic_format.kif 199-199
(format ar GeneralizedIntersectionFn "تَقَاطُع كُل عَنَاصِر %1") arabic_format.kif 221-221
(format ar GeneralizedUnionFn "إجْتِمَاع كُل عَنَاصِر %1") arabic_format.kif 220-220
(format ar HoleHostFn "مُضِيف حُفْرَة %1") arabic_format.kif 168-168
(format ar HoleSkinFn "سَطْح الحُفْرَة %1") arabic_format.kif 169-169
(format ar HourFn "السَّاعَة %1") arabic_format.kif 204-204
(format ar ImmediateFutureFn "مُبَاشَرَةً بَعْدَ %1") arabic_format.kif 200-200
(format ar ImmediatePastFn "مُبَاشَرَةً قَبْلَ %1") arabic_format.kif 198-198
(format ar IntersectionFn "تَقَاطُع %1 و %2") arabic_format.kif 217-217
(format ar KappaFn "الصِنْف مَوْصُوف بـ %1") arabic_format.kif 223-223
(format ar ListConcatenateFn "قَائِمَة مُؤَلَّفَة من %1 و %2") arabic_format.kif 100-100
(format ar ListFn "(%*['])") arabic_format.kif 97-97
(format ar ListLengthFn "طُول %1") arabic_format.kif 99-99
(format ar ListOrderFn "%2 عُنْصُر من %1") arabic_format.kif 98-98
(format ar MereologicalDifferenceFn "الفَرْق بَيْنَ أجْزَاء %1 و %2") arabic_format.kif 167-167

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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