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

Formal Language: 



KB Term:  Term intersection
English Word: 

  associateWithStatus

 Sigma KEE - associateWithStatus
associateWithStatus

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2403-2408
No TPTP formula. May not be expressible in strict first order. Government.kif 2399-2399 Le nombre 1 argument de associateWithStatus est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 2400-2400 Le nombre 2 argument de associateWithStatus est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order. Government.kif 2401-2401 Le nombre 3 argument de associateWithStatus est une instance de groupe
No TPTP formula. May not be expressible in strict first order. Government.kif 2398-2398 associateWithStatus est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 204-204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 203-203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 202-202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8796-8796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8795-8795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8794-8794

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2410-2412
No TPTP formula. May not be expressible in strict first order. Government.kif 2414-2416
No TPTP formula. May not be expressible in strict first order. Government.kif 2418-2420


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