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, Objeto_Representendo_Conteudo_Abstrato, OggettoSemiotico, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1356-1358
No TPTP formula. May not be expressible in strict first order. Merge.kif 1352-1355
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 1350-1350 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1349-1349 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. Society.kif 1291-1291 Appellation is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15488-15488 The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2721 Compass is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1345-1345 Computer file is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 676-676 Constitution document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21899-21899 Descriptor is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21921-21921 DescriptorPart is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23999-23999 Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 670-670 Feedback is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Offers.kif 211-211 GreetingCard is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12311-12311 Holiday card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 386-386 Multipole diagram is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14449-14449 Playing card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 552-552 Process state is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11745-11745 Recording is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11770-11770 Sheet music is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1053-1053 Ship register is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1034-1034 Ship registration is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14443-14443 Sign is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1360-1360 Symbolic string is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15321-15321 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1670-1670 Uniform resource identifier is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2024-2024 User account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23758-23758 VisualContentBearingObject is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1368-1368 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 3390-3390 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 2180-2180 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 20838-20838 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 20199-20199 The number 1 argument of inventory is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11690-11690 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 11716-11716 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 15486-15486 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 15429-15429 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 1495-1501
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. 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. Dining.kif 247-256
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 95-100

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 241-243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3889-3899
No TPTP formula. May not be expressible in strict first order. Merge.kif 12455-12460
No TPTP formula. May not be expressible in strict first order. Merge.kif 4718-4723


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