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 11609-11610
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1834-1835
No TPTP formula. May not be expressible in strict first order. Merge.kif 11607-11607 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 23417-23417 Achieving control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4343-4343 Animal guiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18543-18543 Dramatic directing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 11612-11612 Driving is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 11626-11626 Educational process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 69-69 Guiding motion is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 10827-10827 Managing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1725-1725 Moving cursor is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18493-18493 Musical conducting is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 101-101 Physical guiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2252-2252 Rail carrier control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Merge.kif 10817-10817 Regulatory process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23393-23393 Seating is a subclass of guiding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23406-23406 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 808-808
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 340-340
No TPTP formula. May not be expressible in strict first order. terms-it.txt 343-343
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2492-2492
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 760-760
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 345-345
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 379-379
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 829-829

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2317
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 30772-30783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30745-30758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2739-2747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2853-2861
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2350-2360
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2386-2393
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 2301-2307


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