Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proposition

Sigma KEE - Proposition
Proposition(proposition )

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 26913-26913 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 16880-16880 Le domaine de PremisesFn est une instance de proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13957-13957 Agreement est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16812-16812 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 22773-22773 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 16769-16769 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 13786-13786 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 13733-13733 Musique est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27185-27185 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 14067-14067 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 16896-16896 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 26930-26930 Le nombre 2 argument de conforms est une instance de proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16904-16904 Le nombre 1 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16905-16905 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 7137-7137 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 16872-16872 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 29974-29984
No TPTP formula. May not be expressible in strict first order. Catalog.kif 172-178
No TPTP formula. May not be expressible in strict first order. Geography.kif 3025-3032
No TPTP formula. May not be expressible in strict first order. Geography.kif 3018-3023
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 684-690
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-76

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16973-16979
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. Government.kif 653-661
No TPTP formula. May not be expressible in strict first order. Government.kif 663-671
No TPTP formula. May not be expressible in strict first order. Merge.kif 15447-15452
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2204-2213


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