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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SoftwareSystem
SoftwareSystem(software system)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 270-274
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 269-269 Software system is a subclass of computer program

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1103-1103 Operating system is a subclass of software system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53742-53742 Operating system is a subclass of software system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53741-53741 Operating system is a subclass of software system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53740-53740 Operating system is a subclass of software system

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 727-727 The number 2 argument of rM program_of is an instance of software system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1193-1193 The number 1 argument of software path is an instance of software system

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-699
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 300-308
No TPTP formula. May not be expressible in strict first order. Media.kif 1523-1528
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 279-287


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