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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 4483-4489
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 823-828
No TPTP formula. May not be expressible in strict first order. Merge.kif 4480-4480 The number 1 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4481-4481 The number 2 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4479-4479 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4478-4478 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. french_format.kif 133-133
No TPTP formula. May not be expressible in strict first order. relations-it.txt 253-253
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1962-1962
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order. relations-de.txt 296-296
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 290-290
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 152-152
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 138-138
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 445-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 6138-6138 abstract counterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Music.kif 351-351 anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3516 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28822-28822 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1366-1366 contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1129-1129 hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4045-4045 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3555-3555 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1309-1309 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 4623-4623 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15693-15693 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49536-49536 record is a subrelation of represents

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3159-3167
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 2426-2435

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


No TPTP formula. May not be expressible in strict first order. Music.kif 312-314
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
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 4041-4047
No TPTP formula. May not be expressible in strict first order. Merge.kif 13270-13278
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 3183-3190
No TPTP formula. May not be expressible in strict first order. Biography.kif 256-270
No TPTP formula. May not be expressible in strict first order. Biography.kif 287-303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28872-28898
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 569-575
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1099-1103
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1096-1102
No TPTP formula. May not be expressible in strict first order. Biography.kif 444-473
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1330-1336
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
No TPTP formula. May not be expressible in strict first order. Hotel.kif 794-804
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 171-173
No TPTP formula. May not be expressible in strict first order. Media.kif 2274-2276
No TPTP formula. May not be expressible in strict first order. Music.kif 1111-1115
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4024-4026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22800-22809

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 1163-1163 Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 1164-1164 Resistor element expresses electrical twopole


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