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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 12355-12356
No TPTP formula. May not be expressible in strict first order. Merge.kif 12354-12354 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 12359-12359 Repairing is internally related to maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22455-22455 Agriculture is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1876-1876 Child-care service is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6488-6488 Cleaning is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19988-19988 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1156-1156 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. english_format.kif 1529-1529 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. french_format.kif 834-834 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 366-366 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-it.txt 369-369 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2518-2518 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 786-786 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 371-371 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 405-405 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-de.txt 664-664 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 855-855 Protecting is a subclass of maintaining
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 370-370 Protecting is a subclass of maintaining

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2621
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 9732-9742
No TPTP formula. May not be expressible in strict first order. 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