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. chinese_format.kif 1929-1931
No TPTP formula. May not be expressible in strict first order. Merge.kif 2672-2676
No TPTP formula. May not be expressible in strict first order. Merge.kif 2669-2669 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 2670-2670 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 2667-2667 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2668-2668 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 134-134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26315-26315 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2755-2755 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2745-2745 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2732-2732 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7118-7118 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7102-7102 dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2450-2450 enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7031-7031 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2770-2770 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2696-2696 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2709-2709 wants is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30204-30204
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30203-30203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30202-30202

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17752-17766
No TPTP formula. May not be expressible in strict first order. Merge.kif 2686-2692

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2869-2873
No TPTP formula. May not be expressible in strict first order. Government.kif 2368-2374
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1248-1256
No TPTP formula. May not be expressible in strict first order. Merge.kif 2678-2684
No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 629-645
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 25573-25580
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2782-2787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17744-17750
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2828-2838
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2840-2852
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25882-25888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26395-26401
No TPTP formula. May not be expressible in strict first order. Dining.kif 763-770

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3529-3529 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 3.0 is open source software produced by Articulate Software and its partners