TreeView Knowledge Base Browser - Offering

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 13257-13261
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 13255-13255	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 7843-7843	BargainSale est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7826-7826	OfferingForSale est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7840-7840	OfferingToPurchase est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10715-10715	Volunteering est une sous-classe de Offering
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41662-41662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41661-41661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41660-41660

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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