Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__SymbolicString,s__ContentBearingObject)

s__instance(s__SymbolicString,s__SetOrClass)

Merge.kif 1264-1264 Symbolic string is a subclass of content bearing object
s__instance(s__SearchQuery,s__SetOrClass)

s__subclass(s__SearchQuery,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

UXExperimentalTerms.kif 2620-2620 Search query is a subclass of symbolic string
s__subclass(s__AOCnumber,s__SymbolicString)

s__instance(s__AOCnumber,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

Transportation.kif 3176-3176 AOC number is a subclass of symbolic string
s__instance(s__PhysicalAddress,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

s__subclass(s__PhysicalAddress,s__SymbolicString)

QoSontology.kif 216-216 Physical address is a subclass of symbolic string
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__DigitalData,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

QoSontology.kif 1857-1857 Digital data is a subclass of symbolic string
s__instance(s__UserName,s__SetOrClass)

s__subclass(s__UserName,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

QoSontology.kif 2053-2053 User name is a subclass of symbolic string
s__subclass(s__ComputerPassword,s__SymbolicString)

s__instance(s__ComputerPassword,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

QoSontology.kif 2089-2089 Computer password is a subclass of symbolic string
s__instance(s__Syllable,s__SetOrClass)

s__subclass(s__Syllable,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 18487-18487 Syllable is a subclass of symbolic string
s__instance(s__PostalAddressText,s__SetOrClass)

s__subclass(s__PostalAddressText,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 23864-23864 PostalAddressText is a subclass of symbolic string
s__subclass(s__TelecomNumber,s__SymbolicString)

s__instance(s__TelecomNumber,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 23892-23892 TelecomNumber is a subclass of symbolic string
s__instance(s__AccountNumber,s__SetOrClass)

s__subclass(s__AccountNumber,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 28986-28986 AccountNumber is a subclass of symbolic string
s__instance(s__InvoiceNumber,s__SetOrClass)

s__subclass(s__InvoiceNumber,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 28997-28997 InvoiceNumber is a subclass of symbolic string
s__subclass(s__PurchaseOrderNumber,s__SymbolicString)

s__instance(s__PurchaseOrderNumber,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

Mid-level-ontology.kif 29062-29062 PurchaseOrderNumber is a subclass of symbolic string
s__instance(s__SymbolicString,s__SetOrClass)

s__subclass(s__Character,s__SymbolicString)

s__instance(s__Character,s__SetOrClass)

Merge.kif 1268-1268 Character is a subclass of symbolic string
s__subclass(s__UnicodeString,s__SymbolicString)

s__instance(s__UnicodeString,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

Media.kif 1570-1570 UnicodeString is a subclass of symbolic string
s__subclass(s__AlphabeticString,s__SymbolicString)

s__instance(s__AlphabeticString,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

Media.kif 2871-2871 AlphabeticString is a subclass of symbolic string
s__instance(s__DecimalDigitString,s__SetOrClass)

s__instance(s__SymbolicString,s__SetOrClass)

s__subclass(s__DecimalDigitString,s__SymbolicString)

Media.kif 2881-2881 DecimalDigitString is a subclass of symbolic string
s__subclass(s__AlphaNumericString,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

s__instance(s__AlphaNumericString,s__SetOrClass)

Media.kif 2908-2908 AlphaNumericString is a subclass of symbolic string


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