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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entityچیز, فلان چیز, اسمش, زاییده افکار, موجب لغزش, سبب سقوط, قسمت فرعی, چشم انداز, مناظر و مرایا, جنبه فکری, سطح, روکار, لذت, نیمه هشیار, وجدان, ابر خود, شخصیت اخلاقی, نهاد, بار سنگین, بستگی, پاگیر, حصار, سد, مانع, پرده آهنین, حواس پرتی, آیینه, عالم باقی, دنیای دیگر, دنیا, گیتی, عالم, موضوع, عنوان, مبحث, سرفصل, ضابطه, لحظه, وهله, مثل, مورد, شاهد, دستاویز...

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


(documentation Entity EnglishLanguage "The universal class of individuals. This is the root node of the ontology.") Merge.kif 843-844
(partition Entity Physical Abstract) Merge.kif 842-842

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


(range AssignmentFn Entity) Merge.kif 810-810
(range FirstFn Entity) Mid-level-ontology.kif 6355-6355
(range LastFn Entity) Mid-level-ontology.kif 6341-6341
(range ListOrderFn Entity) Merge.kif 3162-3162
(range ShortageFn Entity) Geography.kif 2744-2744
(subclass Abstract Entity) Merge.kif 1709-1709
(subclass Physical Entity) Merge.kif 858-858
(termFormat ChineseLanguage Entity "实体") chinese_format.kif 813-813
(termFormat EnglishLanguage Entity "entity") english_format.kif 500-500
(termFormat FrenchLanguage Entity "entit�") french_format.kif 489-489
(termFormat Hindi Entity "astitva") terms-hindi.txt 23-23
(termFormat ItalianLanguage Entity "Entit�") terms-it.txt 23-23
(termFormat PortugueseLanguage Entity "Entidade") portuguese_format.kif 441-441
(termFormat ar Entity "كَائِن") arabic_format.kif 225-225
(termFormat cb Entity "bisag unsa") terms-cb.txt 26-26
(termFormat cz Entity "entita") terms-cz.txt 56-56
(termFormat tg Entity "kahit ano") terms-tg.txt 26-26

appearance as argument number 3
-------------------------


(domain AssignmentFn 2 Entity) Merge.kif 809-809
(domain ListFn 1 Entity) Merge.kif 3115-3115
(domain abbreviation 2 Entity) Mid-level-ontology.kif 25408-25408
(domain accessibleFromMenu 1 Entity) ComputerInput.kif 724-724
(domain accessibleFromMenuItem 1 Entity) ComputerInput.kif 923-923
(domain acronym 2 Entity) Media.kif 3003-3003
(domain buys 3 Entity) Mid-level-ontology.kif 28047-28047
(domain codeMapping 3 Entity) Media.kif 2261-2261
(domain comment 1 Entity) Merge.kif 18710-18710
(domain confersNorm 1 Entity) Merge.kif 4119-4119
(domain confersObligation 2 Entity) Merge.kif 17803-17803
(domain confersRight 2 Entity) Merge.kif 17777-17777
(domain contestEntry 1 Entity) Music.kif 1078-1078
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 25391-25391
(domain conventionalShortName 2 Entity) Mid-level-ontology.kif 25403-25403
(domain creator 2 Entity) Mid-level-ontology.kif 11320-11320
(domain crossFunctionalTeamFocus 1 Entity) UXExperimentalTerms.kif 2862-2862
(domain deprivesNorm 1 Entity) Merge.kif 4136-4136
(domain destination 2 Entity) Merge.kif 2578-2578
(domain documentation 1 Entity) Merge.kif 410-410
(domain element 1 Entity) Merge.kif 5494-5494
(domain equal 1 Entity) Merge.kif 286-286
(domain equal 2 Entity) Merge.kif 287-287
(domain externalImage 1 Entity) Merge.kif 698-698
(domain format 2 Entity) Merge.kif 424-424

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 854-856
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?INTEREST))))
UXExperimentalTerms.kif 2779-2784
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?INTEREST))))))
UXExperimentalTerms.kif 2825-2835