componentDataID - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - componentDataID

componentDataID

appearance as argument number 1

(documentation componentDataID EnglishLanguage "(componentDataID ?TIME ?COMPONENT ?INSTANCE ?UNIT ?NUMBER) holds if ?INSTANCE is an instance of ?COMPONENT, identified by IDNumber ?NUMBER, and whose performance is measured by a UnitOfMeasure-ComputerPerformance ?UNIT. The timestamp ?TIME identifies the time when this information was created.")	QoSontology.kif 890-893
(domain componentDataID 1 TimePosition)	QoSontology.kif 885-885	The number 1 argument of component dataI d is an instance of time position
(domain componentDataID 3 ComputerComponent)	QoSontology.kif 887-887	The number 3 argument of component dataI d is an instance of computer component
(domain componentDataID 4 UnitOfMeasure)	QoSontology.kif 888-888	The number 4 argument of component dataI d is an instance of unit of measure
(domain componentDataID 5 SymbolicString)	QoSontology.kif 889-889	The number 5 argument of component dataI d is an instance of symbolic string
(domainSubclass componentDataID 2 ComputerComponent)	QoSontology.kif 886-886	The number 2 argument of component dataI d is a subclass of computer component
(instance componentDataID QuintaryPredicate)	QoSontology.kif 884-884	component dataI d is an instance of quintary predicate

appearance as argument number 2

(format EnglishLanguage componentDataID "%1 %n{doesn't} component dataI d %2 for %3 with %4 and %5")	domainEnglishFormat.kif 136-136
(termFormat EnglishLanguage componentDataID "component dataI d")	domainEnglishFormat.kif 3122-3122	"component dataI d" is the printable form of component dataI d in english language

antecedent

(=> (and (monitorComponentData ?Time1 ?ID ?Number) (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID)) (exists (?Event) (and (instance ?Event MeasuringPerformance) (unitMeasuringPerformance ?Instance ?Unit) (time ?Event ?Time1) (performanceResult ?Event ?Instance ?Number))))	QoSontology.kif 943-952	If a time position monitor component data a symbolic string for a real number and another time position component dataI d a kind of computer component for another computer component with an unit of measure and the symbolic string, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the unit of measure is an unit measuring performance of the other computer component and the measuring performance exists during the time position and the measuring performance performance result the other computer component for the real number
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (instance ?Instance ?Component))	QoSontology.kif 895-897	If a time position component dataI d a kind of computer component for another computer component with an unit of measure and a symbolic string, then the other computer component is an instance of a kind of computer component
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (refers ?Number ?Instance))	QoSontology.kif 903-905	If a time position component dataI d a kind of computer component for another computer component with an unit of measure and a symbolic string, then the symbolic string includes a reference to the other computer component
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit))	QoSontology.kif 899-901	If a time position component dataI d a kind of computer component for another computer component with an unit of measure and a symbolic string, then the unit of measure is an unit measuring performance of the other computer component

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners