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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 1336-1336 Symbolic string is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2410-2410 Search query is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3169-3169 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 218-218 Physical address is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1851-1851 Digital data is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2047-2047 User name is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2083-2083 Computer password is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19455-19455 Syllable is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24846-24846 Postal address text is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24874-24874 Telecom number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29928-29928 Account number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29939-29939 Invoice number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30012-30012 Purchase order number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 1340-1340 Character is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 1580-1580 Unicode string is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2901-2901 Alphabetic string is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2911-2911 Decimal digit string is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2938-2938 Alpha numeric string 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