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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maintaining
Maintaining

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


(documentation Maintaining ChineseLanguage "这是当 agent 照顾或维护 ObjectProcess Class。") chinese_format.kif 3145-3146
(documentation Maintaining EnglishLanguage "The Class of Processes where the agent cares for or maintains the Object.") Merge.kif 12220-12221
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 Maintaining ist eine teilkategorie von IntentionalProcess

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


(relatedInternalConcept Repairing Maintaining) Merge.kif 12224-12224 Repairing ist innerlich verwandt mit Maintaining %n{nicht}
(subclass Agriculture Maintaining) Mid-level-ontology.kif 20838-20838 Agriculture ist eine teilkategorie von Maintaining
(subclass ChildCareService Maintaining) Hotel.kif 1865-1865 ChildCareService ist eine teilkategorie von Maintaining
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5551-5551 Cleaning ist eine teilkategorie von Maintaining
(subclass Protecting Maintaining) Mid-level-ontology.kif 18417-18417 Protecting ist eine teilkategorie von Maintaining
(termFormat ChineseLanguage Maintaining "维护") chinese_format.kif 1156-1156
(termFormat EnglishLanguage Maintaining "maintaining") english_format.kif 1529-1529
(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 369-369
(termFormat JapaneseLanguage Maintaining "維持") japanese_format.kif 2518-2518
(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 ro Maintaining "menþinere") relations-ro.kif 855-855
(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 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 2573-2587
(=>
    (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 8526-8536
(=>
    (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