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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - refers
refers

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4515-4518
No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4514
No TPTP formula. May not be expressible in strict first order. Merge.kif 4504-4504 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4505-4505 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4503-4503 refers is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order. english_format.kif 139-139
No TPTP formula. May not be expressible in strict first order. french_format.kif 132-132
No TPTP formula. May not be expressible in strict first order. relations-it.txt 246-246
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. relations-de.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 438-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20840-20840 deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3542-3542 email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4520-4520 names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3571-3571 phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13949-13949 registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4545-4545 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Facebook.kif 547-547 tags is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 226-226 "提到" is the printable form of refers in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8612-8612 "refers" is the printable form of refers in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 532-532 "«يَتَضَمَّن إِشَارَة إِلَى»" is the printable form of refers in ar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13587-13598
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 894-909
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4351-4356

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


No TPTP formula. May not be expressible in strict first order. Offers.kif 74-81
No TPTP formula. May not be expressible in strict first order. Law.kif 334-345
No TPTP formula. May not be expressible in strict first order. emotion.kif 371-383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14104-14114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13296
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 226-231
No TPTP formula. May not be expressible in strict first order. WMD.kif 661-666
No TPTP formula. May not be expressible in strict first order. Justice.kif 85-94
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2285-2298
No TPTP formula. May not be expressible in strict first order. Law.kif 570-584
No TPTP formula. May not be expressible in strict first order. Facebook.kif 238-243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18418-18447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20202-20206
No TPTP formula. May not be expressible in strict first order. Law.kif 357-367
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-360
No TPTP formula. May not be expressible in strict first order. Sports.kif 410-419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18337-18343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18322-18331
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24255-24257
No TPTP formula. May not be expressible in strict first order. Sports.kif 427-437
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 905-907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13540-13547
No TPTP formula. May not be expressible in strict first order. Law.kif 222-230
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2888-2890

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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