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 12370-12371
(subclass Maintaining IntentionalProcess) Merge.kif 12369-12369 維持意図的なプロセスsubclass では

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


(relatedInternalConcept Repairing Maintaining) Merge.kif 12374-12374 修理維持internally 関連して
(subclass Agriculture Maintaining) Mid-level-ontology.kif 22455-22455 Agriculture維持subclass では
(subclass ChildCareService Maintaining) Hotel.kif 1876-1876 ChildCareService維持subclass では
(subclass Cleaning Maintaining) Mid-level-ontology.kif 6488-6488 Cleaning維持subclass では
(subclass Protecting Maintaining) Mid-level-ontology.kif 19988-19988 Protecting維持subclass では
(termFormat ChineseLanguage Maintaining "维护") chinese_format.kif 1156-1156 Protecting維持subclass では
(termFormat EnglishLanguage Maintaining "maintaining") english_format.kif 1529-1529 Protecting維持subclass では
(termFormat FrenchLanguage Maintaining "maintenir") french_format.kif 834-834 Protecting維持subclass では
(termFormat Hindi Maintaining "anurakshana") terms-hindi.txt 366-366 Protecting維持subclass では
(termFormat ItalianLanguage Maintaining "Mantenere") terms-it.txt 369-369 Protecting維持subclass では
(termFormat JapaneseLanguage Maintaining "維持") japanese_format.kif 2518-2518 Protecting維持subclass では
(termFormat PortugueseLanguage Maintaining "Preservar") portuguese_format.kif 786-786 Protecting維持subclass では
(termFormat cb Maintaining "pagbaton") terms-cb.txt 371-371 Protecting維持subclass では
(termFormat cz Maintaining "maintaining") terms-cz.txt 405-405 Protecting維持subclass では
(termFormat de Maintaining "Beibehalten") terms-de.txt 664-664 Protecting維持subclass では
(termFormat ro Maintaining "menþinere") relations-ro.kif 855-855 Protecting維持subclass では
(termFormat tg Maintaining "pagmamanatili") terms-tg.txt 370-370 Protecting維持subclass では

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


(=>
    (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 2607-2621
(=>
    (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 9732-9742
(=>
    (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