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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingObject
ContentBearingObject(content bearing object)ABA_transit_number, BIN, C, C_clef, Christian_name, F_clef, G_clef, I.D., ID, John_Hancock, Labanotation, Latin_square, Lukasiewicz_notation, MEDLARS, Mass_card, Medical_Literature_Analysis_and_Retrieval_System, Polish_notation, Princeton_WordNet, Social_Security_number, Station_of_the_Cross, Universal_Product_Code, WordNet, a.k.a., accentual_system, acciaccatura, accidental, accolade, actuarial_table, address, adducing, adult, adumbration, aerogram, aerogramme, air_letter, air_mail, airmail, airmail_letter, algorism, alias, alla_breve, allograph, allusion, also_known_as, alto_clef, anon., anonymous, antigenic_determinant, appoggiatura, argument...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1641-1643
No TPTP formula. May not be expressible in strict first order. Merge.kif 1341-1344
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 225-228
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 267-270
No TPTP formula. May not be expressible in strict first order. Merge.kif 1339-1339 Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 1338-1338 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1337-1337 Content bearing object is a subclass of corpuscular object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15660-15660 The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4535-4535 Account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2724-2724 Compass is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 646-646 Constitution document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26188-26188 Descriptor is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26205-26205 Descriptor part is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28285-28285 Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 781-781 Feedback is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16240-16240 Holiday card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 380-380 Multipole diagram is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18512-18512 Playing card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 662-662 Process state is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1396-1396 Recording is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15778-15778 Sheet music is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1106-1106 Ship register is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1087-1087 Ship registration is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18506-18506 Sign is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15513-15513 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1805-1805 Uniform resource identifier is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2166-2166 User account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28109-28109 Visual content bearing object is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1676-1676 Web document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 833-833 Web document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. english_format.kif 868-868 Web document is a subclass of content bearing object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3517-3517 The number 1 argument of card code is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2332-2332 The number 1 argument of coding is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24962-24962 The number 1 argument of deceptive identifier is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24358-24358 The number 1 argument of inventory is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2383-2383 The number 1 argument of mime type is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15704-15704 The number 1 argument of record is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15730-15730 The number 1 argument of stored is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15658-15658 The number 1 argument of edition is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15609-15609 The number 2 argument of authors is a subclass of content bearing object

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


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. Merge.kif 10978-10986
No TPTP formula. May not be expressible in strict first order. Merge.kif 11001-11008
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 16977-16985
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 3183-3190
No TPTP formula. May not be expressible in strict first order. Dining.kif 244-253

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 240-242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3799-3809
No TPTP formula. May not be expressible in strict first order. Merge.kif 12829-12834
No TPTP formula. May not be expressible in strict first order. Merge.kif 4636-4641


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