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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resourceUsed

 Sigma KEE - resourceUsed
resourceUsed

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1996-1997
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1994-1994 使用的资源 的 1 数量 是 电脑程序 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1995-1995 使用的资源 的 2 数量 是 计算机资源 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1993-1993 使用的资源 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1992-1992 使用的资源 是 格角色 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1991-1991 使用的资源 是 受事 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4426-4426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4425-4425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4424-4424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49742-49742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49741-49741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49740-49740

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1981-1989
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1966-1971

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1981-1989
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1976-1979
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1961-1964


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