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 1360-1364
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 1357-1357 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 1358-1358 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 1355-1355 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1354-1354 contains information is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1369-1369 contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 1356-1356 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 1329-1329 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4600-4600 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4409-4409 account information is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 635-635 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 16937-16937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16936-16936
No TPTP formula. May not be expressible in strict first order. terms-de.txt 25-25

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 26329-26340 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 the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 766-772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
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 16802-16810
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 3025-3032
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 26299-26315
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 4589-4593

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26329-26340 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 the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14072-14077
No TPTP formula. May not be expressible in strict first order. Government.kif 1029-1038
No TPTP formula. May not be expressible in strict first order. Government.kif 957-966
No TPTP formula. May not be expressible in strict first order. Merge.kif 16842-16851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728
No TPTP formula. May not be expressible in strict first order. Merge.kif 10840-10848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6429-6439
No TPTP formula. May not be expressible in strict first order. Merge.kif 10863-10870
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2181-2191
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2169-2179
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 3018-3023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16227-16239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26299-26315
No TPTP formula. May not be expressible in strict first order. Merge.kif 4589-4593
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4031-4036
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 13862-13869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 909-916
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 18202-18219 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 1241-1248 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 923-931 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 1092-1103 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 1160-1174 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