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

Formal Language: 



KB Term:  Term intersection
English Word: 

  refers

Sigma KEE - refers
refers

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2154-2157
No TPTP formula. May not be expressible in strict first order. Merge.kif 4334-4342
No TPTP formula. May not be expressible in strict first order. Merge.kif 4331-4331 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4332-4332 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4330-4330 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 226-226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22855-22855 deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2967-2967 email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4344-4344 names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3683-3683 phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16104-16104 registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4364-4364 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49089-49089
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49088-49088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49087-49087

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15696-15708
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3010-3018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8936-8946
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 948-963
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4361-4366

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16261-16271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15387-15400
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 229-234
No TPTP formula. May not be expressible in strict first order. WMD.kif 666-671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6857-6870
No TPTP formula. May not be expressible in strict first order. Justice.kif 87-96
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. Law.kif 574-588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19867-19874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20551-20580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29534-29564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22251-22255
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Sports.kif 455-464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20493-20505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20470-20484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26069-26071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8976-8988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8954-8966
No TPTP formula. May not be expressible in strict first order. Sports.kif 472-482
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 913-915

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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