Offering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Offering

Offering

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3276-3278
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13281-13285
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11533-11533
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11532-11532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11538-11538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10159-10159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11539-11539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11534-11534
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11536-11536
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11537-11537
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13279-13279	Offering est une sous-classe de investir

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7871-7871	BargainSale est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7854-7854	OfferingForSale est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7868-7868	OfferingToPurchase est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10727-10727	Volunteering est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41664-41664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41663-41663
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41662-41662

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	Processus est une instance de processus intentionnel ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement processus processus, processus1 and processus2 processus est une instance de Offering processus est une instance de ReachingAgreement processus inclut une r�f�rence � Agreement processus inclut une r�f�rence � Agreement processus est un agent de processus1 processus est un agent de processus2 temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1933-1943	askPrice objet, mesure de devise and AutonomousAgent processus processus est une instance de Offering entit� entit� est une instance de vendre entit� est un agent de AutonomousAgent objet est un patient de entit� transactionAmount entit� and mesure de devise est un patient de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	bidPrice objet, mesure de devise and AutonomousAgent processus processus est une instance de Offering entit� entit� est une instance de acheter entit� est un agent de AutonomousAgent objet est un patient de entit� transactionAmount entit� and mesure de devise est un patient de processus

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