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 1370-1374
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 234-236
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 276-279
No TPTP formula. May not be expressible in strict first order. Merge.kif 1367-1367 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 1368-1368 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 1365-1365 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1364-1364 contains information is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1379-1379 contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1366-1366 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. french_format.kif 65-65
No TPTP formula. May not be expressible in strict first order. relations-it.txt 57-57
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-de.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 84-84
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order. Merge.kif 1339-1339 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4628-4628 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4404-4404 account information is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 744-744 program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 82-82 program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16946-16946 program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16945-16945 program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. terms-de.txt 25-25 program copy is a subrelation of contains information

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28239 A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and equal the proposition and the other proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 728-734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31572
No TPTP formula. May not be expressible in strict first order. Government.kif 736-745
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 16977-16985
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 3150-3157
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. Mid-level-ontology.kif 28198-28214
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 4617-4621

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28239 A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and equal the proposition and the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15443-15448
No TPTP formula. May not be expressible in strict first order. Government.kif 991-1000
No TPTP formula. May not be expressible in strict first order. Government.kif 919-928
No TPTP formula. May not be expressible in strict first order. Merge.kif 17017-17026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31572
No TPTP formula. May not be expressible in strict first order. Merge.kif 12869-12882
No TPTP formula. May not be expressible in strict first order. Merge.kif 10978-10986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7366-7376
No TPTP formula. May not be expressible in strict first order. Merge.kif 11001-11008
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2313-2323
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2301-2311
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 2546-2564
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2539
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2500-2516
No TPTP formula. May not be expressible in strict first order. Geography.kif 3143-3148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17614-17626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28198-28214
No TPTP formula. May not be expressible in strict first order. Merge.kif 4617-4621
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4049-4054
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2702-2707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15233-15240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 902-909
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1654-1675

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19773-19790 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1203-1210 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 885-893 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 1054-1065 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 1122-1136 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