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 12280-12283
No TPTP formula. May not be expressible in strict first order. Merge.kif 12279-12279 Requesting is a subclass of directing

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1544-1544 Bidding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13798-13798 Legal appeal is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7682-7682 Praying is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27921-27921 Prompting is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1232-1232 Reminding is a subclass of requesting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1201-1201
No TPTP formula. May not be expressible in strict first order. english_format.kif 1624-1624

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988
No TPTP formula. May not be expressible in strict first order. Merge.kif 12285-12291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11926-11931

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1563-1585
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4138-4149
No TPTP formula. May not be expressible in strict first order. Government.kif 2326-2333
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1931-1949


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