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

Formal Language: 



KB Term:  Term intersection
English Word: 

  represents

Sigma KEE - represents
represents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2164-2168
No TPTP formula. May not be expressible in strict first order. Merge.kif 4367-4373
No TPTP formula. May not be expressible in strict first order. Merge.kif 4365-4365 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4364-4364 represents is a subrelation of refers

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 227-227
No TPTP formula. May not be expressible in strict first order. english_format.kif 228-228
No TPTP formula. May not be expressible in strict first order. Merge.kif 6025-6025 abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Music.kif 348-348 anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3502-3502 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26387-26387 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1317-1317 contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1018-1018 hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4013-4013 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3541-3541 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1301-1301 product brand is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 14-14 product model is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 4507-4507 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13841-13841 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49515-49515
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 228-228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49514-49514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49513-49513

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2923-2931
No TPTP formula. May not be expressible in strict first order. Media.kif 895-901
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2636-2645

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


No TPTP formula. May not be expressible in strict first order. Music.kif 311-313
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3134-3140
No TPTP formula. May not be expressible in strict first order. Merge.kif 12889-12897
No TPTP formula. May not be expressible in strict first order. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1794-1800
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. Geography.kif 2947-2954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26459-26485
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1296-1300
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1088-1094
No TPTP formula. May not be expressible in strict first order. Biography.kif 203-232
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1319-1325
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-800
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 214-216
No TPTP formula. May not be expressible in strict first order. Media.kif 2258-2260
No TPTP formula. May not be expressible in strict first order. Music.kif 1107-1111
No TPTP formula. May not be expressible in strict first order. Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4233-4235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20586-20595
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14406-14411
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1208-1213

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 848-848 Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 849-849 Resistor element expresses electrical twopole


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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