Directing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3265-3266
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13224-13226
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13223-13223	Diriger est une sous-classe de LinguisticCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13228-13228	Ordonner est une sous-classe de diriger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13254-13254	Questioner est une sous-classe de diriger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13240-13240	Demander est une sous-classe de diriger
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1199-1199
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1615-1615
No TPTP formula. May not be expressible in strict first order.	french_format.kif 877-877
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 410-410
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 413-413
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2561-2561
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 829-829
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 415-415
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 449-449
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 898-898
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 414-414

appearance as argument number 4

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13082-13082

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18580-18585