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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Requesting
Requesting(requesting)adjuration, adjuratory, adjure, admonish, advance, advice, advise, advocate, allure, appeal, apply, approach, ask, ask_out, ask_over, ask_round, asking, assess, badger, bear_on, beep, beg, beg_off, beggary, begging, benediction, beseech, beseeching, besiege, bespeak, bid, bidding, bill, billing, blarney, blessing, book_up, bring, bring_around, bring_round, bum, buttonhole, buyout_bid, buzz, by-bid, cadge, cajole, call, call-out, call_for...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3270-3271
No TPTP formula. May not be expressible in strict first order. Merge.kif 13334-13337
No TPTP formula. May not be expressible in strict first order. Merge.kif 13333-13333 Requesting is a subclass of directing

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1347-1347 Bidding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17506-17506 Legal appeal is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9171-9171 Praying is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31626-31626 Prompting is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 837-837 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1201-1201 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. english_format.kif 1619-1619 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. french_format.kif 879-879 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 412-412 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-it.txt 415-415 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2563-2563 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 831-831 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 417-417 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 451-451 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-de.txt 710-710 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 900-900 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 416-416 Reminding is a subclass of requesting

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3759-3784
No TPTP formula. May not be expressible in strict first order. Merge.kif 13339-13345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15647-15652

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1582-1604
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4192-4203
No TPTP formula. May not be expressible in strict first order. Government.kif 2314-2321
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1980-1998


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