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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maintaining

Sigma KEE - Maintaining
Maintaining(maintaining)TLC, accompaniment, adjust, aftercare, aid, air_cover, apiarian, apicultural, aquacultural, aquicultural, attention, bear_on, brush, brushing, calibrate, camera_care, car_care, care, carry_on, charge, child_care, childcare, conservancy, conservation, conserved, continue, convoy, correct, covering, criminal_maintenance, cultural, culture, day_care, daycare, defence, defense, dental_care, embalm, embalmment, environmentalism, escort, facial, fine-tune, floricultural, floriculture, flower_gardening, focalise, focalize, focus, graduate...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3145-3146
No TPTP formula. May not be expressible in strict first order. Merge.kif 12220-12221
No TPTP formula. May not be expressible in strict first order. Merge.kif 12219-12219 Maintaining is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12224-12224 Repairing is internally related to maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20838-20838 Agriculture is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1865-1865 Child-care service is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5551-5551 Cleaning is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18417-18417 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1156-1156
No TPTP formula. May not be expressible in strict first order. english_format.kif 1529-1529
No TPTP formula. May not be expressible in strict first order. french_format.kif 834-834
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 366-366
No TPTP formula. May not be expressible in strict first order. terms-it.txt 369-369
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2518-2518
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 786-786
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 371-371
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 405-405
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 855-855
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 370-370

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2573-2587
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1943-1955
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8526-8536
No TPTP formula. May not be expressible in strict first order. 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 3.0 is open source software produced by Articulate Software and its partners