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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentInstance
subsumesContentInstance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4690-4694
No TPTP formula. May not be expressible in strict first order. Merge.kif 4682-4689
No TPTP formula. May not be expressible in strict first order. Merge.kif 4679-4679 The number 1 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4680-4680 The number 2 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4677-4677 subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4678-4678 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4681-4681 subsumes content instance is internally related to subsumes content class

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 241-241
No TPTP formula. May not be expressible in strict first order. english_format.kif 147-147
No TPTP formula. May not be expressible in strict first order. french_format.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-it.txt 283-283
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 88-88
No TPTP formula. May not be expressible in strict first order. relations-de.txt 311-311
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 320-320
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 475-475
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 242-242 "包含内容实例" is the printable form of subsumes content instance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9732-9732 "subsumes content instance" is the printable form of subsumes content instance in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 538-538 "«يَتَضَمَّن مَضْمُون»" is the printable form of subsumes content instance in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4671-4675 A content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical if and only if the content bearing physical is equivalent to the other content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12166-12175
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15374
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4701

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1017-1021
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1023-1027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12166-12175
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1044-1051
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1104-1113
No TPTP formula. May not be expressible in strict first order. Merge.kif 15401-15410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12182-12187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27389-27397
No TPTP formula. May not be expressible in strict first order. Media.kif 1524-1530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27446-27458
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12266-12271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12062-12067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12134-12142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12038-12043
No TPTP formula. May not be expressible in strict first order. Merge.kif 15571-15576
No TPTP formula. May not be expressible in strict first order. Merge.kif 4754-4761

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2350-2350 Immigration and nationality act-U s subsumes the content of immigration and nationality act- section219-U s


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