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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - containsInformation
containsInformation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1391-1393
No TPTP formula. May not be expressible in strict first order. Merge.kif 1386-1390
No TPTP formula. May not be expressible in strict first order. Merge.kif 1384-1384 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 1385-1385 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 1382-1382 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1381-1381 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 1383-1383 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 67-67
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. portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 15-15
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-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order. Merge.kif 1351-1351 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4708-4708 realization is internally related to 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 "包含信息" is the printable form of contains information in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3244-3244 "contains information" is the printable form of contains information in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 465-465 "«يَتَضَمَّن مَعْلُومَات»" is the printable form of contains information in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 131-131 "may kaalaman" is the printable form of contains information in tg

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


No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 175-181
No TPTP formula. May not be expressible in strict first order. Government.kif 760-766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27369-27383
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
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. TravelPolicies.kif 285-290
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1495-1501
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1503-1509
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1541-1548
No TPTP formula. May not be expressible in strict first order. Merge.kif 16956-16964
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1780-1786
No TPTP formula. May not be expressible in strict first order. Geography.kif 2871-2878
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 617-624
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
No TPTP formula. May not be expressible in strict first order. emotion.kif 1914-1924
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11415-11420
No TPTP formula. May not be expressible in strict first order. Government.kif 1014-1023
No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
No TPTP formula. May not be expressible in strict first order. Merge.kif 17002-17011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27369-27383
No TPTP formula. May not be expressible in strict first order. Merge.kif 12503-12515
No TPTP formula. May not be expressible in strict first order. Merge.kif 10669-10677
No TPTP formula. May not be expressible in strict first order. Merge.kif 10695-10702
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2161-2171
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2149-2159
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 849-861
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 832-844
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 2476-2494
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2453-2469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2430-2446
No TPTP formula. May not be expressible in strict first order. Geography.kif 2865-2869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13613-13625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15561-15581
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3867-3872
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2910-2915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11206-11213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1296-1303
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2804-2813
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 102-107

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 1202-1209 For all an agent, another agent,, , an election and a process contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 For all a nation, an election,, , a process and a human contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078 For all a nation, a human,, , an election,, , a time duration and another time duration contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141 For all a nation, a human,, , an election,, , a time duration and another time duration contains information compulsory suffrage law


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners