subProposition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subProposition

subProposition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2203-2205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4641-4644
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 867-869
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4638-4638	Le nombre 1 argument de subProposition est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4639-4639	Le nombre 2 argument de subProposition est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	subProposition est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4636-4636	subProposition est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4637-4637	subProposition est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4635-4635	subProposition est une instance de relation transitive

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.	english_format.kif 188-188
No TPTP formula. May not be expressible in strict first order.	french_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 278-278
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1942-1942
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 238-238
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 315-315
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 470-470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	subPlan est une sous-relation de subProposition
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 188-188
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55784-55784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55783-55783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55782-55782
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 75-75

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-747	Proposition est une instance de ConstitutionFn secteur g�opolitique secteur g�opolitique est une instance de nation gouvernement est gouvernment de secteur g�opolitique temps d'existence de gouvernement est une instance de position temporel agreementEffectiveDuring proposition and position temporel proposition est une sous-proposition de proposition formule contient information proposition gouvernement est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Government.kif 839-843	Objet est une instance de RegionalLaw proposition est une sous-proposition de objet Law est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21174-21204	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 1140-1153	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation processus processus est une instance de VotingFn Election processus est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation RegionalLawFn nation oblige humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1231-1237	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn secteur g�opolitique Female est un attribut de objet objet est un membre de ResidentFn secteur g�opolitique Election est une instance de Election objet est capable de faire VotingFn Election dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1214-1220	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent Male est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1222-1229	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation Election est une instance de ElectionFn nation processus est une instance de VotingFn Election processus est un agent de humain Male est un attribut de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1084-1094	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4646-4653	Proposition est une sous-proposition de proposition ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical contient information proposition ContentBearingPhysical contient information proposition ContentBearingPhysical classe le contenu de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn secteur g�opolitique RegionalLawFn secteur g�opolitique oblige secteur g�opolitique � ex�cut� des t�ches du type entit� entit�, entit� and entit� entit� est un citoyen de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and entit� YearDuration(s) l' entit� est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn secteur g�opolitique entit� entit� est une instance de VotingFn entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1070-1082	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain Election, nombre r�el and nombre r�el humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 702-717	agreementRevisionDate proposition , position temporel and proposition position temporel position temporel est une instance de position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 993-1002	Secteur g�opolitique est une instance de secteur g�opolitique suffrageAgeMaximum secteur g�opolitique and dur�e temporel dur�e temporelRULE dur�e temporelRULE est une instance de VoterAgeRequirement dur�e temporelRULE est une sous-proposition de RegionalLawFn secteur g�opolitique suffrageAgeMaximum secteur g�opolitique and dur�e temporel contient information dur�e temporelRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 921-930	Secteur g�opolitique est une instance de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and dur�e temporel dur�e temporelRULE dur�e temporelRULE est une instance de VoterAgeRequirement dur�e temporelRULE est une sous-proposition de RegionalLawFn secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and dur�e temporel contient information dur�e temporelRULE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16961	Argument est une instance de Argument formule est introduction Argument proposition est une sous-proposition de formule premise Argument and proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-885	Secteur g�opolitique est une instance de secteur g�opolitique governmentType secteur g�opolitique and Democracy VoterCitizenshipRequirement est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 870-877	Secteur g�opolitique est une instance de nation governmentType secteur g�opolitique and Democracy proposition proposition est une instance de SuffrageLaw proposition est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Music.kif 920-922	LyricalContent est LyricalComponentFn Song LyricalContent est une sous-proposition de Song
No TPTP formula. May not be expressible in strict first order.	Music.kif 908-910	MusicalComposition est MusicalComponentFn Song MusicalComposition est une sous-proposition de Song
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1929-1934	Proposition est une instance de ApplicationProgrammerInterface proposition proposition est une instance de programme d'ordinateur proposition est une sous-proposition de proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 617-625	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 627-635	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.	Government.kif 899-904	Secteur g�opolitique est une instance de nation proposition proposition est une instance de VoterAgeRequirement proposition est une sous-proposition de RegionalLawFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13829-13835	Proposition est une instance de LyricalContent ContentBearingPhysical proposition ContentBearingPhysical est une instance de mot ContentBearingPhysical contient information proposition proposition est une sous-proposition de proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2824-2830	Entit� est une instance de TravelReservation l'argument entit� entit� est une instance de FlightReservation entit� est une sous-proposition de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14174	Proposition a un attribute Contract formule formule est une sous-proposition de proposition l'argument formule a la force modale de Legal

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