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 1259-1263
No TPTP formula. May not be expressible in strict first order. Merge.kif 1256-1256 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 1257-1257 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 1254-1254 contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1253-1253 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 1255-1255 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 1228-1228 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4283-4283 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 16866-16866 "包含信息" is the printable form of contains information in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16865-16865 "contains information" is the printable form of contains information in english language

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 27804-27818
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 15503-15511
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 2884-2891
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 1919-1929
No TPTP formula. May not be expressible in strict first order. Government.kif 2272-2279

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11680-11685
No TPTP formula. May not be expressible in strict first order. Government.kif 1007-1016
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 15543-15552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27804-27818
No TPTP formula. May not be expressible in strict first order. Merge.kif 11667-11679
No TPTP formula. May not be expressible in strict first order. Merge.kif 10002-10010
No TPTP formula. May not be expressible in strict first order. Merge.kif 10025-10032
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 2481-2499
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2458-2474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2435-2451
No TPTP formula. May not be expressible in strict first order. Geography.kif 2877-2882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13873-13885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15892-15912
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3873-3878
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2907-2912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11471-11478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1291-1298
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2801-2810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27856-27868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13622-13636
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1604-1609

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 1195-1202 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 1062-1071 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-1134 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
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