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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Guiding

Sigma KEE - Guiding
Guiding(guiding)act_upon, advisory, aim, airt, angle-park, astrogate, astronavigation, beacon, becharm, blackjack, blackmail, block, block_off, bouse, bowse, break_up, bring_up, call_the_shots, call_the_tune, caller, canalise, canalize, carrot, carry_on, cart, celestial_guidance, celestial_navigation, channel, channelise, channelize, charm, chock, clog, close_off, close_up, command, command_guidance, compere, conduct, conn, constrain, consultative, consultatory, consultive, control, corner, correct, cradle, crowd, cumber...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3066-3067
No TPTP formula. May not be expressible in strict first order. Merge.kif 11448-11449
No TPTP formula. May not be expressible in strict first order. Merge.kif 11446-11446 Guiding is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22864-22864 Achieving control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4237-4237 AnimalGuiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17918-17918 Dramatic directing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 11451-11451 Driving is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 11465-11465 Educational process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 69-69 GuidingMotion is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 10719-10719 Managing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1722-1722 MovingCursor is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17868-17868 MusicalConducting is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 101-101 PhysicalGuiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2259-2259 Rail carrier control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 10709-10709 Regulatory process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22840-22840 Seating is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22853-22853 Signalling is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1130-1130
No TPTP formula. May not be expressible in strict first order. english_format.kif 1477-1477

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2306-2314
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1051-1063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30174-30185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30147-30160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2698-2706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2808-2816
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2349-2359
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2385-2392
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 290-297
No TPTP formula. May not be expressible in strict first order. Government.kif 2298-2304


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