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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maintaining
Maintaining(maintenir)

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


(documentation Maintaining ChineseLanguage "这是当 agent 照顾或维护 Object 的 Process Class。") chinese_format.kif 3145-3146
(documentation Maintaining EnglishLanguage "The Class of Processes where the agent cares for or maintains the Object.") Merge.kif 12325-12326
(subclass Maintaining IntentionalProcess) Merge.kif 12324-12324 Maintenir est une sous-classe de processus intentionnel

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


(relatedInternalConcept Repairing Maintaining) Merge.kif 12329-12329 R�parer est reli� � l'int�rieur de SUMO � maintenir
(subclass Agriculture Maintaining) Mid-level-ontology.kif 22462-22462 Agriculture est une sous-classe de maintenir
(subclass ChildCareService Maintaining) Hotel.kif 1865-1865 ChildCareService est une sous-classe de maintenir
(subclass Cleaning Maintaining) Mid-level-ontology.kif 6514-6514 Cleaning est une sous-classe de maintenir
(subclass Protecting Maintaining) Mid-level-ontology.kif 19995-19995 Protecting est une sous-classe de maintenir
(termFormat ChineseLanguage Maintaining "维护") chinese_format.kif 1156-1156 Protecting est une sous-classe de maintenir
(termFormat EnglishLanguage Maintaining "maintaining") english_format.kif 1529-1529 Protecting est une sous-classe de maintenir
(termFormat FrenchLanguage Maintaining "maintenir") french_format.kif 834-834 Protecting est une sous-classe de maintenir
(termFormat Hindi Maintaining "anurakshana") terms-hindi.txt 366-366 Protecting est une sous-classe de maintenir
(termFormat ItalianLanguage Maintaining "Mantenere") terms-it.txt 369-369 Protecting est une sous-classe de maintenir
(termFormat JapaneseLanguage Maintaining "維持") japanese_format.kif 2518-2518 Protecting est une sous-classe de maintenir
(termFormat PortugueseLanguage Maintaining "Preservar") portuguese_format.kif 786-786 Protecting est une sous-classe de maintenir
(termFormat cb Maintaining "pagbaton") terms-cb.txt 371-371 Protecting est une sous-classe de maintenir
(termFormat cz Maintaining "maintaining") terms-cz.txt 405-405 Protecting est une sous-classe de maintenir
(termFormat de Maintaining "Beibehalten") terms-de.txt 664-664 Protecting est une sous-classe de maintenir
(termFormat ro Maintaining "menþinere") relations-ro.kif 855-855 Protecting est une sous-classe de maintenir
(termFormat tg Maintaining "pagmamanatili") terms-tg.txt 370-370 Protecting est une sous-classe de maintenir

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 1619-1630
(=>
    (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 2605-2619
(=>
    (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 1943-1955
(=>
    (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 9752-9762
(=>
    (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 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