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 11820-11821
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1842-1843
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11077-11077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11078-11078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10033-10033
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11080-11080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11079-11079
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11076-11076
No TPTP formula. May not be expressible in strict first order. Merge.kif 11818-11818 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 1211-1211 Distribute products is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12904-12904 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 11843-11843 Funding is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 11907-11907 Giving back is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 11874-11874 Lending is a subclass of giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 11859-11859 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1133-1133 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. english_format.kif 1483-1483 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. french_format.kif 811-811 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 343-343 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-it.txt 346-346 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2495-2495 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 763-763 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 348-348 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 382-382 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-de.txt 641-641 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 832-832 Unilateral giving is a subclass of giving
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 347-347 Unilateral giving is a subclass of giving

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 173-179
No TPTP formula. May not be expressible in strict first order. Merge.kif 11837-11841
No TPTP formula. May not be expressible in strict first order. Merge.kif 11823-11835

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11913-11923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20135-20148
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4085-4092
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 11965-11982


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