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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AreaOfConcern
AreaOfConcern

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6804-6806
No TPTP formula. May not be expressible in strict first order. Geography.kif 6802-6802 AreaOfConcern est une sous-classe de attribut relationnel

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2589-2589 AdministrationAndManagement est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2642-2642 EconomicDevelopment est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2687-2687 InformationCooperation est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2632-2632 InfrastructureCooperation est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2668-2668 JusticeIssues est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2656-2656 LaborIssues est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2596-2596 ObservationAndMonitoring est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2664-2664 PoliticalCooperation est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 3485-3485 PromotePrivateEnterprise est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2701-2701 PublicHealthConcern est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2612-2612 ReducingCrime est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 RegionalSecurity est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2674-2674 SocialDevelopment est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Geography.kif 6818-6818 EnvironmentalIssue est une sous-classe de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Government.kif 2572-2572 TransnationalIssue est une sous-classe de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8286-8286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8285-8285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8284-8284

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2558-2558 Le nombre 2 argument de organizationalObjective est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order. Geography.kif 6810-6810 Le nombre 2 argument de regionalIssue est une instance de AreaOfConcern


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