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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maintaining

Sigma KEE - Maintaining
Maintainingصوْن, صِيانة, اِهْتِمام, عِناية, رِعاية, حِماية, رِعاية, وِقَايَة, عِناية, حِماية, حِراسة, رِعاية, حِفْظ, صوْن, اِهْتِمام, حِماية, رِعاية, وِقَايَة, بسْتنة, زِرَاعَة الزهُور, ...

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


(documentation Maintaining ChineseLanguage "这是当 agent 照顾或维护 ObjectProcess Class。") Merge.kif 12090-12091
(documentation Maintaining EnglishLanguage "The Class of Processes where the agent cares for or maintains the Object.") Merge.kif 12088-12089
(subclass Maintaining IntentionalProcess) Merge.kif 12087-12087

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


(relatedInternalConcept Repairing Maintaining) Merge.kif 12094-12094
(subclass Agriculture Maintaining) Mid-level-ontology.kif 18432-18432
(subclass ChildCareService Maintaining) Hotel.kif 1809-1809
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5792-5792
(subclass Protecting Maintaining) Mid-level-ontology.kif 15973-15973
(termFormat ChineseLanguage Maintaining "维护") chinese_format.kif 1156-1156
(termFormat EnglishLanguage Maintaining "maintaining") english_format.kif 843-843
(termFormat FrenchLanguage Maintaining "maintenir") french_format.kif 834-834
(termFormat Hindi Maintaining "anurakshana") terms-hindi.txt 366-366
(termFormat ItalianLanguage Maintaining "Mantenere") terms-it.txt 367-367
(termFormat PortugueseLanguage Maintaining "Preservar") portuguese_format.kif 786-786
(termFormat cb Maintaining "pagbaton") terms-cb.txt 371-371
(termFormat cz Maintaining "maintaining") terms-cz.txt 405-405
(termFormat tg Maintaining "pagmamanatili") terms-tg.txt 370-370

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


(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (exists (?MAINTAINING)
            (and
                (instance ?MAINTAINING Maintaining)
                (instrument ?MAINTAINING ?A)
                (experiencer ?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1618-1629
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?M ?MA)
        (and
            (instance ?M Maintaining)
            (eventLocated ?M ?O)
            (subProcess ?M ?EV)
            (or
                (subOrganization ?MA ?A)
                (member ?MA ?A)
                (equal ?MA ?A))
            (agent ?M ?MA))))
MilitaryProcesses.kif 2540-2554
(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (militaryOfArea ?MIL ?NATION))
    (exists (?HN ?MAINTAIN)
        (and
            (experiencer ?FID ?HN)
            (instance ?HN HostNation)
            (not
                (equal ?HN ?NATION))
            (instance ?MAINTAIN Maintaining)
            (agent ?MAINTAIN ?HN))))
MilitaryProcesses.kif 1911-1923
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 50-72
(=>
    (and
        (instance ?UNIT SecurityUnit)
        (subOrganization ?UNIT ?ORG))
    (holdsObligation
        (exists (?MAINTAIN)
            (and
                (instance ?MAINTAIN Maintaining)
                (agent ?MAINTAIN ?UNIT)
                (patient ?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8249-8259
(=>
    (instance ?X BabyMonitoringSystem)
    (exists (?TX ?RX)
        (and
            (instance ?RX RadioReceiver)
            (instance ?TX Device)
            (engineeringSubcomponent ?RX ?X)
            (engineeringSubcomponent ?TX ?X)
            (hasPurpose ?X
                (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
                    (and
                        (instance ?BABY HumanBaby)
                        (instance ?CARER Human)
                        (located ?BABY ?LOC1)
                        (located ?CARER ?LOC2)
                        (not
                            (equal ?LOC1 ?LOC2))
                        (instance ?PROC Maintaining)
                        (patient ?PROC ?BABY)
                        (agent ?PROC ?CARER)
                        (located ?TX ?LOC1)
                        (located ?RX ?LOC2)
                        (instance ?SOUND RadiatingSound)
                        (eventLocated ?SOUND ?LOC1)
                        (instance ?RADIO RadioEmission)
                        (patient ?RADIO ?SOUND)
                        (destination ?RADIO ?RX)
                        (agent ?RADIO ?TX)))))))
Communications.kif 258-284


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