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

Formal Language: 



KB Term:  Term intersection
English Word: 

  containsInformation

Sigma KEE - containsInformation
containsInformation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order. Merge.kif 1321-1325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1318-1318 The number 1 argument of contains information is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1319-1319 The number 2 argument of contains information is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1316-1316 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1315-1315 contains information is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Law.kif 23-23 contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1317-1317 contains information is a subrelation of represents

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 81-81
No TPTP formula. May not be expressible in strict first order. english_format.kif 81-81
No TPTP formula. May not be expressible in strict first order. Merge.kif 1290-1290 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4512-4512 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4372-4372 account information is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 633-633 program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16928-16928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16927-16927

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 764-770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29143-29157
No TPTP formula. May not be expressible in strict first order. Government.kif 772-780
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1527-1533
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1535-1541
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1573-1580
No TPTP formula. May not be expressible in strict first order. Merge.kif 16548-16556
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1812-1818
No TPTP formula. May not be expressible in strict first order. Geography.kif 2947-2954
No TPTP formula. May not be expressible in strict first order. emotion.kif 2016-2029
No TPTP formula. May not be expressible in strict first order. Government.kif 2328-2335
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-949
No TPTP formula. May not be expressible in strict first order. Merge.kif 4501-4505

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13591-13596
No TPTP formula. May not be expressible in strict first order. Government.kif 1026-1035
No TPTP formula. May not be expressible in strict first order. Government.kif 954-963
No TPTP formula. May not be expressible in strict first order. Merge.kif 16588-16597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29143-29157
No TPTP formula. May not be expressible in strict first order. Merge.kif 12492-12505
No TPTP formula. May not be expressible in strict first order. Merge.kif 10739-10747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6136-6146
No TPTP formula. May not be expressible in strict first order. Merge.kif 10762-10769
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2186-2196
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2174-2184
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2535-2553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2512-2528
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2489-2505
No TPTP formula. May not be expressible in strict first order. Geography.kif 2940-2945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15723-15735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17666-17685
No TPTP formula. May not be expressible in strict first order. Merge.kif 4501-4505
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3983-3988
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2912-2917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13381-13388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 876-883
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1862-1883
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1238-1245 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 920-928 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1089-1100 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1157-1171 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law


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