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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inScopeOfInterest
inScopeOfInterest

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2893-2895
No TPTP formula. May not be expressible in strict first order. Merge.kif 2888-2892
No TPTP formula. May not be expressible in strict first order. Merge.kif 2886-2886 The number 1 argument of in scope of interest is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2887-2887 The number 2 argument of in scope of interest is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2884-2884 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2885-2885 in scope of interest is an instance of intentional relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order. english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. french_format.kif 88-88
No TPTP formula. May not be expressible in strict first order. relations-it.txt 148-148
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 40-40
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 38-38
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 94-94
No TPTP formula. May not be expressible in strict first order. relations-de.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 187-187
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 300-300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24676-24676 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2979-2979 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Facebook.kif 42-42 connected in social network is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2968-2968 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2953-2953 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7137-7137 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7121-7121 dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2418-2418 enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7028-7028 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 62-62 expected degree is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 444-444 expectedYearOfGraduation is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2995-2995 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2915-2915 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2929-2929 wants is a subrelation of in scope of interest

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. Merge.kif 2905-2911

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2867-2871
No TPTP formula. May not be expressible in strict first order. Government.kif 2318-2324
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1217-1225
No TPTP formula. May not be expressible in strict first order. Merge.kif 2897-2903
No TPTP formula. May not be expressible in strict first order. Merge.kif 2836-2841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 628-644
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1803-1810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23729-23736
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2780-2785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2826-2836
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2838-2850
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2422-2431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24160-24166
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24762
No TPTP formula. May not be expressible in strict first order. Dining.kif 767-774

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3474-3474 International hydrographic organization is interested in world ocean


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