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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Giving
Giving(giving)
more pictures...
abdicate, abnegate, accommodate, accommodation, accord, accordance, accordance_of_rights, accoutered, accoutred, administer, advantage, alcoholize, alienation, aliment, alimony, allocate, allocation, allot, allotment, allowance, apanage, appanage, apportion, apportioning, apportionment, armored, assignation, assignment, back, bail, bailment, bankroll, banquet, barrack, befuddle, benefice, board, bonus, bottlefeed, breakfast, breastfeed, bring_in, bung, cast-off, cater, cede, ceding, certificate, cession, chuck...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3073-3074
No TPTP formula. May not be expressible in strict first order. Merge.kif 10925-10926
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11111-11111
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11112-11112
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10054-10054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11114-11114
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11113-11113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11110-11110
No TPTP formula. May not be expressible in strict first order. Merge.kif 10923-10923 Giving is a subclass of change of possession

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1210-1210 Distribute products is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8938-8938 Feeding is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Military.kif 50-50 Food distribution operation is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 10948-10948 Funding is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 11000-11000 Giving back is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 10979-10979 Lending is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 10964-10964 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1133-1133
No TPTP formula. May not be expressible in strict first order. english_format.kif 1488-1488

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Merge.kif 10942-10946
No TPTP formula. May not be expressible in strict first order. Merge.kif 10928-10940

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11006-11016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15103-15116
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3186-3193
No TPTP formula. May not be expressible in strict first order. Military.kif 53-60
No TPTP formula. May not be expressible in strict first order. Merge.kif 11058-11075


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