Proposition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2031-2038
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3556-3570
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 673-682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3555-3555	Proposition est une sous-classe de abstrait

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26901-26901	AmericansWithDisabilitiesAct est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3155-3155	AmericansWithDisabilitiesAct-US est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2406-2406	AntiterrorismAndEffectiveDeathPenaltyAct est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2404-2404	ImmigrationAndNationalityAct-Section219-US est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2401-2401	ImmigrationAndNationalityAct-US est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16902-16902	Le domaine de PremisesFn est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13956-13956	Agreement est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16834-16834	Argument est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3882-3882	BankStatement est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 31-31	Catalog est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22772-22772	ClassificationScheme est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 647-647	Constitution est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1639-1639	EconomicIndicator est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 150-150	Equation est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16791-16791	Champ d'�tude est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5622-5622	Graph est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5819-5819	�lement du graph Est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2725-2725	HotelPackage est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13785-13785	LyricalContent est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1541-1541	MealPlan est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 69-69	Model est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1266-1266	MultipolePostulate est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13732-13732	Musique est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27173-27173	Policy est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 184-184	PricingScheme est une sous-classe de proposition

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3012-3012	Le nombre 1 argument de DocumentFn est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4412-4412	Le nombre 2 argument de accountInformation est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 698-698	Le nombre 1 argument de agreementAdoptionDate est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14066-14066	Le nombre 1 argument de agreementClause est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 758-758	Le nombre 1 argument de agreementEffectiveDuring est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 729-729	Le nombre 1 argument de agreementRevisionDate est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 731-731	Le nombre 3 argument de agreementRevisionDate est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 787-787	Le nombre 2 argument de capacityByArrangement est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16918-16918	Le nombre 2 argument de conclusion est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26918-26918	Le nombre 2 argument de conforms est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16926-16926	Le nombre 1 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16927-16927	Le nombre 2 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1358-1358	Le nombre 2 argument de containsInformation est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3070-3070	Le nombre 1 argument de dateOpenedForSignature est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7136-7136	Le nombre 1 argument de insured est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Music.kif 1454-1454	Le nombre 1 argument de originalExpressedInLanguage est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16894-16894	Le nombre 2 argument de premise est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 170-170	Le nombre 2 argument de propositionOwner est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4598-4598	Le nombre 2 argument de realization est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2971-2971	Le nombre 2 argument de reservedPackage est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4637-4637	Le nombre 1 argument de subProposition est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4638-4638	Le nombre 2 argument de subProposition est une instance de proposition

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1670-1670

Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29962-29972	buys agent cognitif, AutonomousAgent and proposition proposition est une instance de proposition processus processus processus est un agent de agent cognitif processus exprime le contenu de proposition processus est une instance de acheter processus est un patient de processus processus a pour origine AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	Processus est une instance de cr�ation proposition est le resultat de processus proposition est une instance de proposition processus est un agent de agent cognitif propositionOwner agent cognitif and proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	Proposition est une instance de proposition ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition processus est une instance de communication ContentBearingPhysical est un patient de processus processus d�finie proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3018-3023	Proposition est une instance de proposition proposition est une instance de DocumentFn proposition ContentBearingPhysical ContentBearingPhysical contient information proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	Processus est une instance de ReconnaissanceOperation processus est un agent de AutonomousAgent entit� est une instance de proposition processus a pour but AutonomousAgent conna�t entit�
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de proposition l'argument entit� entit� and entit� entit� est une instance de entit� entit� exprime le contenu de entit� entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de AutonomousAgent a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16995-17001	Entit� a un attribute attribut attribut est une instance de vrai entit� est une instance de phrase entit� est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	evidence action l�gale and physique Argument physiqueROP physiqueROP est une instance de proposition Argument est une instance de Argument Argument inclut une r�f�rence � action l�gale physiqueROP d�finie physique premise Argument and physiqueROP
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	Proposition est une instance de Constitution formule proposition formule est une instance de formule formule contient information proposition proposition est une instance de proposition proposition est une sous-proposition de proposition l'argument formule a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	Proposition est une instance de Constitution formule proposition formule est une instance de formule formule contient information proposition proposition est une instance de proposition proposition est une sous-proposition de proposition l'argument formule a la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15469-15474	ContentBearingPhysical est une instance de phrase proposition proposition est une instance de proposition ContentBearingPhysical contient information proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	Physique est une instance de DataWarehouse physique a pour but entit� entit� est une instance de proposition entit� entit� inclut une r�f�rence � entit� entit� est un composant de physique

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

KB Term:			Term intersection

English Word: