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. chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order. Merge.kif 1257-1261
No TPTP formula. May not be expressible in strict first order. Merge.kif 1254-1254 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 1255-1255 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 1252-1252 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 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 1253-1253 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 1226-1226 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4428-4428 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4380-4380 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 753-759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25873-25887
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
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 1508-1514
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1516-1522
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1554-1561
No TPTP formula. May not be expressible in strict first order. Merge.kif 15672-15680
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1793-1799
No TPTP formula. May not be expressible in strict first order. Geography.kif 2906-2913
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
No TPTP formula. May not be expressible in strict first order. emotion.kif 1926-1939
No TPTP formula. May not be expressible in strict first order. Government.kif 2304-2311

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10853-10858
No TPTP formula. May not be expressible in strict first order. Government.kif 1015-1024
No TPTP formula. May not be expressible in strict first order. Government.kif 943-952
No TPTP formula. May not be expressible in strict first order. Merge.kif 15712-15721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25873-25887
No TPTP formula. May not be expressible in strict first order. Merge.kif 11823-11835
No TPTP formula. May not be expressible in strict first order. Merge.kif 10161-10169
No TPTP formula. May not be expressible in strict first order. Merge.kif 10184-10191
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2187-2197
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2175-2185
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 2495-2513
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2472-2488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2449-2465
No TPTP formula. May not be expressible in strict first order. Geography.kif 2899-2904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12929-12941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14773-14793
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3922-3927
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 10643-10650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 852-859
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25925-25937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12673-12687

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 1227-1234 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 909-917 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 1078-1089 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 1146-1160 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE 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 3.0 is open source software produced by Articulate Software and its partners